Go to main content
Go to the menu
Go to search engine
Go to footer
UNI EN
Menu
Main Menu
Education
Back Main Menu
Studies
Discover the University
Bachelor's programmes
Master's programmes
Doctoral education
Continuing education
Specialised studies diploma in medicine
Guest students
Student & staff mobility
Admissions and re-enrolments
Bachelor & Master
Doctoral Candidates
Continuing education
Specialised Studies Diploma in Medicine
Guest students
UniGR students
Re-enrolment
More information
How we teach
Contacts for students
Academic matters
Academic calendar
Luxembourg Learning Centre / Library
Language Centre
Competence Centre
Student representation
Education
Research
Back Main Menu
Research
Our research at a glance
Research areas
Research facilities
Interdisciplinary centres
Faculties & departments
Research groups
Research projects
EU funding & high-profile grants
Collaboration & engagement
Interdisciplinarity at Uni.lu (IAS)
Knowledge & technology transfer
Public & private partners
Endowed chairs
Spin-offs
Outreach
Incubator & Entrepreneurship Programme
More information
Research news
Doctoral education
National Centres of Excellence in Research (NCER)
Luxembourg Learning Centre / Library
Mobility for researchers
Research
Publications
Open positions
Life on campus
Back Main Menu
More than studies
Classes & workshops
Social life
Culture
Career Centre
Incubator & Entrepreneurship Programme
Student & staff mobility
Outreach
UMatter
Mental health & wellbeing
Equality, diversity & inclusion
Ombuds
Peer support
Financial support
Contacts for students
More information
Campus news
Campus events
Moving to Luxembourg – Practical information
Accommodation
Campus & facilities
IT & services
Sustainability on campus
Life on campus
Events for students by students
About
Back Main Menu
About the University
Profile
News
Events
Governance
Administration
Partners and international networks
Official documents
Working at the University
Giving to the University
Our faculties and Centres
Faculty of Science, Technology and Medicine
Faculty of Law, Economics and Finance
Faculty of Humanities, Education and Social Sciences
Interdisciplinary Centre for Security, Reliability and Trust
Luxembourg Centre for Systems Biomedicine
Luxembourg Centre for Contemporary and Digital History
Luxembourg Centre for European Law
Luxembourg Centre for Socio-Environmental Systems
More information
Luxembourg Learning Centre / Library
Language Centre
Competence Centre
Interdisciplinarity at Uni.lu (IAS)
Institute for Innovative Teaching and Learning (I²TL)
University of Luxembourg Institute for Digital Ethics (ULIDE)
Luxembourg Centre for Educational Testing (LUCET)
About
Search for a person
Open positions
Choose language, currently selected language is : English
English
Choose language
Deutsch
English
Français
Faculties & Centres
Faculties & Centres
Faculty of Science, Technology and Medicine
Faculty of Law, Economics and Finance
Faculty of Humanities, Education and Social Sciences
Interdisciplinary Centre for Security, Reliability and Trust
Luxembourg Centre for Systems Biomedicine
Luxembourg Centre for Contemporary and Digital History
Luxembourg Centre for European Law
Luxembourg Centre for Socio-Environmental Systems
Information for
Information for
Prospective students
Students
Researchers
Alumni
Staff
Search
Select a category
Articles
Chairs
Events
News
People
Research Areas
Research Departments
Research Groups
Research Projects Pages
Study Programmes
Search on the university website
Please provide a keyword.
Applied Information Technology
In study programmes
Applied Digital Technology
In study programmes
Applied Cloud Technology
In study programmes
Cultures Europeennes
In study programmes
Computer Science
In study programmes
Computer & Infrastructure
In study programmes
Economics & Manager
In study programmes
Economics & Investisments
In study programmes
Finance and Economics
In study programmes
Moble Application
In study programmes
Software engineering
In study programmes
Software Developments
In study programmes
Search
Reset filter
View breadcrumb
Home
Research
Interdisciplinary Centre for Security, Reliability and Trust (SnT)
Software Verification and Validation Research Group (SVV)
Organisation:
Software Verification and Validation Research Group (SVV)
Events
Doctoral Defence: Cristina STRATAN
Doctoral defence
Learn more
Events
Doctoral Defence: MALIK JAHANZAIB
Doctoral defence
Learn more
Events
Doctoral Defence: Raphaël Charles-Victor OLLANDO
Doctoral defence
Learn more
To the top
Faculty of Science, Technology and Medicine
Faculty of Law, Economics and Finance
Faculty of Humanities, Education and Social Sciences
Interdisciplinary Centre for Security, Reliability and Trust
Luxembourg Centre for Systems Biomedicine
Luxembourg Centre for Contemporary and Digital History
Luxembourg Centre for European Law
Luxembourg Centre for Socio-Environmental Systems