Moa Kristin Johansson

default
E-mail
moakristin|johansson*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
September 30, 2011
Note
 
Curriculum
  • pdf   CV   (pdf, en, 90 KB, 12/03/10)

Modules

Modules running in the period selected: 0.
Click on the module to see the timetable and course details.


 

Research groups

ARLette - Automated Reasoning Laboratory
The group conducts research in Automated Reasoning: theorem proving, decision procedures for satisfiability, satisfiability modulo theories/assignments, model building, rewriting, and applications.
Projects
Title Starting date
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato) 7/15/11


Organization

Department facilities