Amanda Stjerna
PhD student at Institutionen för informationsteknologi; Datalogi
- Telephone:
- +46 18 471 54 06
- E-mail:
- amanda.stjerna@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
Download contact information for Amanda Stjerna at Institutionen för informationsteknologi; Datalogi
- ORCID:
- 0000-0003-4180-6118
More information is available to staff who log in.
Keywords
- smt
- theorem proving
- web security
