Research Faculty and Staff
| RESEARCH FACULTY | |||||
|---|---|---|---|---|---|
| Name | Position | Education | Research area | Research centre | |
| 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 Dean |
Ph.D., University of Maryland, 1999 |
Multimedia Database Systems; Database Performance and Tuning |
Datalab |
|
 |
Deon Garrett |
Assistant Professor
|
Ph.D., University of Memphis, 2008 | Machine learning, Metaheuristics and Multi-objective Optimization | IIIM - Icelandic Institute for Intelligent Machines |
| Hannes H. Vilhjálmsson |
Associate Professor |
Ph.D., Massachusetts Institute of Technology, 2003 |
Social and linguistic behavior modeling; Virtual environments |
CADIA |
|
 |
Henning Arnór Úlfarsson |
Assistant Professor |
Ph.D., Brown University, 2009 |
Algebraic Geometry, Combinatorics |
School of Computer Science, RU |
| Hrafn Loftsson |
Assistant Professor |
Ph.D., University of Sheffield, 2007 |
Language Technology; Natural Language Processing |
ICLT |
|
 |
Kristinn R. Þórisson |
Associate Professor |
Ph.D., Massachusetts Institute of Technology, 1996 |
Artificial Intelligence; Natural Communication with Computers; Cognitive Robotics |
CADIA |
| Luca Aceto | Professor | Ph.D., University of Sussex, 1991 | Concurrency Theory; Process Algebra; Logic in Computer Science | ICE-TCS | |
 |
Magnús M. Halldórsson | Professor | Ph.D., Rutgers University, 1991 | Algorithms, Bioinformatics; Networked computation | ICE-TCS |
 |
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 |
| Marta K. Lárusdóttir | Assistant Professor | Cand. Scient., Copenhagen University, 1996 | User-Centered Software Development; User Interface Design | Ice-Rose | |
 |
Sergey Kitaev |
Associate Professor |
Ph.D., Göteborg University, 2003 |
Algebraic Combinatorics |
School of Computer Science, RU |
 |
Úlfar Erlingsson |
Associate Professor |
Ph.D., Cornell University, 2003 |
Computer systems; computer security | |
| Yngvi Björnsson |
Associate Professor |
Ph.D., University of Alberta, 2002 |
Artificial Intelligence; Heuristic Search; Machine Learning |
CADIA |
|
 |
Ýmir Vigfússon |
Adjunct |
Ph.D., Cornell University, 2009 |
Networked systems, cloud computing, optimization in distributed systems. |
|
| STAFF | |||||
| Name | Position | Education | Research area | Research centre | |
 |
Eric Nivel | Specialist | M.Sc. | Artificial Intelligence; Distributed Systems; Interactive Systems | CADIA |
 |
Pradipta Mitra |
Postdoctoral researcher |
Ph.D., Yale University, 2008 |
Algorithms |
ICE-TCS |
 |
Stephan Schiffel |
Postdoctoral researcher |
Dr.rer.nat., Technische Universität Dresden, (exp. summer 2011) |
Artificial intelligence; Heuristic search; General game playing; Action formalisms |
CADIA |
 |
Ute Schiffel |
Postdoctoral researcher |
Dr.Ing., Technische Universität Dresden, (exp. May 2011) |
Dependable systems; Systems Engineering |
School of Computer Science, RU |
