https://serval-snt.github.io/

1<!DOCTYPE html>
2<html>
3<head>
4    <title>Home | Serval</title>
5    <meta charset="utf-8">
6    <link rel="icon" href="/assets/icon.png" type="image/png">
7    <link rel="stylesheet" href="/assets/style.css">
8    <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Material+Symbols+Outlined:wght,FILL,GRAD@200,0,0" />
9</head>
10<body>
11    <div class="nav-bar">
12        <a href="/" class="nav-link">Home</a>
13        <a href="/#about" class="nav-link">About</a>
14        <a href="/publications" class="nav-link">Publications</a>
15        <a href="/team" class="nav-link">Team</a>
16        <a href="https://recruitment.uni.lu/en/index.html?LOV52=All&SUBDEPT2=27&LOV53=All&keywords=serval&Resultsperpage=10&srcsubmit=Search&statlog=1&ID=QMUFK026203F3VBQB7V7VV4S8&mask=karriereseiten&LG=UK" class="nav-link" target="_blank">Open positions</a>
17        <a href="https://github.com/serval-snt-uni-lu" class="nav-link" target="_blank">Github</a>
18    </div>
19    <div class="main">
20        <div class="content">
21            <img id="serval-logo" src="assets/serval.svg" />
22<h1 id="about">About</h1>
23<p>SerVal (<b>Se</b>curity, <b>R</b>easoning and <b>Val</b>idation) conducts research in security and reliability in software engineering, with a particular focus on AI, data science and decision-making. This research is applied across a variety of domains, including FinTech, energy and industry 4.0. We focus both on fundamental as well as applied research topics, in partnership with public entities and world-class companies.</p>
24<div id="expertise-container">
25    <div class="expertise">
26        <div>
27            <span class="material-symbols-outlined">bug_report</span>
28        </div>
29        <div>
30            <h2>Software Engineering, Analysis and Testing</h2>
31            <p class="keywords"><span>Software maintenance</span><span>Code evolution</span><span>Test generation</span><span>Mutation testing</span><span>Anomaly detection</span><span>Test flakiness</span><span>Debugging</span></p>
32        </div>
33    </div>
34    <div class="expertise">
35        <div>
36            <span class="material-symbols-outlined">neurology</span>
37        </div>
38        <div>
39            <h2>AI, Machine Learning and Data Science</h2>
40            <p class="keywords"><span>Bias and fairness</span><span>Robustness</span><span>Distribution shift</span><span>Adversarial attacks</span><span>Deep learning</span><span>Data imbalance</span><span>Transfer learning</span></p>
41        </div>
42    </div>
43    <div class="expertise">
44        <div>
45            <span class="material-symbols-outlined">check_box</span>
46        </div>
47        <div>
48            <h2>Formal Verification and Optimization</h2>
49            <p class="keywords"><span>Model checking</span><span>Software and system variability</span><span>Cyber-physical systems</span><span>Model-driven engineering</span><span>Design space exploration</span></p>
50        </div>
51    </div>
52</div>
53
54

55<script>
56    // tracking the mouse position over the expertise cards
57    document.getElementById("expertise-container").onmousemove = e => {
58      for (const card of document.getElementsByClassName("expertise")) {
59        const rect = card.getBoundingClientRect(),
60              x = e.clientX - rect.left,
61              y = e.clientY - rect.top;
62    
63        card.style.setProperty("--mouse-x", `${x}px`);
64        card.style.setProperty("--mouse-y", `${y}px`);
65      };
66    }
67</script>

67
68        </div>
69    </div>
70    <footer>
71        <a href="https://uni.lu/snt"><img src="/assets/snt.png" /></a>
72        <p>Copyright © 2024, Serval, SnT, University of Luxembourg. All right reserved.</p>
73        <a href="https://uni.lu/"><img src="/assets/unilu.png" /></a>
74    </footer>
75</body>
76
77</html>