Kristoffer Norrman

Doktorand vid Institutionen för informationsteknologi; Datalogi

E-post:
kristoffer.norrman@it.uu.se
Besöksadress:
Hus 10, Regementsvägen 10
Postadress:
Box 524
751 20 UPPSALA

Ladda ned kontaktuppgifter

Nyckelord

  • programming languages
  • formal verification
  • theorem proving
Kristoffer Norrman