Amanda Stjerna

PhD student at Department of Information Technology, Division of Computer Systems

Email:
amanda.stjerna[AT-sign]it.uu.se
Telephone:
+4618-471 5406
Visiting address:
Room POL 105152 hus 10, Lägerhyddsvägen 1
Postal address:
Box 337
751 05 UPPSALA

Keywords: theorem proving smt web security

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Amanda Stjerna