Rannsóknarfólk

Fastráðið rannsóknarfólk

Mynd Nafn Staða Menntun Rannsóknarsvið Setur
Anna 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
Anna-sigga

Anna Sigríður Islind

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
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.

CADIA
Grischa
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 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 Hannes H. Vilhjálmsson Dósent Ph.D., Massachusetts Institute of Technology, 2003 Félagsleg gervigreind; Gagnvirk sýndarumhverfi CADIA
Henning Henning Arnór Úlfarsson Lektor Ph.D., Brown University, 2009 Algebruleg rúmfræði, fléttufræði

ICE-TCS

Hrafn Hrafn Loftsson Dósent Ph.D., University of Sheffield, 2007 Máltækni; Málvinnsla CADIA
Jacqueline
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 Kristinn R. Þórisson Prófessor Ph.D., Massachusetts Institute of Technology, 1996 Gervigreind; Náttúruleg samskipti við tölvur; Vélmenni

CADIA

Luca Aceto Luca Aceto Prófessor, deildarforseti Ph.D., University of Sussex, 1991 Fræði samtímakerfa; Ferlaalgebra; Rökfræði í tölvunarfræði

ICE-TCS

Magnus Már Halldórsson Magnús M. Halldórsson Prófessor Ph.D., Rutgers University, 1991 Reiknirit, Lífupplýsingarfræði, Netafræði

ICE-TCS

Marcel Kyas
Marcel Kyas
Lektor Ph.D., Leiden University Indoor positioning and indoor navigation. Embedded systems. Internet of things. CRESS
Maria-Oskarsdottir_sh
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
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 Dósent Ph.D. KTH í Stokkhólmi 2012 Samskipti manns og tölvu; Notendamiðuð hugbúnaðargerð CRESS
Mohammad Hamdaqa
Mohammad Hamdaqa Lektor

Ph.D. University of Waterloo


Cloud Computing and IoT

Cloud DevOps
Software Engineering 
Model Driven Engineering 
Social Network Analytics

CRESS
Stephan Schiffel  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
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
Yngvi Björnsson Prófessor Ph.D., University of Alberta, 2002 Gervigreind; Upplýstar leitaraðferðir; Vélrænt nám CADIA


Var efnið hjálplegt? Nei