LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
start [2019/08/14 17:56]
vkuncak
start [2019/09/08 18:46]
vkuncak
Line 1: Line 1:
  
-===== Mission: Help people construct software that does what they expect ===== 
  
-**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 ​+<​html>​ 
 +<​style>​ 
 +p { 
 +   ​font-size24px !important;​ 
 +
 +</style>
  
 +<p>
 +<​strong>​
 +Helping construct software that does what we expect
 +</​strong>​
 +</p>
 +
 +<table width="​60%"​ align="​bottom">​
 +<​tr><​td>​
 +<p>
 +LARA is a research group led by 
 +<​strong><​a href="​http://​lara.epfl.ch/​~kuncak">​Viktor Kunčak</​a></​strong>​. ​
 +We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques to help construction of verified computer systems. See, for example, the
 +<​strong><​a href="​https://​stainless.epfl.ch">​Stainless project</​a></​strong>​.
 +</p>
 +</​td></​tr>​
 +
 +<​tr><​td>​
 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. ​
 +</p>
 +</​td></​tr>​
 +</​table>​
 +</​html>​
  
 ===== Scientific Staff ===== ===== Scientific Staff =====
Line 16: Line 41:
 <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​viktor.png" ​ <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​viktor.png" ​
 width='​160' ​ width='​160' ​
-alt="​Viktor ​Kuncak">+alt="​Viktor ​Kunčak">
 </a> </a>
 <br> <br>
-<a href="​https://​icwww.epfl.ch/​~kuncak">​Viktor ​Kuncak</a>+<a href="​https://​lara.epfl.ch/​~kuncak">​Viktor ​Kunčak</a>
 </td> </td>
-</tr> 
- 
-<tr> 
-<td align="​center"​ valign="​bottom">​ 
-<a href="​https://​lara.epfl.ch/​~pavlogia/">​ 
-<img src="​https://​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">​
Line 42: Line 54:
 <br> <br>
 <a href="​https://​people.epfl.ch/​jad.hamza">​Jad Hamza</​a>​ <a href="​https://​people.epfl.ch/​jad.hamza">​Jad Hamza</​a>​
-<br> 
 </td> </td>
  
Line 90: Line 101:
 </tr> </tr>
  
-<tr> 
  
- 
-<td align="​center"​ valign="​bottom">​ 
-<a href="​https://​people.epfl.ch/​sarah.sallinger">​ 
-<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​sarah.jpg"​ width='​160'​ 
-alt="​Sarah Sallinger">​ 
-</a> 
-<br> 
-<a href="​https://​people.epfl.ch/​sarah.sallinger">​Sarah Sallinger</​a>​ 
-</td> 
- 
- 
-</tr> 
  
 </​table>​ </​table>​
Line 148: Line 146:
 <table width="​50%"​ align="​top">​ <table width="​50%"​ align="​top">​
  
 +<tr>
 +<td align="​center"​ valign="​bottom">​
 +<a href="​https://​lara.epfl.ch/​~pavlogia/">​
 +<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​AndreasPavlogiannis.jpg" ​
 +width='​160' ​
 +alt="​Andreas Pavlogiannis">​
 +</a>
 +<br>
 +<a href="​http://​lara.epfl.ch/​~pavlogia/">​Andreas Pavlogiannis</​a>​
 +</td>
 +</tr>
  
 <tr> <tr>
Line 157: Line 166:
 <br> <br>
 <a href="​https://​people.epfl.ch/​nicolas.voirol">​Nicolas Voirol</​a>​ <a href="​https://​people.epfl.ch/​nicolas.voirol">​Nicolas Voirol</​a>​
 +</td>
 +
 +<td align="​center"​ valign="​bottom">​
 +<a href="​https://​people.epfl.ch/​sarah.sallinger">​
 +<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​sarah.jpg"​ width='​160'​
 +alt="​Sarah Sallinger">​
 +</a>
 +<br>
 +<a href="​https://​people.epfl.ch/​sarah.sallinger">​Sarah Sallinger</​a>​
 </td> </td>
  
Line 403: Line 421:
 ===== Some Videos ===== ===== Some Videos =====
  
 +  * https://​tube.switch.ch/​videos/​166c6218
 +  * https://​tube.switch.ch/​videos/​e19471be
   * https://​tube.switch.ch/​videos/​bde7255e   * https://​tube.switch.ch/​videos/​bde7255e
   * https://​tube.switch.ch/​videos/​dd5e03cb   * https://​tube.switch.ch/​videos/​dd5e03cb