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.
Senast uppdaterad: 2021-03-09