Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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