- Visiting address:
POL 1121 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
- Postal address:
- Box 337
751 05 UPPSALA
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
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.