Rannsóknarfólk
Fastráðið rannsóknarfólk |
|||||
|---|---|---|---|---|---|
| Mynd | Nafn | Staða | Menntun | Rannsóknarsvið | Setur |
 |
Anna Ingólfsdóttir | Prófessor | Ph.D., University of Sussex, 1991 | Fræði samtímakerfa; Ferlaalgebra; Rökfræði í tölvunarfræði | ICE-TCS |
 |
Lektor | PhD frá University West í Svíþjóð | Hönnun, þróun og notkun hugbúnaðar og rannsóknir sem snúa að áhrifum aukins flæði gagna á samfélagið. | CRESS | |
 |
Björn Þór Jónsson | Dósent | Ph.D., University of Maryland, 1999 | Margmiðlunargagnagrunnar; Afköst og afkastastillingar gagnagrunna | CRESS |
 |
David Thue | Lektor |
Ph.D., Computing Science, University of Alberta, 2014 |
Artificial intelligence, automated experience management, user modelling, interactive storytelling, adaptive video games. |
CADIA |
 |
Grischa Liebel |
Lektor | PhD., Chalmers University of Technology, Gothenburg, Sweden |
Empirical software engineering – analyzing and tackling actual problems together with practitioners. Requirements engineering, model-based engineering, agile methods, and software engineering education. |
CRESS |
 |
Gylfi Þór Guðmundsson | Aðjúnkt | Ph.D., Rennes 1, Frakklandi 2013 | Efnlislæg leit í margmiðlunargögnum á stórum skala, dreifð kerfi, dreifið vinnsla og
"magn-gagn" |
CRESS |
 |
Hannes H. Vilhjálmsson | Prófessor | Ph.D., Massachusetts Institute of Technology, 2003 | Félagsleg gervigreind; Gagnvirk sýndarumhverfi | CADIA |
 |
Henning Arnór Úlfarsson | Lektor | Ph.D., Brown University, 2009 | Algebruleg rúmfræði, fléttufræði | |
 |
Hrafn Loftsson | Dósent | Ph.D., University of Sheffield, 2007 | Máltækni; Málvinnsla | CADIA |
 |
Jacqueline Clare Mallett |
Lektor | Ph.D., from Massachusetts Institute of Technology, 2006 | Djúpnám (e.deep learning) fyrir tímaraðagreiningu í læknisfræði og öðrum greinum. Hermun og líkanagerð í dreifðum kerfum. |
ICE-TCS |
 |
Kristinn R. Þórisson | Prófessor | Ph.D., Massachusetts Institute of Technology, 1996 | Gervigreind; Náttúruleg samskipti við tölvur; Vélmenni | |
 |
Luca Aceto | Prófessor, deildarforseti | Ph.D., University of Sussex, 1991 | Fræði samtímakerfa; Ferlaalgebra; Rökfræði í tölvunarfræði | |
 |
Magnús M. Halldórsson | Prófessor | Ph.D., Rutgers University, 1991 | Reiknirit, Lífupplýsingarfræði, Netafræði | |
 |
Marcel Kyas |
Lektor | Ph.D., Leiden University | Indoor positioning and indoor navigation. Embedded systems. Internet of things. | CRESS |
 |
María Óskarsdóttir | Lektor | PhD from KU Leuven in Belgium | María's research interests include data science and analytics, network science, mobility, and machine learning with applications in industry. |
CRESS |
 |
Marta K. Lárusdóttir | Dósent | Ph.D. KTH í Stokkhólmi 2012 | Samskipti manns og tölvu; Notendamiðuð hugbúnaðargerð | CRESS |
 |
Mohammad Hamdaqa | Lektor | Ph.D. University of Waterloo |
Cloud Computing and IoT Cloud DevOps |
CRESS |
 |
Stephan Schiffel |
Lektor | Ph.D in Computer Science, Reykjavik University |
Gervigreind; Upplýstar leitaraðferðir; Alhliða leikjaspilarar; Aðgerðarökfræði |
CADIA |
 |
Tarmo Uustalu |
Prófessor | PhD from KTH Royal Institute of Technology in Stockholm |
Structural proof theory and type theory, algebraic and categorical logic, semantics of programming languages, type systems and program logics, functional programming, constructive mathematics | ICE-TCS |
 |
Yngvi Björnsson | Prófessor | Ph.D., University of Alberta, 2002 | Gervigreind; Upplýstar leitaraðferðir; Vélrænt nám | CADIA |
