Skip to main content
Department of Information Technology

Amanda Stjerna

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

+4618-471 5406
Visiting address:
Room POL 105281 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