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/09/08 18:43]
vkuncak
start [2020/05/09 16:43]
vkuncak [Scientific Staff]
Line 1: Line 1:
  
-===== Helping construct software that does what we expect ===== 
  
 <​html>​ <​html>​
Line 8: Line 7:
 } }
 </​style>​ </​style>​
 +
 +<p>
 +<​strong>​
 +Helping construct software that does what we expect
 +</​strong>​
 +</p>
  
 <table width="​60%"​ align="​bottom">​ <table width="​60%"​ align="​bottom">​
Line 19: Line 24:
 </​td></​tr>​ </​td></​tr>​
  
-<​tr><​td>​ 
-Our goal is to enable people to easily program and construct reliable and sophisticated systems. ​ 
-</p> 
-</​td></​tr>​ 
 </​table>​ </​table>​
 </​html>​ </​html>​
Line 43: Line 44:
  
 <td align="​center"​ valign="​top">​ <td align="​center"​ valign="​top">​
-<a href="​https://​people.epfl.ch/jad.hamza">​+<a href="​https://​lara.epfl.ch/~hamza/">
 <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​jad.jpg" ​ <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​jad.jpg" ​
 width='​160'​ alt="​Jad Hamza"/>​ width='​160'​ alt="​Jad Hamza"/>​
 </a> </a>
 <br> <br>
-<a href="​https://​people.epfl.ch/jad.hamza">​Jad Hamza</​a>​+<a href="​https://​lara.epfl.ch/~hamza/">​Jad Hamza</​a>​
 </td> </td>
- 
-<td align="​center"​ valign="​bottom">​ 
-<a href="​https://​people.epfl.ch/​georg.schmid">​ 
-<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​georg.jpg"​ width='​160'​ 
-alt="​Georg S. Schmid">​ 
-</a> 
-<br> 
-<a href="​https://​people.epfl.ch/​georg.schmid">​Georg S. Schmid</​a>​ 
-</td> 
- 
 </tr> </tr>
  
Line 65: Line 56:
  
 <td align="​center"​ valign="​bottom">​ <td align="​center"​ valign="​bottom">​
-<a href="​​https://​people.epfl.ch/​romain.edelmann">​​+<a href="​​http://redelmann.ch/">​​
 <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​romain.jpg"​ <img src="​https://​lara.epfl.ch/​~kuncak/​staff/​romain.jpg"​
 width='​160'​ alt="​Romain Edelmann"/>​ width='​160'​ alt="​Romain Edelmann"/>​
 </a> </a>
 <br> <br>
-<a href="​​https://​people.epfl.ch/​romain.edelmann">​Romain Edelmann</​a>​+<a target="​_blank"​ rel="​noopener noreferrer"​  
 +href="​​http://redelmann.ch/">​Romain Edelmann</​a>​
 </td> </td>
- 
  
 <td align="​center"​ valign="​bottom">​ <td align="​center"​ valign="​bottom">​
-<a href="​https://​romac.me/">​ +<a href="​https://​people.epfl.ch/georg.schmid">​ 
-<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​romac.jpg" width='​160'​ +<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​georg.jpg" width='​160'​ 
-alt="Romain Ruetschi">+alt="Georg S. Schmid">
 </a> </a>
 <br> <br>
-<a href="​https://​romac.me/">Romain Ruetschi</a>+<a href="​https://​people.epfl.ch/georg.schmid">Georg S. Schmid</a>
 </td> </td>
- 
-<td align="​center"​ valign="​bottom">​ 
-<a href="​https://​people.epfl.ch/​nataliia.stulova?​lang=en">​ 
-<img src="​https://​lara.epfl.ch/​w/​_media/​stulova.jpg"​ width='​160'​ 
-alt="​Nataliia Stulova">​ 
-</a> 
-<br> 
-<a href="​https://​people.epfl.ch/​nataliia.stulova?​lang=en">​Nataliia Stulova</​a>​ 
-</td> 
- 
- 
  
 </tr> </tr>
Line 151: Line 131:
 <a href="​http://​lara.epfl.ch/​~pavlogia/">​Andreas Pavlogiannis</​a>​ <a href="​http://​lara.epfl.ch/​~pavlogia/">​Andreas Pavlogiannis</​a>​
 </td> </td>
 +
 +<td align="​center"​ valign="​bottom">​
 +<a href="​https://​romac.me/">​
 +<img src="​https://​lara.epfl.ch/​~kuncak/​staff/​romac.jpg"​ width='​160'​
 +alt="​Romain Ruetschi">​
 +</a>
 +<br>
 +<a href="​https://​romac.me/">​Romain Ruetschi</​a>​
 +</td>
 +
 +<td align="​center"​ valign="​bottom">​
 +<a href="​https://​people.epfl.ch/​nataliia.stulova?​lang=en">​
 +<img src="​https://​lara.epfl.ch/​w/​_media/​stulova.jpg"​ width='​160'​
 +alt="​Nataliia Stulova">​
 +</a>
 +<br>
 +<a href="​https://​people.epfl.ch/​nataliia.stulova?​lang=en">​Nataliia Stulova</​a>​
 +</td>
 +
 </tr> </tr>
  
Line 416: Line 415:
 ===== Some Videos ===== ===== Some Videos =====
  
-  * https://​tube.switch.ch/​videos/​166c6218 +  * [[https://​tube.switch.ch/​videos/​166c6218|Solver-Aided Programming for All]] by [[https://​homes.cs.washington.edu/​~emina/​|Emina Torlak]] 
-  * https://​tube.switch.ch/​videos/​e19471be +  * [[https://​tube.switch.ch/​videos/​e19471be|Verified Functional Programming]] by [[https://​people.epfl.ch/​nicolas.voirol|Nicolas Voirol]] 
-  * https://​tube.switch.ch/​videos/​bde7255e +  * [[https://​tube.switch.ch/​videos/​bde7255e|Complete Program Synthesis for Linear Arithmetics]] by [[https://​people.epfl.ch/​mikael.mayer|Mikael Mayer]] 
-  * https://​tube.switch.ch/​videos/​dd5e03cb +  * [[https://​tube.switch.ch/​videos/​dd5e03cb|Induction for SMT Solvers]] by [[https://​people.epfl.ch/​andrew.reynolds|Andrew Reynolds]] 
-  * https://​www.youtube.com/​watch?​v=Av8bo64FrDE +  * [[https://​www.youtube.com/​watch?​v=Av8bo64FrDE|The Huge Threat of Tiny Software Glitches]] by [[https://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] 
-  * https://​www.youtube.com/​watch?​v=20loktdryYM +  * [[https://​www.youtube.com/​watch?​v=20loktdryYM|Basics of Program Verification]] by [[https://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] 
-  * https://​www.youtube.com/​watch?​v=j2m5YMnHvQQ +  * [[https://​www.youtube.com/​watch?​v=j2m5YMnHvQQ|Abstract Interpretation for Program Verification]] by [[https://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] 
-  * https://​www.youtube.com/​watch?​v=tvtAyZlhtlM +  * [[https://​www.youtube.com/​watch?​v=tvtAyZlhtlM|Deep Learning for Math]] by [[https://​people.epfl.ch/​romain.edelmann|Romain Edelmann]] 
-  * https://​www.youtube.com/​watch?​v=0aPZq6VC2fk +  * [[https://​www.youtube.com/​watch?​v=0aPZq6VC2fk|Leon Synthesis Demo]] by [[https://​people.epfl.ch/​etienne.kneuss|Etienne Kneuss]] 
-  * https://​www.youtube.com/​watch?​v=JFbx4iryNb0 +  * [[https://​www.youtube.com/​watch?​v=JFbx4iryNb0|Program verification with Leon]] by [[https://​people.epfl.ch/​regis.blanc|Regis Blanc]] 
-  * https://​www.youtube.com/​watch?​v=93vZAmLyOQY +  * [[https://​www.youtube.com/​watch?​v=93vZAmLyOQY|anyCode - Java Assistance Tool]] by [[https://​people.epfl.ch/​188355|Tihomir Gvero]] 
-  * https://​www.youtube.com/​watch?​v=d4VeFa0z_Lo +  * Scala Days 2017 Keynote: [[https://​www.youtube.com/​watch?​v=d4VeFa0z_Lo|Tools for Verified Scala]] by [[https://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] 
-  * http://​video.itu.dk/​video/​10044793/​icalp-2014-viktor-kuncak +  * [[http://​video.itu.dk/​video/​10044793/​icalp-2014-viktor-kuncak|Verifying and Synthesizing Software with Recursive Functions]] by [[https://​lara.epfl.ch/​~kuncak/​|Viktor Kuncak]] 
-  * https://​www.youtube.com/​watch?​v=oLrSRvUTJzM +  * [[https://​www.youtube.com/​watch?​v=oLrSRvUTJzM|Cleaner Code with less  
-  ​* ​https://www.youtube.com/watch?​v=oLrSRvUTJzM +Coding]] by [[https://people.epfl.ch/mikael.mayer|Mikael Mayer]] 
- +---
-----+