Hoppa till huvudinnehåll
Länkstig

Nir Piterman

Universitetslektor

Formella
metoder
Besöksadress
Rännvägen 6
41258 Göteborg
Postadress
41296 Göteborg

Om Nir Piterman

Mina forskningsintressen inkluderar formell verifiering och automatteori. Jag har arbetat (och fortfarande är) om modellkontroll av olika typer av system, olika aspekter av tidsmässig logik, samt syntes och spellösning. Jag jobbar också med tillämpningar av formella metoder för biologisk modellering.

För mer information, kolla in min personliga hemsida.

Den här texten har automatiskt översatts till svenska av Google Translate.