Research faculty
| RESEARCH FACULTY | |||||
|---|---|---|---|---|---|
| Name | Position | Education | Research area | Research centre | |
| Luca Aceto | Professor | Ph.D., University of Sussex, 1991 | Concurrency Theory; Process Algebra; Logic in Computer Science | ICE-TCS | |
| Yngvi Björnsson | Associate Professor | Ph.D., University of Alberta, 2002 | Artificial Intelligence; Heuristic Search; Machine Learning | CADIA | |
| Anders Claesson | Associate Professor | Ph.D., Chalmers University of Technology, 2004 | Algebraic Combinatorics | The Mathematics Institute | |
![]() |
Magnús M. Halldórsson | Professor | Ph.D., Rutgers University, 1991 | Algorithms, Bioinformatics; Networked computation | ICE-TCS |
| Kári Harðarson | Aðjúnkt | M.Sc. University of North Carolina, 1993 | Image and Photo Databases | Datalab | |
| Anna Ingólfsdóttir | Professor | Ph.D., University of Sussex, 1991 | Concurrency Theory; Process Algebra; Logic in Computer Science | ICE-TCS | |
![]() |
Ari K. Jónsson | Dean | Ph.D., Standford University, 1997 | Artificial Intelligence; Constraint Reasoning | CADIA |
| Björn Þór Jónsson | Associate Professor | Ph.D., University of Maryland, 1999 | Multimedia Database Systems; Database Performance and Tuning | Datalab | |
![]() |
Sergey Kitaev | Associate Professor | Ph.D., Göteborg University, 2003 | Algebraic Combinatorics | The Mathematics Institute |
| Marta K. Lárusdóttir | Assistant Professor | Cand. Scient., Copenhagen University, 1996 | User-Centered Software Development; User Interface Design | Ice-Rose | |
| Hrafn Loftsson | Assistant Professor | Ph.D., University of Sheffield, 2007 | Language Technology; Natural Language Processing | ICLT | |
| Ásrún Matthíasdóttir | Assistant Professor | M.Sc., Open University, 2000 | ICT in education; e-Learning; Distributed Learning | ||
| Einar Steingrímsson | Professor | Ph.D., Massachusetts Institute of Technology, 1992 |
Algebraic Combinatorics |
||
![]() |
Luca Zamboni | Professor | Ph.D., Brown University | Combinatorics on words | |
![]() |
Marjan Sirjani | Associate Professor |
Ph.D., Sharif University of Technology, 2004 |
Formal Methods in Software Engineering, Concurrent Systems, Model Checking | ICE-TCS and Ice-Rose |
| Hannes H. Vilhjálmsson | Assistant Professor | Ph.D., Massachusetts Institute of Technology, 2003 | Social and linguistic behavior modeling; Virtual environments | CADIA | |
![]() |
Kristinn R. Þórisson | Associate Professor | Ph.D., Massachusetts Institute of Technology, 1996 | Artificial Intelligence; Natural Communication with Computers; Cognitive Robotics | CADIA |
| STAFF | |||||
| Name | Position | Education | Research area | Research centre | |
![]() |
Andri Egilsson | Specialist | B.Sc., Háskóla Íslands | Algebraic combinatorics | The Mathematics Institute |
![]() |
Anisse Kasraoui | Postoctoral researcher | Ph.D., Université Claude Bernard Lyon-I | Combinatorics | The Mathematics Institute |
![]() |
Arnkell Logi Pétursson | Specialist | M.Sc. , University of Edinburgh, 2003 | AI planning | CADIA |
![]() |
Claudio Pedica | Specialist | M.Sc.,Reykjavik University and University of Camerino (Joint degree) | Social and Linguistic Behavior Modeling; Virtual Environments | CADIA |
![]() |
Guðný Ragna Jónsdóttir | Specialist | M.Sc., Reykjavik University, 2009 | Artificial Intelligence | CADIA |
![]() |
Eric Nivel | Specialist | M.Sc. | Artificial Intelligence; Distributed Systems; Interactive systems | CADIA |
![]() |
Erik Parr | Specialist | BFA, University of Washington | Digital Arts and Experimental Mulitimedia | CADIA |
![]() |
Frosti Pétursson | Specialist | MA, University of Pennsylvania | Algebraic combinatorics | The Mathematics Institute |
![]() |
Henning Arnór Úlfarsson | Postdoctoral researcher | Ph.D., Brown University, 2009 | Algebraic Geometry, combinatorics | The Mathematics Institute |
![]() |
Joshua Haugen Sack |
Postdoctoral researcher |
Ph.D., Indiana University Bloomington, 2007 |
Applied Logic |
ICE-TCS |
![]() |
Martina Kubitzke | Postdoctoral researcher | Ph.D., Philipps–Universität Marburg | Combinatorics | The Mathematics Institute |
![]() |
Mary Felkins | Postdoctoral researcher | Ph.D., Paris Sud University, 2008 | Autonomous Robotics, Machine Learning, Cognitive Architectures | CADIA |
![]() |
Robert Parviainen | Postdoctoral researcher | Ph.D., Uppsala University, 2004 | Algebraic Combinatorics; Discrete Probability Theory; Statistical Mechanics | The Mathematics Institute |
| Vít Jelínek | Postdoctoral reseacher | Ph.D., Univerzita Karlova v Praze | Combinatorics | The Mathematics Institute | |


















