Rannsóknarfólk
| Fastráðið rannsóknarfólk | |||||
|---|---|---|---|---|---|
| Nafn | Staða | Menntun | Rannsóknarsvið | Rannsóknarsetur | |
 |
Anna Ingólfsdóttir | Prófessor | Ph.D., University of Sussex, 1991 | Fræði samtímakerfa; Ferlaalgebra; Rökfræði í tölvunarfræði | Þekkingarsetur í fræðilegri tölvunarfræði |
 |
Björn Þór Jónsson | Dósent og deildarforseti |
Ph.D., University of Maryland, 1999 | Margmiðlunargagnagrunnar; Afköst og afkastastillingar gagnagrunna | Gagnasetur |
 |
Deon Garrett | Lektor | Ph.D., University of Memphis, 2008 | IIIM - Vitvélastofnun Íslands | |
 |
Hannes H. Vilhjálmsson | Dósent |
Ph.D., Massachusetts Institute of Technology, 2003 | Félagsleg gervigreind; Gagnvirk sýndarumhverfi | Gervigreindarsetur |
 |
Henning Arnór Úlfarsson |
Lektor |
Ph.D., Brown University, 2009 |
Algebruleg rúmfræði, fléttufræði |
Þekkingarsetur í fræðilegri tölvunarfræði |
 |
Hrafn Loftsson | Dósent | Ph.D., University of Sheffield, 2007 | Máltækni; Málvinnsla | Máltæknisetur |
 |
Kristinn R. Þórisson | Dósent | Ph.D., Massachusetts Institute of Technology, 1996 | Gervigreind; Náttúruleg samskipti við tölvur; Vélmenni | Gervigreindarsetur |
 |
Luca Aceto | Prófessor | Ph.D., University of Sussex, 1991 | Fræði samtímakerfa; Ferlaalgebra; Rökfræði í tölvunarfræði | Þekkingarsetur í fræðilegri tölvunarfræði |
 |
Magnús M. Halldórsson | Prófessor | Ph.D., Rutgers University, 1991 | Reiknirit, Lífupplýsingarfræði, Netafræði | Þekkingarsetur í fræðilegri tölvunarfræði |
 |
Marjan Sirjani | Dósent | Ph.D., Sharif University of Technology, 2004 |
Formlegar aðferðir í hugbúnaðarfræði; Fræði samtímakerfa, Model Checking | Þekkingarsetur í fræðilegri tölvunarfræði og ICE-Rose |
 |
Marta K. Lárusdóttir | Lektor | Cand. Scient., Copenhagen University, 1996 | Samskipti manns og tölvu; Notendamiðuð hugbúnaðargerð | ICE-Rose |
 |
Úlfar Erlingsson |
Dósent |
Ph.D., Cornell University, 2003. |
Tölvuöryggi | |
 |
Yngvi Björnsson | Dósent | Ph.D., University of Alberta, 2002 | Gervigreind; Upplýstar leitaraðferðir; Vélrænt nám | Gervigreindarsetur |
 |
Ýmir Vigfússon | Aðjunkt | Ph.D., Cornell University, 2009 |
Nettengd kerfi, tölvuský, bestun í dreifðum kerfum |
|
| Annað rannsóknarfólk | |||||
| Nafn | Staða | Menntun | Rannsóknarsvið | Rannsóknarsetur | |
 |
Eric Nivel | Sérfræðingur | M.Sc. | Gervigreind; Dreifð kerfi; Gagnvirk kerfi | Gervigreindarsetur |
 |
Pradipta Mitra | Nýdoktor |
Ph.D., Yale University, 2008 | Reiknirit | Þekkingarsetur í fræðilegri tölvunarfræði |
 |
Stephan Schiffel |
Nýdoktor |
Dr.rer.nat., Technische Universität Dresden, (áætlað sumar 2011) |
Gervigreind; Upplýstar leitaraðferðir; Alhliða leikjaspilarar; Aðgerðarökfræði |
Gervigreindarsetur |
 |
Ute Schiffel |
Nýdoktor |
Dr.Ing., Technische Universität Dresden, (áætlað maí 2011) |
Áreiðanleg kerfi; Kerfisverkfræði |
Tölvunarfræðideild HR |
