Menu
PhD Thesis
Title
Student
Supervisor
Developing Theoretical Foundations for Runtime Enforcement
Ian Cassar
Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
Finding structure in Permutation sets
Christian Bean
Henning Úlfarsson, Associate Professor
Modeling, Verification, and Analysis of Timed Actor-Based Models
Ehsan Khamespanah
Prof. Marjan Sirjani
Performance Evaluation and Model Checking of Probabilistic Real-time Actors
Ali Jafari
Prof. Marjan Sirjani
NV-tree: A Scalable Disk-Based High-Dimensional Index
Herwig Lejsek
Björn Þór Jónsson, Associate Professor
First impressions in Human-Agent Virtual Encounters
Angelo Cafaro
Hannes Högni Vilhjálmsson, Associate Professor
Axiomatizations from Structural Operational Semantics: Theory and Tools
Eugen Ioan Goriac
Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics
,
Georgiana Caltais
Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
The Security Properties of
In-Network Aggregation
Kristján Valur Jónsson
Ýmir Vigfússon,
Assistant Professor
General Attention Mechanism for Artificial Intelligence Systems
Helgi Páll Helgason
Kristinn R. Þórisson, Associate Professor
Simulation-Based General Game Playing
Hilmar Finnsson
Yngvi Björnsson, Associate Professor
Contributions to the Meta-Theory of Structural Operational Semantics
Matteo Cimini
Professor Luca Aceto
Approximation Algorithms for Independent Set Problems on Hypergraphs
Elena Losievskaja
Professor Magnús M. Halldórsson
Was the content helpful?
Yes
No
Studies
Why RU?
Find a course
Course catalogue
Undergraduate
Graduate
PhD
Open University
Preliminary studies
Exchange students
Studying at RU
Academic calendar
Season 2021 -2022
Season 2022 -2023
Season 2023 -2024
Season 2024-2025
Apply
Admission requirements
Dates and deadlines
How to apply
Apply online
Tuition fees
Scholarships and awards
Schools
School of Technology
Department of Computer Science
Undergraduate
BSc Computer Science
bsc-computer-science-with-business
BSc Software Engineering
BSc Discrete Mathematics and Computer Science
Diploma in Applied Computing
Graduate
MSc Computer Science
MSc Software Engineering
MSc in Artificial Intelligence and Language Technology
MSc Data Science
MSc in Digital Health
PhD
Programme structure
Rules and Learning Outcomes
PhD Positions
Thesis
Thesis Template
Tuition
PhD positions
PhD administration and contact
Student Information
Rules for graduate studies programmes
Recognition of Previous Studies
Uploading your thesis into Skemman
Electives
Thesis
Thesis Template
Learning Outcomes
Course Catalogue
About
Department of Engineering
Undergraduate
BSc Engineering
Graduate
MSc Biomedical Engineering
MSc Engineering Management
MSc Financial Engineering
MSc Mechanical Engineering
MSc Mechatronic Engineering
Iceland School of Energy
MPM
PhD
About
Department of Applied Engineering
Undergraduate study
BSc Applied Engineering
Diploma in Technology
BSc Construction Architecture
About
Student Information
School of Social Sciences
Department of Business and Economics
Undergraduate
BSc Business Administration
BSc Economics
Diploma in Marine Bio Innovation
Summer School: Leading Creativity and Innovation in Entrepreneurial Organizations
Graduate
Accounting and Auditing
Business Management
Business Management with emphasis on Tourism and Hospitality Management
Corporate Finance
Marketing
Human Resource Management and Organizational Psychology
Innovation Management
Information Management
Emphasis on Innovation and Entrepreneurship
MBA
PhD
Research
Center of Financial Technology
Partners
Lectures / Workshops
Team
Research Projects
FinTech Seminar
Contact us
The Center for Research on Innovation and Entrepreneurship
Longitudinal research on new firms
Stagelt
Black Box
Reinvent
The Research Center on HRM
CRMC
Projects
Team
Research Collaboration
Publications
Information for current students
Rules
About
Faculty
Department of Psychology
Undergraduate
BSc Psychology
Graduate
Clinical Psychology
MSc Applied Behaviour Analysis
PhD
Information for current students
About
Evaluation and Transfer of Credit
Department of Sport Science
Undergraduate
BSc Sport Science
Graduate
MSc Exercise Science and Coaching
MEd Sports and Health Education
Student Information
Department of Law
Undergraduate
BA in Law
BA in Law with Business Minor
Graduate
ML in Law
PhD
Rules (PDF)
Learning Outcomes (PDF)
Research
Publications
Research
Research Council
Research Reports
DOMAC
Student Information
Former studies evaluation
BA Thesis
Progress Rules
Graduate Study Class Schedules
ML Thesis
Graduate Study Progress of Studies and Evaluation
Exchange Programme
Courses in English
About
Professors
Councils
Contact
Services
Starting at RU
Practical information
Visa information
Student support
Disability services
Self help
Student union
Campus
Campus photos
Location
Facilities
Library
International office
Study Abroad Opportunities for RU Students
Exchange programme application process - Outgoing students
Partner universities
International Staff Week
Practical Information
Extra Activities
International Projects
Erasmus Policy Statement
Student housing
Technical support
Intraweb
RU Web Mail
Communications
Research
Academic strength
Strategy
Research Council
Quality assurance system in research
Find a researcher
Research units
Publications
Department of Law
Department of Computer Science
Department of Business Administration
Department of Engineering
RU Research Services
Additional resources
Rules on doctoral studies
Available masters and doctoral projects
RU Research Fund
Rules on Reykjavík University Research Fund
RU Infrastructure Fund
Collaboration
Companies
Innovation in teaching and research
Current collaborations
Access to inventions and technologies
Sector and cluster development
Continuous and executive education
Further information
Students
Student projects
Internships
Career days
Highered
Innovation
Technology transfer
Spin-offs
Entrepreneurship
International
Strategic partnership
Primary and upper secondary schools
Primary schools
Upper secondary schools
Funding for master projects
University
Regulation
Administration
Board of directors and council
Executive committee
Accreditation
Organisation chart
Strategies
Rules
General rules on study and assessment
Code of conduct
Conduct in Open Work Areas
Conduct in Classrooms
Rules on submission of final theses at RU
Rules for advancement in BA and BSc studies and transfer of credits
Rules for master level studies
Rules on doctoral studies
Criteria on the use of artificial intelligence in course assessment at Reykjavik University
Teaching affairs and registry
Faculty and staff
Open positions
RU logo
News
Opening hours
Contact us
Annual Reports
Schools
School of Technology
Department of Computer Science
Undergraduate
Graduate
PhD
Programme structure
PhD Positions
Thesis
Thesis Template
Tuition
PhD positions
PhD administration and contact
Student Information
Course Catalogue
About
Department of Engineering
Department of Applied Engineering
School of Social Sciences
Search on this site
Type here to search
This website is built with
Eplica CMS