Person

Back to overview

Alt Leonardo

Gender Male
Institute Ethereum foundation
Show all

Projects as member of staff

Responsible applicant Institution of higher education Start End date Funding scheme

Guiding SMT-Based Interpolation for Program Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.03.2016 28.02.2018 Project funding (Div. I-III)

Quality of Interpolants in Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.05.2013 30.04.2015 Project funding (Div. I-III)

Projects as project partner

Responsible applicant Institution of higher education Start End date Funding scheme

Beyond Symbolic Model Checking through Deep Modelling
Sharygina Natasha Università della Svizzera italiana - USI 01.11.2019 31.10.2023 Project funding (Div. I-III)

-