Lab for Automated Reasoning and Analysis LARA


This shows you the differences between two versions of the page.

Link to this comparison view

start [2017/06/09 11:56]
start [2017/09/22 11:26] (current)
vkuncak [Scientific Staff]
Line 29: Line 29:
 <a href="​http://​​~kuncak">​Viktor Kuncak</​a>​ <a href="​http://​​~kuncak">​Viktor Kuncak</​a>​
 </td> </td>
 +<td align="​center"​ valign="​bottom">​
 +<a href="​http://​​~pavlogia/">​
 +<img src="​http://​​~pavlogia/​profile.jpg" ​
 +width='​160' ​
 +alt="​Andreas Pavlogiannis">​
 +<a href="​http://​​~pavlogia/">​Andreas Pavlogiannis</​a>​
 <td align="​center"​ valign="​top">​ <td align="​center"​ valign="​top">​
start.txt · Last modified: 2017/09/22 11:26 by vkuncak