-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathResearch.html
34 lines (32 loc) · 2.74 KB
/
Research.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Research</title>
<meta charset='utf-8' />
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
<meta content='width=device-width,initial-scale=1' name='viewport' />
<link href='web.css' rel='stylesheet' type='text/css' />
<meta content='web.tex' name='src' />
</head><body>
<!-- l. 163 --><div class='crosslinks'><p class='noindent'>[<a href='CurriculumVitae.html'>next</a>] [<a href='Teaching.html'>prev</a>] [<a href='Teaching.html#tailTeaching.html'>prev-tail</a>] [<a href='#tailResearch.html'>tail</a>] [<a href='web.html#Research.html'>up</a>] </p></div>
<h3 class='sectionHead' id='research'><span class='titlemark'>2 </span> <a id='x4-30002'></a>Research</h3>
<!-- l. 166 --><p class='noindent'>
</p>
<h4 class='subsectionHead' id='current-scientific-activities'><span class='titlemark'>2.1 </span> <a id='x4-40002.1'></a>Current scientific activities</h4>
<!-- l. 169 --><p class='noindent'>My current scientific activities focus on proof-based developement of distributed algorithms using the
refinement, as well as modelling and certification of medical devices.
</p><!-- l. 173 --><p class='indent'>First, distributed algorithms, recently redeveloped by refinement, are population protocols which
are leading to extension of the refinement, and self-<span class='cmmi-12'>⋆ </span>algorithms. The main difficulty is to deal with
liveness and fairness properties, when considering population protocols for instance, and with explicit
assumptions as for instance oracles for faults.
</p><!-- l. 180 --><p class='indent'>Second, medical devices lead to propose a refinement-based methodology applicable for
certification of cyber-physical systems and human-in-the-loop systems. Two collaborations (NASA
Ames and CHU Nancy) are interacting with us for these topics.
</p><!-- l. 187 --><p class='indent'>Finally, the IMPEX (http://impex.loria.fr) project leads me to deal with the integration of the
explicit semantics in proof-based development of software systems. Recently, I have obtained two new
projects ANR FORMEDICIS (2017-2022) on verification of HMI, extending IMPEX, and ANR
project DISCONT (http://discont.loria.fr) on hybrid models and refinement.
</p>
<!-- l. 199 --><div class='crosslinks'><p class='noindent'>[<a href='CurriculumVitae.html'>next</a>] [<a href='Teaching.html'>prev</a>] [<a href='Teaching.html#tailTeaching.html'>prev-tail</a>] [<a href='Research.html'>front</a>] [<a href='web.html#Research.html'>up</a>] </p></div>
<!-- l. 199 --><p class='indent'><a id='tailResearch.html'></a></p>
</body>
</html>