Person

Back to overview

Basin David

Gender Male
Institute Departement Informatik ETH Zürich
Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Big Data Monitoring
Basin David ETH Zurich - ETHZ 01.01.2017 30.04.2021 NRP 75 Big Data

Automata-based Verfication of Hybrid Systems (AutoBaSys)
Basin David ETH Zurich - ETHZ 01.04.2008 31.03.2010 Project funding (Div. I-III)

Formalising Computational Soundness for Protocol Implementations
Basin David ETH Zurich - ETHZ 01.06.2015 31.05.2017 Project funding (Div. I-III)

Automata-based Verfication of Hybrid Systems (AutoBaSys)
Basin David ETH Zurich - ETHZ 01.03.2006 29.02.2008 Project funding (Div. I-III)

Projects as co-applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Enforceable Security Policies in Fog Computing
Costa Gabriele ETH Zurich - ETHZ 01.06.2016 31.07.2016 International short research visits

Projects as contact person

Responsible applicant Institution of higher education Start End date Funding scheme

Enforceable Security Policies in Fog Computing
Costa Gabriele ETH Zurich - ETHZ 01.06.2016 31.07.2016 International short research visits
-