Differences

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

--- start [2019/08/05 11:56]
fabien
+++ start [2019/09/08 18:37]
vkuncak
@@ Line 1: / Line 1: @@
-===== Mission: Help people construct software that does what they expect =====
+===== Helping construct software that does what we 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>
+<table width="50%" 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, languages and apply these techniques to construction of verified computer systems. See, for example,
+<strong><a href="https://stainless.epfl.ch">the Stainless project</a></strong>.
+</p>
+</td></tr>
+<tr><td>
 Our goal is to enable people to easily program and construct reliable and sophisticated systems.
+</p>
+</td></tr>
+</table>
+</html>
 ===== Scientific Staff =====
@@ Line 15: / Line 30: @@
 <img src="https://lara.epfl.ch/~kuncak/staff/viktor.png"
 width='160'
-alt="Viktor Kuncak">
+alt="Viktor Kunčak">
 </a>
 <br>
-<a href="https://icwww.epfl.ch/~kuncak">Viktor Kuncak</a>
+<a href="https://lara.epfl.ch/~kuncak">Viktor Kunčak</a>
 </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">
@@ Line 41: / Line 43: @@
 <br>
 <a href="https://people.epfl.ch/jad.hamza">Jad Hamza</a>
-<br>
 </td>
@@ Line 66: / Line 67: @@
 </td>
-<td align="center" valign="bottom">
-<a href="https://people.epfl.ch/nicolas.voirol">
-<img src="https://lara.epfl.ch/~kuncak/staff/nicolas.jpg"
-width='160' alt="Nicolas Voirol"/>
-</a>
-<br>
-<a href="https://people.epfl.ch/nicolas.voirol">Nicolas Voirol</a>
-</td>
 <td align="center" valign="bottom">
@@ Line 82: / Line 75: @@
 <br>
 <a href="https://romac.me/">Romain Ruetschi</a>
-</td>
-</tr>
-<tr>
-<td align="center" valign="top">
-<a href="https://people.epfl.ch/emmanouil.koukoutos">
-<img src="https://lara.epfl.ch/~kuncak/staff/manos.jpg"
-width='160' height='200' alt="Emmanouil Koukoutos"/>
-</a>
-<br>
-<a href="https://people.epfl.ch/emmanouil.koukoutos">Manos Koukoutos</a>
-<br>
 </td>
 <td align="center" valign="bottom">
-<a href="https://people.epfl.ch/sarah.sallinger">
+<a href="https://people.epfl.ch/nataliia.stulova?lang=en">
-<img src="https://lara.epfl.ch/~kuncak/staff/sarah.jpg" width='160'
+<img src="https://lara.epfl.ch/w/_media/stulova.jpg" width='160'
-alt="Sarah Sallinger">
+alt="Nataliia Stulova">
 </a>
 <br>
-<a href="https://people.epfl.ch/sarah.sallinger">Sarah Sallinger</a>
+<a href="https://people.epfl.ch/nataliia.stulova?lang=en">Nataliia Stulova</a>
 </td>
 </tr>
 </table>
@@ Line 136: / Line 117: @@
 <a href="https://people.epfl.ch/sylvie.jankow"">
 <img src="https://lara.epfl.ch/~kuncak/staff/sylvie.jpg"
-width='160' alt="Yvette Gallay"/>
+width='160' alt="Sylvie Jankow"/>
 </a>
 <br>
@@ Line 153: / Line 134: @@
 <html>
 <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>
+<td align="center" valign="bottom">
+<a href="https://people.epfl.ch/nicolas.voirol">
+<img src="https://lara.epfl.ch/~kuncak/staff/nicolas.jpg"
+width='160' alt="Nicolas Voirol"/>
+</a>
+<br>
+<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 align="center" valign="top">
+<a href="https://people.epfl.ch/emmanouil.koukoutos">
+<img src="https://lara.epfl.ch/~kuncak/staff/manos.jpg"
+width='160' height='200' alt="Emmanouil Koukoutos"/>
+</a>
+<br>
+<a href="https://people.epfl.ch/emmanouil.koukoutos">Manos Koukoutos</a>
+<br>
+</td>
+</tr>
 <tr>
@@ Line 383: / Line 408: @@
 {{lara.jpg|LARA Research Staff, 2009}}
+===== 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/dd5e03cb
+  * https://www.youtube.com/watch?v=Av8bo64FrDE
+  * https://www.youtube.com/watch?v=20loktdryYM
+  * https://www.youtube.com/watch?v=j2m5YMnHvQQ
+  * https://www.youtube.com/watch?v=tvtAyZlhtlM
+  * https://www.youtube.com/watch?v=0aPZq6VC2fk
+  * https://www.youtube.com/watch?v=JFbx4iryNb0
+  * https://www.youtube.com/watch?v=93vZAmLyOQY
+  * https://www.youtube.com/watch?v=d4VeFa0z_Lo
+  * http://video.itu.dk/video/10044793/icalp-2014-viktor-kuncak
+  * https://www.youtube.com/watch?v=oLrSRvUTJzM
+  * https://www.youtube.com/watch?v=oLrSRvUTJzM
 ----