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/09/22 11:26]
vkuncak [Scientific Staff]
start [2018/10/21 16:23] (current)
vkuncak
Line 2: Line 2:
 ===== Mission: Help people construct software that does what they expect ===== ===== Mission: Help people construct software that does what they expect =====
  
-[[http://​actu.epfl.ch/​search/lara/en/|NEWS]] and the [[http://​actu.epfl.ch/feeds/​rss/​lara/​en/​|RSS Feed]] +**LARA** is a research group led by [[http://​lara.epfl.ch/​~kuncak|Viktor Kunčak]] We develops precise automated reasoning techniques: tools, algorithms, languages ​and apply these techniques to **synthesis** and **verification** of computer systems. See, for example, ​https://stainless.epfl.ch ​
- +
----- +
- +
-**LARA** ​develops precise automated reasoning techniques: tools, algorithms, languages+
- +
-We apply these techniques to **synthesis** and **verification** of computer systems. See, for example, ​**[[http://leon.epfl.ch|Leon verification and synthesis system]]**.+
  
 Our goal is to enable people to easily program and construct reliable and sophisticated systems. ​ Our goal is to enable people to easily program and construct reliable and sophisticated systems. ​
- 
-We work in areas of [[http://​ic.epfl.ch/​page-77752-en.html|Programming Languages and Formal Methods]] as well as [[http://​ic.epfl.ch/​page-77745-en.html|Artificial Intelligence]]. 
- 
 ===== Scientific Staff ===== ===== Scientific Staff =====
  
Line 55: Line 46:
 <td align="​center"​ valign="​bottom">​ <td align="​center"​ valign="​bottom">​
 <a href="​https://​people.epfl.ch/​georg.schmid">​ <a href="​https://​people.epfl.ch/​georg.schmid">​
-<img src="https://people.epfl.ch/cgi-bin/people/getPhoto?​id=244618&​show=" ​ +<img src="http://lara.epfl.ch/~kuncak/staff/georg.jpg" width='​160'​
-width='​160'​+
 alt="​Georg S. Schmid">​ alt="​Georg S. Schmid">​
 </a> </a>
Line 85: Line 75:
 </td> </td>
  
- +<td align="​center"​ valign="​bottom">​ 
-<td align="​center"​ valign="​top">​ +<a href="https://romac.me/">​ 
-<a href="http://people.epfl.ch/mikael.mayer">​ +<img src="​http://​lara.epfl.ch/​~kuncak/​staff/​romac.jpg" width='​160'​ 
-<img src="​http://​lara.epfl.ch/​~kuncak/​staff/​MikaelMayer.jpg" ​ +alt="Romain Ruetschi">
-width='​160'​ alt=""​/>+
 </a> </a>
 <br> <br>
-<a href="http://people.epfl.ch/mikael.mayer">Mikael Mayer</a+<a href="https://romac.me/">Romain Ruetschi</a>
-<br>+
 </td> </td>
 +
  
 </tr> </tr>
  
 <tr> <tr>
- 
- 
-<td align="​center"​ valign="​top">​ 
-<a href="​http://​lara.epfl.ch/​~kandhada">​ 
-<img src="​http://​lara.epfl.ch/​~kuncak/​staff/​ravi.jpg" ​ 
-width='​160'​ alt=""/>​ 
-</a> 
-<br> 
-<a href="​http://​people.epfl.ch/​ravi.kandhadai">​Ravichandhran Kandhadai Madhavan</​a>​ 
-<br> 
-</td> 
  
 <td align="​center"​ valign="​top">​ <td align="​center"​ valign="​top">​
Line 121: Line 99:
 </td> </td>
  
-<td align="​center"​ valign="​top">​ +<td align="​center"​ valign="​bottom">​ 
-<a href="http://​people.epfl.ch/​marco.antognini">​ +<a href="https://​people.epfl.ch/​sarah.sallinger">​ 
-<img src="/w/_media/marco_thumb.jpg" +<img src="http://​lara.epfl.ch/~kuncak/staff/sarah.jpg" width='​160'​ 
-width='​160'​ alt="Marco Antognini"/>+alt="Sarah Sallinger">
 </a> </a>
 <br> <br>
-<a href="http://​people.epfl.ch/​Marco Antognini">Marco Antognini</a+<a href="https://​people.epfl.ch/​sarah.sallinger">Sarah Sallinger</a>
-<br>+
 </td> </td>
 +
  
 </tr> </tr>
Line 146: Line 124:
 <td align="​center"​ valign="​top">​ <td align="​center"​ valign="​top">​
 <a href="​http://​people.epfl.ch/​fabien.salvi">​ <a href="​http://​people.epfl.ch/​fabien.salvi">​
-<img src="​http://​people.epfl.ch/cgi-bin/people/getPhoto?​id=166927&​show=" ​+<img src="​http://​lara.epfl.ch/~kuncak/staff/fabien.jpg" ​
 width='​160'​ alt="​Fabien Salvi"/>​ width='​160'​ alt="​Fabien Salvi"/>​
 </a> </a>
Line 175: Line 153:
 <​html>​ <​html>​
 <table width="​50%"​ align="​top">​ <table width="​50%"​ align="​top">​
 +
 +<tr>
 +
 +<td align="​center"​ valign="​top">​
 +<a href="​http://​lara.epfl.ch/​~kandhada">​
 +<img src="​http://​lara.epfl.ch/​~kuncak/​staff/​ravi.jpg" ​
 +width='​160'​ alt=""/>​
 +</a>
 +<br>
 +<a href="​http://​people.epfl.ch/​ravi.kandhadai">​Ravichandhran Kandhadai Madhavan</​a>​
 +<br>
 +</td>
 +
 +<td align="​center"​ valign="​top">​
 +<a href="​http://​people.epfl.ch/​marco.antognini">​
 +<img src="/​w/​_media/​marco_thumb.jpg"​
 +width='​160'​ alt="​Marco Antognini"/>​
 +</a>
 +<br>
 +<a href="​http://​people.epfl.ch/​Marco Antognini">​Marco Antognini</​a>​
 +<br>
 +</td>
 +
 +
 +<td align="​center"​ valign="​top">​
 +<a href="​http://​people.epfl.ch/​mikael.mayer">​
 +<img src="​http://​lara.epfl.ch/​~kuncak/​staff/​MikaelMayer.jpg" ​
 +width='​160'​ alt=""/>​
 +</a>
 +<br>
 +<a href="​http://​people.epfl.ch/​mikael.mayer">​Mikael Mayer</​a>​
 +<br>
 +</td>
 +
 +
 +</tr>
  
 <tr> <tr>
Line 333: Line 347:
 </a> </a>
 <br> <br>
-<a href="http://www.cs.berkeley.edu/​~koksal/">​Ali Sinan Köksal</​a>​+<a href="https://koksal.org/">​Ali Sinan Köksal</​a>​
 <br> <br>
 </td> </td>
 
start.1506072419.txt.gz · Last modified: 2017/09/22 11:26 by vkuncak
 
© EPFL 2018 - Legal notice