Erik Parmann

Address: University of Bergen 
         Department of Informatics HiB
         Thormøhlensgt. 55, 5020 Bergen, NORWAY 
         Ph. : +47 555 84077 
         E-mail: Erik.Parmann@ii.uib.no

Interests: Modal logic, game theory, automated theorem proving, type theory and
graph theory. Occupation: PhD student in informatics.

Files of (possible) interest

• My master thesis.
  (Paper version titled "Modal Logics for Social Choice and Undecidability" accepted for presentation at LOFT 2012 conference on June 20, 2012 in Sevilla, Spain). Submittet to Journal of Philosophical Logic.
  
• No big deal: introducing roles to reduce the size of ATL models. (Joint work with Sjur Dyrkolbotn, Piotr Kaźmierczak, and Truls Pedersen).
  Presented at LAMAS 2012 workshop on June 5, 2012 in Valencia, Spain.
  Presented at LBP 2012 (Strategies for Learning, Belief Revision and Preference Change).
  • ArXiv
  • Pdf

Teaching

• 2008spring, 2008automn, 2009spring, 2009automn: Lecturer at the University of Bergen in DASP101 - "Programming and search strategies" (an introduction to Common Lisp and natural language processing)
• 2009automn: TA in INFO282 - "Kunstig intelligens" (Artifical Inteligence).
• 2012spring: TA in INF227 - "Introduction to Logic".
• 2012automn: TA in INFO207 - "Social Networks Theory".

Other tasks

• Part of the Bergen Turing 2012 committee.
• Part of the 2013 research school in ICT organising committee.