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


Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

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

Condividi