Amanda Stjerna
PhD student at Department of Information Technology; Division of Computing Science
- 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
- ORCID:
- 0000-0003-4180-6118
More information is available to staff who log in.
Keywords
- smt
- theorem proving
- web security