Amanda Stjerna

Doktorand vid Institutionen för informationsteknologi, Datalogi

E-post:
amanda.stjerna[AT-tecken]it.uu.se
Telefon:
018-471 5406
Besöksadress:
Rum POL 105152 hus 10, Lägerhyddsvägen 1
Postadress:
Box 337
751 05 UPPSALA

Nyckelord: theorem proving smt web security

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Amanda Stjerna
Senast uppdaterad: 2021-03-09