Address: University of Bergen
Department of Informatics HiB
Thormøhlensgt. 55, 5020 Bergen, NORWAY
Ph. : +47 555 84077
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.
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
- 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
- Part of the Bergen Turing 2012
- Part of the 2013 research school in ICT organising committee.