Write a Blog >>
FormaliSE 2020
Mon 25 - Tue 26 May 2020
co-located with ICSE 2020
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (86)

A
al Duhaiby, Omar
Technische Universiteit Eindhoven (TU/e)
Alrajeh, Dalal
Imperial College LondonUnited Kingdom
B
Bae, Kyungmin
Pohang University of Science and Technology (POSTECH)South Korea
Belluccini, Sara
IMT Lucca School for Advanced Studies
Choi, Yunja
Kyungpook National UniversitySouth Korea
Chondamrongkul, Nacha
School of Computer Science, the University of Auckland
D
Day, Joel D.
Loughborough University
Day, Nancy
University of Waterloo, CanadaCanada
De Nicola, Rocco
IMT Institute for Advanced Studies
Friso Groote, Jan
Technische Universiteit Eindhoven (TU/e)
Furia, Carlo A.
Università della Svizzera italiana (USI)Switzerland
G
Genero Bocco, Marcela Fabiana
University of Castilla-La ManchaSpain
Gnesi, Stefania
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy
H
Hasan, Osman
National University of Sciences & Technology
K
Kang, Eunsuk
Carnegie Mellon UniversityUnited States
M
Manea, Florin
University of Göttingen
Myreen, Magnus O.
Chalmers University of Technology, SwedenSweden
Ogata, Kazuhiro
Japan Advanced Institute of Science and Technology
P
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Poulsen, Danny Bøgsted
Aalborg University
S
Salaün, Gwen
University of Grenoble AlpesFrance
Sousa Pinto, Jorge
HASLab/INESC TEC & Universidade do Minho, Portugal
Spoletini, Paola
Kennesaw State UniversityUnited States
Sun, Jing
School of Computer Science, the University of AucklandNew Zealand
W
Warren, Ian
School of Computer Science, the University of Auckland
Whalen, Michael
Amazon Web Services and the University of MinnesotaUnited States