Arnar Birgisson

Current

• PhD student at Chalmers University of Technology

Past

• Research assistant at Reykjavik University
• M.Sc. Student at Reykjavik University
• Visitor at Eindhoven University of Technology

see less...

Education

• Chalmers tekniska högskola
• Háskólinn í Reykjavík
• Háskóli Íslands

see less...

Connections

51 connections

Industry

Higher Education

Arnar Birgisson’s Experience

• PhD student

  Chalmers University of Technology

  (Educational Institution; Research industry)

  August 2009 — Present (6 months)

  PhD student in Language Based Security, supervised by Andrei Sabelfeld

• Research assistant

  Reykjavik University

  (Educational Institution; Higher Education industry)

  June 2009 — August 2009 (3 months)

• M.Sc. Student

  Reykjavik University

  (Computer Software industry)

  September 2007 — June 2009 (1 year 10 months)

• Visitor

  Eindhoven University of Technology

  (Computer Software industry)

  September 2008 — November 2008 (3 months)

  Visited TU/e for two months during my M.Sc. studies at Reykjavik University, to work on SOS metatheory.

Arnar Birgisson’s Education

• Chalmers tekniska högskola

  PhD , Computer Science , 2009 — 2014 (expected)

• Háskólinn í Reykjavík

  M.Sc. , Computer Science , 2007 — 2009

• Háskóli Íslands

  B.Sc. , Mathematics , 2001 — 2004

Additional Information

Arnar Birgisson’s Interests:

(Formal study of) Programming languages, logic in Computer Science, photography, cross-country driving, hiking

Arnar Birgisson’s Groups:

Reykjavik Python User Group

Arnar Birgisson’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• expertise requests
• reference requests
• getting back in touch