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 | |
| Björn Þór Jónsson | Associate Professor and Acting Dean |
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 | |
 |
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 | Associate 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 |
 |
Úlfar Erlingsson |
Associate Professor |
Ph.D., Cornell University, 2003 |
Computer systems; computer security | |
| STAFF | |||||
| Name | Position | Education | Research area | Research centre | |
 |
Andri Egilsson | Specialist | B.Sc., Háskóla Íslands | Algebraic 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 |
 |
Mary Felkins | Postdoctoral researcher | Ph.D., Paris Sud University, 2008 | Autonomous Robotics, Machine Learning, Cognitive Architectures | CADIA |
