91̽»¨

Göteborgs universitet
  2. Om universitetet
  3. Hitta person
  4. Nir Piterman

Nir Piterman

Professor

Formella metoder (FM)
E-post
nir.piterman@gu.se
µþ±ð²õö°ì²õ²¹»å°ù±ð²õ²õ
Rännvägen 6 B
412 58 Göteborg
Postadress
Box 100
412 96 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 .

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