Institute

Back to overview
Name

Laboratoire d'analyse et de raisonnement automatisés EPFL - IC - IIF - LARA

Address Laboratoire d'analyse et de raisonnement automatisés EPFL - IC - IIF - LARA
Station 14
1015
CH-Lausanne
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

Cost-Effective Verification of Byzantine Fault-Tolerant Protocols
Kuncak Viktor EPF Lausanne - EPFL 01.01.2011 31.12.2012 Project funding (Div. I-III)

Constraint Solving Infrastructure for Program Analysis - Extension
Kuncak Viktor EPF Lausanne - EPFL 01.04.2015 31.08.2016 Project funding (Div. I-III)

Synthesizing Numerical Computations
Kuncak Viktor EPF Lausanne - EPFL 01.04.2013 31.08.2013 Project funding (Div. I-III)

Cost-Effective Verification of Byzantine Fault-Tolerant Protocols: II
Kuncak Viktor EPF Lausanne - EPFL 01.01.2013 31.08.2013 Project funding (Div. I-III)

Scaling Predicate Types
Kuncak Viktor EPF Lausanne - EPFL 01.12.2017 31.08.2021 Project funding (Div. I-III)

Precise and Scalable Analyses for Reliable Software
Kuncak Viktor EPF Lausanne - EPFL 01.10.2008 30.09.2011 Project funding (Div. I-III)

Synthesis Procedures
Kuncak Viktor EPF Lausanne - EPFL 01.10.2010 31.03.2013 Project funding (Div. I-III)

Decision Procedures: from Formalizations to Applications
Kuncak Viktor EPF Lausanne - EPFL 01.01.2010 30.06.2013 SCOPES

Developing Capacity for High-Productivity Large-Scale Computing
Kuncak Viktor EPF Lausanne - EPFL 01.06.2015 30.06.2018 SCOPES

Constraint Solving Infrastructure for Program Analysis
Kuncak Viktor EPF Lausanne - EPFL 01.03.2013 31.03.2015 Project funding (Div. I-III)

Software Analysis through Functional Constraint Solving
Kuncak Viktor EPF Lausanne - EPFL 01.01.2012 30.09.2012 Project funding (Div. I-III)
-