{"id":400,"date":"2023-06-22T00:04:09","date_gmt":"2023-06-22T00:04:09","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-en\/?post_type=research-groups&#038;p=400"},"modified":"2025-06-24T09:59:01","modified_gmt":"2025-06-24T07:59:01","slug":"research","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/","title":{"rendered":"Research"},"content":{"rendered":"<div class=\"section py-0 static\">\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><!-- SecondaryNavigationMirror --><div class=\"js-secondary-nav--sticky wp-block-unilux-blocks-secondary-navigation\" id=\"23c51b39-b7bd-4f3b-8095-af13321b714e\">\n    <nav id=\"secondary-navigation\" role=\"navigation\" aria-label=\"Secondary menu\" class=\"secondary-nav\">\n        <button class=\"secondary-nav__button btn btn-solid--primary w-full\" aria-expanded=\"false\" aria-controls=\"secondary-navigation__list\" title=\"The selected page is Research\" type=\"button\">\n            <span class=\"btn__name mr-auto\">Research<\/span>\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n                <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\" \/>\n            <\/svg>\n        <\/button>\n\n        <ul id=\"secondary-navigation__list\" class=\"secondary-nav__list\">\n            <li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Overview<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link isactived\" aria-current=\"page\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Research<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/publications\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Publications<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/partners\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Partners<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/people\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">People<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/join-us\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Join Us<\/span>\n    <\/a>\n<\/li>\n        <\/ul>\n    <\/nav>\n<\/div>\n<!-- end SecondaryNavigationMirror --><\/div><\/section>\n\n\n<section class=\"section section pb-0 wp-block-unilux-blocks-page-intro \">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-wrap -mx-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex-1 mb-48 px-16\">\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"secure-and-reliable-software-engineering-and-decision-making\"\n    >\nSecure and Reliable Software Engineering and Decision-Making<\/h1>\n\n\n\n<p>SerVal 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.<\/p>\n\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Contact Us<\/a>\n<\/li>\n\n\n<li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/en\/news-overview\/?fq_news-taxonomies-organisation%5B%5D=security-reasoning-and-validation-research-group-serval%7CSecurity+Reasoning+and+Validation+Research+Group+%28SERVAL%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Our Latest News<\/a>\n<\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full md:w-auto px-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-col items-center\">\n<h2 class=\"text-h4 has-text-align-left wp-block-unilux-blocks-heading\"        id=\"trustworthy-aifor-predictivemaintenance-andwaste-reduction\"\n    >\nTrustworthy AI<br>for Predictive<br>Maintenance and<br>Waste Reduction<\/h2>\n\n\n<a class=\"wp-block-unilux-blocks-button-highlight-square\"\n    href=\"https:\/\/snt-highlights.uni.lu\/2023\/03\/06\/trustworthy-ai-for-predictive-maintenance-and-waste-reduction\/\"\n    target=\"_blank\"\n>\n    <span class=\"btn-highlight-square__container\">\n        <div class=\"btn-highlight-square__body\">\n    <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--external-link icon--xl\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--external-link\"><\/use><\/svg>    <span class=\"btn btn--dark\">\n        \n<span class=\"btn__name wp-block-unilux-blocks-plain-text\">Read the Article<\/span>    <\/span>\n<\/div><figure class=\"wp-block-dev4-reusable-blocks-image image-bg object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/CEBI-Project-SerVal-Research-Group-at-SnT.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/CEBI-Project-SerVal-Research-Group-at-SnT-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/CEBI-Project-SerVal-Research-Group-at-SnT-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/CEBI-Project-SerVal-Research-Group-at-SnT.png 1024w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 3\/4; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>    <\/span>\n<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n\n<section class=\"section  wp-block-unilux-blocks-content-card-full-width\">\n    <div class=\"container 2xl:max-w-screen-2xl\">\n        <div class=\"max-w-11\/12\">\n            <div class=\"content-card content-card--right content-card__overlay--hidden wp-block-unilux-blocks-content-card\">\n    \n<h2 class=\"content-card__heading has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers-partners\"\n    >\nResearchers &amp; Partners<\/h2>\n<div class=\"content-card__visual wp-block-unilux-blocks-content-card-visual-area\">\n    \n<section class=\"wp-block-unilux-blocks-image-video-wrapper\">\n    <figure class=\"wp-block-dev4-reusable-blocks-image  object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Untitled-design.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Untitled-design-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Untitled-design-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Untitled-design.png 1024w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 3\/2; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure><\/section>\n<div class=\"wp-block-unilux-blocks-wrapper content-card__overlay\">\n<a class=\"wp-block-unilux-blocks-button-highlight-rounded bottom-left\" \n    href=\"#\"\n    target=\"_self\"\n>\n    \n<span class=\"btn-highlight-rounded__name wp-block-unilux-blocks-plain-text\"><\/span>    <span class=\"icon-rounded\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right icon--lg\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/span>\n<\/a><\/div>\n<\/div><div class=\"content-card__body  wp-block-unilux-blocks-content-card-free-area\">\n    \n<div class=\"wp-block-columns is-layout-flex wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>The group conducts both applied research in partnership with world-class companies, as well as classical theoretical research. Top postdoctoral researchers will have the chance to work in a leading group of experts in security design and validation, as well as to supervise doctoral candidates if they wish to. Doctoral candidates with formal backgrounds and an interest in translating and validating ideas in real-world scenarios will find a supportive environment to acquire the skills they need in both industry and academia, and the flexibility to switch between the two.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>Prospective partners interested in enhancing their R&amp;D focus on specific problems in software engineering with long-term perspectives will find world-class expertise in modelling and designing for software security, as well as validation of functional and security mechanisms for systems and software. SerVal 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, web applications, SOA and mobile apps.<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>        <\/div>\n    <\/div>\n<\/section>\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"research-projects\"\n    >\nResearch projects<\/h2>\n\n\n<ul class=\"flex flex-wrap mt-24 -mx-16  wp-block-unilux-blocks-free-content-card\">\n    <li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">smartgrid<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"secure-reliable-and-predictable-smart-grid\"\n    >\nSecure, Reliable, and Predictable Smart Grid<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/smartgrid\/\"\n        title=\"Learn more\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">Flashfloodbreaker<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"make-north-west-europe-resilient-against-increasing-extreme-flash-flood-events\"\n    >\nMake North-West Europe Resilient Against Increasing Extreme Flash Flood Events<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/fstm-en\/research-projects\/flashfloodbreaker\/\"\n        title=\"Learn more\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">inductive<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"incentivised-charging-scheduling-for-electrical-vehicles\"\n    >\nIncentivised Charging Scheduling for Electrical Vehicles<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/inductive\/\"\n        title=\"Learn more\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><\/ul>\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list justify-center\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/research-en\/research-projects-overview\/?fq_research-projects-taxonomies-organisation%5B%5D=security-reasoning-and-validation-research-group-serval%7CSecurity+Reasoning+and+Validation+Research+Group+%28SERVAL%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >All projects<\/a>\n<\/li>\n<\/ul>\n<\/div><\/section>\n\n\n<section class=\"section section wp-block-unilux-blocks-quick-link-discover-section\">\n    <div class=\"container xl:max-w-screen-xl\">\n        \n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"discover-more-about-serval\"\n    >\nDiscover More About SerVal<\/h2>\n\n<ul class=\"wp-block-unilux-blocks-quick-link-discover quick-link-list\">\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/partners\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Partners                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/publications\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Publications                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/people\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Members                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n<\/ul>\n    <\/div>\n<\/section><\/div>","protected":false},"excerpt":{"rendered":"<p>SerVal 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<\/p>\n","protected":false},"author":39,"featured_media":0,"parent":397,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Security, Reasoning and Validation (SerVal)","uluxPrePostTitle":"Research Group","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"field-of-interest":[],"organisation":[],"authorship":[39,161,144,174],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Research - Security Reasoning and Validation - SnT research group I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research\" \/>\n<meta property=\"og:description\" content=\"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-24T07:59:01+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\",\"name\":\"Research - Security Reasoning and Validation - SnT research group I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"datePublished\":\"2023-06-22T00:04:09+00:00\",\"dateModified\":\"2025-06-24T07:59:01+00:00\",\"description\":\"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Security, Reasoning and Validation (SerVal)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\",\"name\":\"SnT - University of Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - University of Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Research - Security Reasoning and Validation - SnT research group I University of Luxembourg","description":"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/","og_locale":"en_GB","og_type":"article","og_title":"Research","og_description":"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.","og_url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/","og_site_name":"SnT EN","article_modified_time":"2025-06-24T07:59:01+00:00","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/","url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/","name":"Research - Security Reasoning and Validation - SnT research group I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"datePublished":"2023-06-22T00:04:09+00:00","dateModified":"2025-06-24T07:59:01+00:00","description":"SerVal conducts research in security and reliability in software engineering, with a focus on AI, data science and decision-making.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/research\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Security, Reasoning and Validation (SerVal)","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/serval\/"},{"@type":"ListItem","position":5,"name":"Research"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-en\/#website","url":"https:\/\/www.uni.lu\/snt-en\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-en\/#organization","name":"SnT - University of Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - University of Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/400"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/39"}],"version-history":[{"count":4,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/400\/revisions"}],"predecessor-version":[{"id":17293,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/400\/revisions\/17293"}],"up":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/397"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/39"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/161"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/144"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/174"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=400"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/field-of-interest?post=400"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=400"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}