Amanda Stjerna
Doktorand vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 54 06
- E-post:
- amanda.stjerna@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Amanda Stjerna vid Institutionen för informationsteknologi; Datalogi
- ORCID:
- 0000-0003-4180-6118
Mer information visas för dig som medarbetare om du loggar in.
Nyckelord
- smt
- theorem proving
- web security