Person

Back to overview

Kroening Daniel

Gender Male
Institute Computing Laboratory Oxford University
Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Efficient algorithms for reachability analysis of concurrent boolean programs
Kroening Daniel ETH Zurich - ETHZ 01.10.2005 30.09.2008 Project funding

Projects as co-applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2006 30.09.2008 Project funding

-