Department of Information Technology

Albin Stjerna

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

Email:
albin.stjerna[AT-sign]it.uu.se
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 https://albinstjerna.se.

Also available at

My courses

Publications

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