Person

Back to overview Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Practical Implementation of Functional Nets
Odersky Martin EPF Lausanne - EPFL 01.10.2002 30.09.2004 Project funding (Div. I-III)

Effects as Implicit Capabilities
Odersky Martin EPF Lausanne - EPFL 01.04.2016 30.11.2019 Project funding (Div. I-III)

Programming Language Abstractions for Big Data
Odersky Martin EPF Lausanne - EPFL 01.03.2017 28.02.2021 NRP 75 Big Data

Composing services, using staging and data binding
Odersky Martin EPF Lausanne - EPFL 01.10.2006 30.09.2008 Project funding (Div. I-III)

Theory and tool support for the formal verification of cryptographic protocols
Odersky Martin EPF Lausanne - EPFL 01.10.2003 30.09.2006 Project funding (Div. I-III)

Reproducible Concurrent Programs Through Software Transactions
Odersky Martin EPF Lausanne - EPFL 01.10.2006 30.09.2008 Project funding (Div. I-III)

Data Binding and its Application to XML Query Processing
Odersky Martin EPF Lausanne - EPFL 01.04.2004 30.09.2006 Project funding (Div. I-III)

High-level concurrent programming with actors and transactions
Odersky Martin EPF Lausanne - EPFL 01.04.2009 30.09.2010 Project funding (Div. I-III)

Practical Implementation of Functional Nets
Odersky Martin EPF Lausanne - EPFL 01.10.2000 30.09.2002 Project funding (Div. I-III)

Foundations of Scala
Odersky Martin EPF Lausanne - EPFL 01.04.2009 31.03.2012 Project funding (Div. I-III)

Projects as co-applicant

Responsible applicant Institution of higher education Start End date Funding scheme

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

-