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/08/14 17:53] vkuncak |
start [2019/09/08 18:44] 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> |
+ | <style> | ||
+ | p { | ||
+ | font-size: 20px !important; | ||
+ | } | ||
+ | </style> | ||
+ | |||
+ | <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> | ||
+ | <tr><td> | ||
Our goal is to enable people to easily program and construct reliable and sophisticated systems. | Our goal is to enable people to easily program and construct reliable and sophisticated systems. | ||
+ | </p> | ||
+ | </td></tr> | ||
+ | </table> | ||
+ | </html> | ||
===== Scientific Staff ===== | ===== Scientific Staff ===== | ||
Line 16: | Line 36: | ||
<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 49: | ||
<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 96: | ||
</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 141: | ||
<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 161: | ||
<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 416: | ||
===== 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 | ||
Line 414: | Line 429: | ||
* https://www.youtube.com/watch?v=d4VeFa0z_Lo | * https://www.youtube.com/watch?v=d4VeFa0z_Lo | ||
* http://video.itu.dk/video/10044793/icalp-2014-viktor-kuncak | * http://video.itu.dk/video/10044793/icalp-2014-viktor-kuncak | ||
+ | * https://www.youtube.com/watch?v=oLrSRvUTJzM | ||
+ | * https://www.youtube.com/watch?v=oLrSRvUTJzM | ||
---- | ---- |