Logo IMI                      

Anna Ingólfsdóttir
Position: Professor
Reykjavik University (Iceland)
Department of Computer Science
e-mail: annai@ru.is
web: http://www.ru.is/kennarar/annai/
Visiting IMI in January 9-22, 2011

Research interests:

  • The semantics of concurrency
  • Application of formal methods in biology and in particular in connection with genetics

 

©2009 IMI