{{tmp:lara.jpg|LARA}}

====== LARA: Lab for Automated Reasoning and Analysis ======

Laboratory for Automated Reasoning and Analysis (LARA), led by [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]], develops precise automated techniques for reasoning about computer systems. Among the uses of these techniques is improving software reliability and programmer productivity.