Students
| Name | Education | Research area |
Supervisor |
Research Centre |
|
|---|---|---|---|---|---|
 |
Angelo Cafaro |
M.Sc., University of Salerno, 2009 |
Artificial Intelligence, Social Behavior Modeling, Avatars and Agents in Networked Environments |
Hannes Högni Vilhjálmsson |
CADIA |
 |
Eugen Ioan Goriac |
M.Sc., "Alexandra Ioan Cuza" University, 2009 |
Fundamental aspects of theoretical computer science |
Luca Aceto and Anna Ingólfsd. |
ICE-TCS |
 |
Georgiana Goriac |
M.Sc., "Alexandra Ioan Cuza" University, 2009 |
Formal languages, process algebras, automata, semantics of concurrency, structural operational semantics, equational logic, rewriting logic, coalgebra |
Luca Aceto and Anna Ingólfsd. |
ICE-TCS |
 |
Helgi Páll Helgason | M.Sc., Háskóla Íslands, 2002 | Artificial Intelligence | Kristinn R. Þórisson | CADIA |
 |
Herwig Lejsek | M.Sc., Reykjavik University, 2005 | Multimedia Database Systems; Image Search |
Björn Þór Jónsson | Datalab |
 |
Hilmar Finnsson | M.Sc., Reykjavik University, 2008 | Artificial Intelligence; General Game Playing | Yngvi Björnsson | CADIA |
 |
Kristján Valur Jónsson | M.Sc., Reykjavik University, 2008 | Computer security |
Ari K. Jónsson | |
 |
Matteo Cimini |
M.Sc., University of Bologna, 2008 | Process Algebra; Logic in Computer Science | Luca Aceto and Anna Ingólfsd. |
ICE-TCS |
 |
Stefán Freyr Guðmundsson |
M.Sc., University of Iceland, 2009 |
Artificial Intelligence; General Game Playing |
Yngvi Björnsson |
CADIA |
