“arnar”

Arnar Birgisson

About me Blog Projects Publications Contact me Arnar Birgisson PhD student, Language based security Computer Science and Engineering Chalmers University of Technology Rännvägen 6B 41296 Göteborg Sweden / Previous education M.Sc. in Computer Science, Reykjavik University, graduate year 2009. B.Sc. in Mathematics, University of Iceland, graduate year 2004. My MSc thesis is titled Topics in Structural Operational Semantics and was submitted and defended in May 2009, under the