Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2019/09/08 17:58] vkuncak |
start [2020/05/09 16:44] vkuncak [Scientific Staff] |
||
---|---|---|---|
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-size: 24px !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 23: | 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 45: | Line 56: | ||
<td align="center" valign="bottom"> | <td align="center" valign="bottom"> | ||
- | <a href="https://people.epfl.ch/romain.edelmann"> | + | <a target="_blank" rel="noopener noreferrer" |
+ | href="https://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="https://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 131: | Line 132: | ||
<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 396: | Line 416: | ||
===== 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]] |
- | + | --- | |
- | ---- | + |