ºÚÁϳԹÏ×ÊÔ´

Research Interests

My research interests lie in the areas of formal methods, software verification, and didactics.

Guest editor

I am the guest editor for .

Local organizer

Program chair

I am the PC Chair of .

I am the chair of , which is the Norwegian Informatics Conference under .

I am the  of .

Program committee

I was part of the program committee of 

I am also a member of the .

I am a reviewer for the journal Formal Aspects of Computing.

INF113 Introduction to Operating Systems

INF100 Introduction to Programming