Differences

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

--- start [2019/09/08 18:35]
vkuncak
+++ start [2020/05/09 16:43]
vkuncak [Scientific Staff]
@@ Line 1: / Line 1: @@
-===== Helping construct software that does what we expect =====
 <html>
-<table width="50%" align="bottom">
+<style>
+p {
+   font-size: 24px !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, languages and apply these techniques to construction of verified computer systems. See, for example,
+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">the Stainless project</a></strong>.
+<strong><a href="https://stainless.epfl.ch">Stainless project</a></strong>.
 </p>
 </td></tr>
-<tr><td>
+</table>
-Our goal is to enable people to easily program and construct reliable and sophisticated systems.
-</p>
-</td></tr>
-</font>
 </html>
@@ Line 37: / Line 44: @@
 <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"
 width='160' alt="Jad Hamza"/>
 </a>
 <br>
-<a href="https://people.epfl.ch/jad.hamza">Jad Hamza</a>
+<a href="https://lara.epfl.ch/~hamza/">Jad Hamza</a>
 </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>
@@ Line 59: / Line 56: @@
 <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"
 width='160' alt="Romain Edelmann"/>
 </a>
 <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 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>
 <br>
-<a href="https://romac.me/">Romain Ruetschi</a>
+<a href="https://people.epfl.ch/georg.schmid">Georg S. Schmid</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>
@@ Line 145: / Line 131: @@
 <a href="http://lara.epfl.ch/~pavlogia/">Andreas Pavlogiannis</a>
 </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>
@@ Line 410: / Line 415: @@
 ===== 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]]
+---
-----