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 SystemsArchives: Research Groups
-
Research Groups
Publications
Learn moreThe SerVal group conducts research on designing, testing, and debugging, with the goal of improving software quality across a variety of domains, including FinTech, energy and industry 4.0. They focus both on fundamental as well as applied research topics, in partnership with public entities and world-class companies.
-
Research Groups
Partners
Learn morePartners rely on SerVal’s world-class knowledge in modelling and designing for software security, as well as validation of functional and security mechanisms for systems and software. The group also offers extensive expertise in data science, data analysis, forecasting, and decision making. Domains of application include ambient assisted living using sensor networks, information systems, distributed systems,…
-
Research Groups
Research
Learn moreSerVal conducts research in security and reliability in software engineering, with a particular focus on AI, data science and decision-making, as well as designing, testing, and debugging, with the goal of improving software quality across a variety of domains, including FinTech, energy and industry 4.0
-
Research Groups
Security, Reasoning and Validation (SerVal)
Learn moreSerVal conducts research in security and reliability in software engineering, with a particular focus on AI, data science and decision-making.
-
-
-
Research Groups
Research
Learn moreEnsuring the security, safety, and reliability of software systems is crucial to our lives. SVV conducts research in automated testing, as well as requirement engineering, design-time and runtime verification, security analysis and testing, and regulatory compliance to create reliable, scalable solutions to real-world challenges. Current fields of application include space, FinTech, legal, automotive, and e-government.
-
Research Groups
Publications
Learn moreSVV conducts research in automated testing, as well as requirement engineering, design-time and runtime verification, security analysis and testing, and regulatory compliance to create reliable, scalable solutions to real-world challenges. Current fields of application include space, FinTech, legal, automotive, and e-government.
-
Research Groups
Partners
Learn moreCompanies and public sector entities interested in undertaking medium to long-term collaborations to achieve real impact in their software development, will find unique expertise within the group. Specialising in software verification and validation, requirement engineering, security analysis and testing, and regulatory compliance, the team has a strong track record of industry collaborations.
-
Research Groups
Software Verification and Validation (SVV)
Learn moreEnsuring the security, safety, and reliability of software systems is crucial to our lives.