Moa Kristin Johansson

default
E-mail
moakristin|johansson*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
30 settembre 2011
Note
 
Curriculum
  • pdf   CV   (pdf, en, 90 KB, 12/03/10)

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


 

Gruppi di ricerca

ARLette - Laboratorio di Ragionamento Automatico
Il gruppo svolge ricerche in Ragionamento Automatico: dimostrazione di teoremi, procedure di decisione, soddisfacibilità modulo assegnamenti, costruzione di modelli, riscrittura, e applicazioni.
Progetti
Titolo Data inizio
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) 15/07/11


Organizzazione

Strutture del dipartimento