Rannsóknarfólk

Fastráðið rannsóknarfólk

Mynd Nafn Staða Menntun Rannsóknarsvið Rannsóknarsetur
Anna 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
Bjorn Björn Þór Jónsson Dósent Ph.D., University of Maryland, 1999 Margmiðlunargagnagrunnar; Afköst og afkastastillingar gagnagrunna CRESS
David Thue David Thue Lektor

Ph. D., Computing Science, University of Alberta, 2014

Artificial intelligence, automated experience management, user modelling, interactive storytelling, adaptive video games.

Gervigreindarsetur 
 Deon-Garrett Deon Garrett Lektor Ph.D., University of Memphis, 2008 Machine learning, Metaheuristics and Multi-objective Optimization IIIM - Vitvélastofnun Íslands
Hannes Hannes H. Vilhjálmsson Dósent Ph.D., Massachusetts Institute of Technology, 2003 Félagsleg gervigreind; Gagnvirk sýndarumhverfi Gervigreindarsetur
Henning Henning Arnór Úlfarsson Lektor Ph.D., Brown University, 2009 Algebruleg rúmfræði, fléttufræði Þekkingarsetur í fræðilegri tölvunarfræði
Hrafn Hrafn Loftsson Dósent Ph.D., University of Sheffield, 2007 Máltækni; Málvinnsla Máltæknisetur
Kristinn 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 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
Magnus Már Halldórsson 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 Marjan Sirjani Prófessor Ph.D.,
Sharif University of Technology, 2004
Formlegar aðferðir í hugbúnaðarfræði; Fræði samtímakerfa, Model Checking CRESS
marta_larusdottir Marta K. Lárusdóttir Lektor Ph.D. KTH í Stokkhólmi 2012 Samskipti manns og tölvu; Notendamiðuð hugbúnaðargerð CRESS
Yngvi Yngvi Björnsson Dósent og starfandi deildarforseti Ph.D., University of Alberta, 2002 Gervigreind; Upplýstar leitaraðferðir; Vélrænt nám Gervigreindarsetur
Ymir Ýmir Vigfússon  Lektor Ph.D., Cornell University, 2009

Nettengd kerfi, tölvuský, bestun í dreifðum kerfum

CRESS
Annað rannsóknarfólk
  Nafn Staða Menntun Rannsóknarsvið Rannsóknarsetur
Dario Della Monica Dario Della Monica Nýdoktor PhD in Computer Science at University of Udine - Department of Mathematics and Computer Science Modal logics, more specifically Interval Temporal Logics, and Automated verification of multi-agent systems. Þekkingarsetur í fræðilegri tölvunarfræði
Eric Eric Nivel Sérfræðingur M.Sc. Gervigreind; Dreifð kerfi; Gagnvirk kerfi Gervigreindarsetur
Koosha Paridel Koosha Paridel Nýdoktor PhD in Computer Engineering  Dreifð kerfi CRESS
StephanSchiffel_BW Stephan Schiffel Nýdoktor Ph.D in Computer Science, Reykjavik University Gervigreind; Upplýstar leitaraðferðir; Alhliða leikjaspilarar; Aðgerðarökfræði Gervigreindarsetur

Var efnið hjálplegt? Nei