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
start [2019/08/14 17:56]
vkuncak
start [2019/09/08 18:49] (current)
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>
  
-Our goal is to enable people to easily program ​and construct reliable and sophisticated ​systems. ​+<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>​ 
 + 
 +</​table>​ 
 +</​html>​
  
 ===== Scientific Staff ===== ===== Scientific Staff =====
Line 16: Line 37:
 <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 50:
 <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 97:
 </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 142:
 <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 162:
 <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 417:
 ===== 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