Amanda Stjerna

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

Email:
amanda.stjerna[AT-sign]it.uu.se
Visiting address:
Room POL ITC 1121 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
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