Department of Information Technology

Albin Stjerna

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

Visiting address:
Room POL 1121 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postal address:
Box 337
751 05 UPPSALA

Short presentation

My research is nominally in Web security, which in practice is mostly a Trojan horse for working on formal methods, theorem provers, abstract algebra, etc. I am currently working on developing the SMT solver Ostrich for string constraints in particular.

Also avaliable at my personal web page

Also available at

My courses


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