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 [2019/09/08 18:49] vkuncak |
||
---|---|---|---|
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 ===== |