Moa Kristin Johansson

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


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

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.


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.
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


Department facilities