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:56] vkuncak |
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. | 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 30: | ||
| <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 43: | ||
| <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 90: | ||
| </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 135: | ||
| <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 155: | ||
| <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 410: | ||
| ===== 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 | ||