-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
99 lines (99 loc) · 5.15 KB
/
index.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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
<!DOCTYPE html>
<html>
<head>
<title>Mathieu MONTIN's Home Page</title>
<link rel="icon" type="image/png" href="img/n7logo.png"/>
<meta name="author" content="monsieuro">
<meta name="date" content="2018-03-16T18:38:55+0100">
<meta name="copyright" content="Copyright 2017 INP Toulouse">
<meta name="keywords" content="enseeiht, irit, inpt, informatique, recherche">
<meta name="description" content="Mathieu MONTIN Home Page">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="style.css" type="text/css" media="screen" title="no title">
</head>
<body>
<div class="flex-mycontainer">
<a href="http://tweag.io"><img src="img/tweag.png" alt="TWEAG">
<a href="http://www.enseeiht.fr/"><img src="img/logo-enseeiht.png" alt="ENSEEIHT"></a>
<a href="http://www.irit.fr/"><img src="img/IRITCNRS.gif" alt="IRIT"></a>
</div>
<header>
<h1>Mathieu MONTIN:</h1>
<h2>Leader of the high assurance team at Tweag</h2>
</header>
<div class="flex-mycontainer">
<ul>
<li><strong>Formation:</strong> Engineer and doctor in computer sciences</li>
<li><strong>Current position:</strong> Leader of the high assurance team at Tweag</li>
<li><strong>Former position:</strong> Postdoctoral researcher at LORIA, Nancy</li>
<li><strong>Work email:</strong> <a href="mailto:[email protected]"> [email protected]</a></li>
<li><strong>Personal email:</strong> <a href="mailto:[email protected]"> [email protected]</a></li>
<li><strong>Specialties:</strong> Formal methods, functional languages, MDE, smart contracts</li>
<li><strong>Languages:</strong> Agda, Haskell, Xtend</li>
</ul>
<img style="border-style:none;float:right" width="15%" src="img/mm.jpg">
</div>
<header>
<h1>PhD thesis</h1>
</header>
<div class="mycontainer">
<h3>A formal framework for heterogeneous systems semantics</h3>
<ul>
<li><strong>Defense:</strong> ENSEEIHT, Toulouse, France, september 2020 </li>
<li><strong>Reviewers:</strong> Frédéric Mallet, Catherine Dubois</li>
<li><strong>Full thesis:</strong> <a class="pdf" href="thesis.pdf"> thesis.pdf</a> </li>
<li><strong>Source code:</strong> <a class="html" href="thesis.html"> detailed page </a></li>
<li><Strong>Topics:</strong> CCSL, Refinement, Temporal behaviour, Separations of concerns, Agda</li>
</ul>
</div>
<header>
<h1>Research papers</h1>
</header>
<div class="mycontainer">
<h3>LibNDT: Towards a formal library on spreadable properties over linked nested datatypes</h3>
<ul>
<li><strong>Conference: </strong>MSFP 2022 workshop, part of ETAPS 2022, Munich, Germany</li>
<li><strong>Full paper: </strong><a class="pdf" href="msfp2022.pdf"> msfp2022.pdf</a> </li>
<li><strong>Official page:</strong> <a class="html" href="https://arxiv.org/abs/2207.03994v1"> official page </a></li>
<li><Strong>Topics:</strong> Nested datatypes, Bushes, Agda, Coq</li>
</ul>
</div>
<div class="mycontainer">
<h3>Towards multi-layered temporal models: A proposal to integrate instant refinement in CCSL</h3>
<ul>
<li><strong>Conference:</strong> FORTE 2021, Valetta, Malte</li>
<li><strong>Full paper:</strong> <a class="pdf" href="forte2021.pdf"> forte2021.pdf</a> </li>
<li><strong>Official page:</strong> <a class="html" href="https://link.springer.com/chapter/10.1007/978-3-030-78089-0_7"> official page </a></li>
<li><Strong>Topics:</strong> CCSL, Refinement, Temporal constraints</li>
</ul>
</div>
<div class="mycontainer">
<h3>Mechanizing the relational semantics of the Clock Constraint Specification Language</h3>
<ul>
<li><strong>Conference:</strong> MEDI 2018, Marrakesh, Morocco</li>
<li><strong>Full paper:</strong> <a class="pdf" href="medi2018.pdf"> medi2016.pdf</a> </li>
<li><strong>Official page:</strong> <a class="html" href="https://www.springer.com/gp/book/9783030008550"> official page </a></li>
<li><Strong>Topics:</strong> Semantics mechanization, CCSL, Agda</li>
</ul>
</div>
<div class="mycontainer">
<h3>Ordering strict partial orders to model behavioural refinement</h3>
<ul>
<li><strong>Conference:</strong> REFINE workshop, part of FLOC 2018, Oxford, England </li>
<li><strong>Full paper:</strong> <a class="pdf" href="refine2018.pdf"> refine2018.pdf</a> </li>
<li><strong>Official page:</strong> <a class="html" href="https://easychair.org/smart-slide/conference/9WdD"> official page </a></li>
<li><Strong>Topics:</strong> Instant refinement, Partial orders, Agda</li>
</ul>
</div>
<div class="mycontainer">
<h3>Ordering strict partial orders to model instant refinement</h3>
<ul>
<li><strong>Conference: </strong> Junior Workshop JRWRTC, part of RTNS 2017, Grenoble, France </li>
<li><strong>Full paper:</strong> <a class="pdf" href="jrwrtc2017.pdf"> paper</a> </li>
<li><strong>Official page:</strong> <a class="html" href="http://www.rtns17.org/jrwrtc2017/JRWRTC17_proceedings.pdf"> official page </a></li>
<li><Strong>Topics:</strong> Instant refinement, Partial orders, Agda</li>
</ul>
</div>
</body>
</html>