Person

Back to overview 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)

Harnessing Parallel Computing for Model Checking
Sharygina Natasha Università della Svizzera italiana - USI 01.07.2014 30.06.2016 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)

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)

-