-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstaff.html
232 lines (192 loc) · 9.8 KB
/
staff.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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
<!DOCTYPE HTML>
<!--
Minimaxing by HTML5 UP
html5up.net | @ajlkn
Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
--><html lang="en">
<head>
<title>Staff - LIF</title>
<meta charset="utf-8">
<meta name="DC.date" content="1740167252">
<meta name="description" content="FOO">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<meta name="robots" content="index,follow">
<link rel="icon" href="images/cropped-lif-carre-1024.png" type="image/png"> <link rel="stylesheet" href="assets/css/main.css">
<link rel="stylesheet" href="custom.css">
</head>
<body>
<div id="page-wrapper">
<!-- Header -->
<div id="header-wrapper">
<div class="container">
<div class="row">
<div class="col-12">
<header id="header">
<h1><a href="home" id="logo"><span style="display:none">LIF</span></a></h1>
<nav id="nav">
<a href="home">Home</a>
<a href="research">Research</a>
<a href="staff" class="current-page-item">Staff</a>
<a href="posts/list">News</a>
<a href="contact-en">Contact</a>
<a href="membres">Français</a>
</nav>
</header>
</div>
</div>
</div>
</div>
<!-- Main -->
<div id="main">
<div class="container">
<div class="row main-row">
<div class="col-12 col-12-medium col-12-small postcontent">
<section>
<h1>Staff</h1>
<p>Four professors are members of LIF and currently supervise a dozen students of all cycles. In total, since its inception, more than 60 students have worked at LIF, coming from places as diverse as Québec, France, China and Africa.</p>
<h2>Faculty</h2>
<p><img src="images/shalle.webp" alt="Photo Sylvain Hallé" class="floatphoto"> <strong>Sylvain Hallé, Ph.D.</strong> is the Canada Research Chair on Software Specification, Testing and Verification and Full Professor in the Department of Computer Science and Mathematics at UQAC, where he has been working since 2010. He obtained a Ph.D. in Computer Science from Université du Québec à Montréal (UQAM) and has worked as a postdoctoral research fellow at University of California, Santa Barbara, from 2008 to 2010. Pr. Hallé has received numerous international awards for his research on software testing and verification, and earned two Governor General of Canada's Academic Medals, in 1997 and 2009. Notably, he is the author and leader of the BeepBeep project, a lightweight event stream processing library used for runtime verification and testing, and of Cornipickle, a test oracle for user interfaces in web applications.</p>
<div style="clear:both"></div>
<p><img src="images/FehmiJaafar-300.webp" alt="Photo Fehmi Jaafar" class="floatphoto"> <strong>Fehmi Jaafar, Ph.D.</strong> is currently an Associate Professor at Université du Québec à Chicoutimi and an Affiliate Professor at Laval University and Concordia University. Previously, he was Researcher at the Computer Research Institute of Montreal, an Adjunct Professor at Concordia University of Edmonton, and a postdoctoral research fellow at Queen's University and Polytechnique Montreal. Dr. Fehmi Jaafar received his PhD from the Department of Computer Science at Université de Montréal, Canada. He is interested in cybersecurity in the Internet of Things, in the analysis and the improvement of the security and quality of software systems, and in the application of machine learning techniques in cybersecurity. His researches have been published in top venues in computer sciences, including the Journal of Empirical Software Engineering (EMSE) and the Journal of Software: Evolution and Process (JSEP). He established externally funded research programs in collaboration with Defence Canada, Safety Canada, NSERC, MITACS, industrial partners, and foreign universities.</p>
<div style="clear:both"></div>
<p><img src="images/Hugo_300.jpg" alt="Photo Hugo Tremblay" class="floatphoto"> <strong>Hugo Tremblay, Ph.D.</strong> is an Assistant professor in the Department of Computer Science and Mathematics at UQAC since 2022. He obtained is PhD in mathematics from UQÀM in 2017 before working as a postdoctoral research fellow at University of Ottawa, then as a Substitute professor at UQAC. His research work focuses on digital geometry, graph theory and algorithmics.</p>
<div style="clear:both"></div>
<p><img src="images/Hugo_300.jpg" alt="Photo Hugo Tremblay" class="floatphoto"> <strong>Sébastien Gaboury, Ph.D.</strong> is an Associate Professor in the Department of Computer Science and Mathematics at UQAC since 2012. He has authored close to a hundred research papers in international journals and conferences. Pr. Gaboury was the recipient of the Governor General of Canada's Academic Medal in 2013 for his doctoral work in fundamental mathematics.</p>
<div style="clear:both"></div>
<h2>Students</h2>
<p>The contribution of our graduate and undergraduate students is crucial. All of LIF's research projects also have an academic component that benefits to all the students that contribute to them.</p>
<h3>Ph.D. students</h3>
<ul>
<li>Ricardo Ávila</li>
<li>Sarika Machhindra Kadam</li>
<li>Eduardo Mendes de Oliveira</li>
<li>Mithunvenkatesh Mohankumar</li>
<li>Marcela Santos</li>
</ul>
<h3>Master's students</h3>
<ul>
<li>Alexandre Lambert</li>
<li>Amadou Kabiné Traore</li>
</ul>
<h3>Undergraduate students</h3>
<ul>
<li>Véronique Du Paul, NSERC undergraduate student research award</li>
<li>Sophie Lalancette, NSERC undergraduate student research award</li>
<li>Baptiste Wetterwald</li>
<li>Alexander Yanovskyy</li>
</ul>
<h2>LIF alumni</h2>
<p>Thanks to all our former students how have worked at LIF since its creation in 2012. (Please contact us if your status has changed or if we forgot you!)</p>
<h3>Ph.D. students</h3>
<ul>
<li>Oussama Beroual</li>
<li>Quentin Betti</li>
<li>Edmond La Chance</li>
<li>Bianca Minetto Napoleão</li>
<li>Éric Lunaud Ngoupé</li>
<li>Jalves Nicácio</li>
<li>Asma Razgallah</li>
<li>Massiva Roudjane</li>
<li>Rania Taleb</li>
</ul>
<h3>Master's students</h3>
<ul>
<li>Mewena Awesso, internship</li>
<li>Alexis Bédard</li>
<li>Souhail Ben Ali, internship at Ubisoft</li>
<li>Mohamed Racem Boussaha</li>
<li>Jérôme Calvar</li>
<li>Tom Canac</li>
<li>Xavier Chamberland-Thibeault</li>
<li>Guillaume Demarty</li>
<li>Imen Doudech</li>
<li>Ayyoub Gannoun, internship</li>
<li>Francis Guérin</li>
<li>Demétrio Guilard</li>
<li>Bassam Khorchani</li>
<li>Amadou Makhtar Tall</li>
<li>Fabien Maronnaud</li>
<li>Chafik Meniar</li>
<li>Matthieu Michenot</li>
<li>Léo Monteiro</li>
<li>Aouatef Mrad</li>
<li>Mohamed Yliès Rahim</li>
<li>Julien Roux, internship</li>
<li>Lei Shi</li>
<li>Maxime Soucy-Boivin (now works for Gouvernement du Québec)</li>
<li>Jérémy Spieldenner, internship at Eckinox Média</li>
<li>Youssef Achkar Touzani, internship</li>
<li>Raphaël Tremblay-Lessard (now works for Cégep de Chicoutimi)</li>
<li>Jason Vallet, internship</li>
<li>Simon Varvaressos, recipient of an excellence scholarship from Fonds de recherche Québec</li>
<li>Benjamin Vignau</li>
<li>Kun Xie</li>
</ul>
<h3>Undergraduate students</h3>
<ul>
<li>Valentin Bailleul</li>
<li>Helloïs Barbosa</li>
<li>Gabrielle Bastien</li>
<li>Antoine Berthier</li>
<li>Nicolas Bergeron</li>
<li>Alexis Colin</li>
<li>Hans Darmstadt-Bélanger, NSERC undergraduate student research award</li>
<li>Sarah Desmeules, NSERC undergraduate student research award</li>
<li>Vincent Dufour, NSERC undergraduate student research award</li>
<li>Vincent Gagnon, NSERC undergraduate student research award</li>
<li>Quentin Gouy</li>
<li>Corentin Kirscher</li>
<li>Killian Lachaux</li>
<li>Raphaël Laguerre, exchange with Télécom Saint-Étienne (France)</li>
<li>Alexandre Larouche</li>
<li>Kim Lavoie, NSERC undergraduate student research award; now works for Cégep de Chicoutimi</li>
<li>Gabriel Le Breton, co-founder of Totema Studio</li>
<li>Daehli Nadeau-Otis</li>
<li>Gaël Perrot</li>
<li>Marc-Antoine Plourde, NSERC undergraduate student research award</li>
<li>Martin Renaud</li>
<li>Dominic Vaillancourt, now works for Behaviour Interactive</li>
<li>Guillaume Vassal, exchange with Télécom Saint-Étienne (France)</li>
</ul>
<!-- :wrap=soft: -->
</section>
</div>
</div>
</div>
</div>
<!-- Footer -->
<div id="footer-wrapper">
<div class="container">
<div class="row">
<div class="col-12">
<div id="copyright">
©Laboratoire d'informatique formelle. All rights reserved. | Design: <a href="http://html5up.net">HTML5 UP</a> | Powered by <a href="https://sylvainhalle.github.io/FantasticWindmill">Fantastic Windmill</a>
</div>
</div>
</div>
</div>
</div>
</div>
<!-- Scripts -->
<script src="assets/js/jquery.min.js"></script>
<script src="assets/js/browser.min.js"></script>
<script src="assets/js/breakpoints.min.js"></script>
<script src="assets/js/util.js"></script>
<script src="assets/js/main.js"></script>
<!-- Matomo -->
<script>
var _paq = window._paq = window._paq || [];
/* tracker methods like "setCustomDimension" should be called before "trackPageView" */
_paq.push(['trackPageView']);
_paq.push(['enableLinkTracking']);
(function() {
var u="//leduotang.ca/matomo/";
_paq.push(['setTrackerUrl', u+'matomo.php']);
_paq.push(['setSiteId', '5']);
var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s);
})();
</script>
<!-- End Matomo Code -->
</body>
</html>