Person

Back to overview Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Towards secure and trustful cryptographic currencies and consensus ledgers
Sharygina Natasha Università della Svizzera italiana - USI 01.05.2018 31.10.2018 Scientific Exchanges

From Parallel SMT to Parallel Software Verification
Sharygina Natasha Università della Svizzera italiana - USI 01.09.2017 31.08.2019 Project funding (Div. I-III)

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 (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)

Harnessing Parallel Computing for Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.07.2014 30.06.2016 Project funding (Div. I-III)

Detection of Security Flaws and Vulnerabilities by Guided Model Checking - extension
Sharygina Natasha Università della Svizzera italiana - USI 01.10.2008 30.09.2010 Project funding (Div. I-III)

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)

-