FormaliSE 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (51)

A Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Committee Member in Program Committee within the FormaliSE Research Track-track
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee within the FormaliSE Research Track-track
Marcelo ArroyoArroyo, Marcelo Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee within the FormaliSE Research Track-track
Levente BajcziBajczi, Levente Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Committee Member in Program Committee within the FormaliSE Research Track-track
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee within the FormaliSE Research Track-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Committee Member in Program Committee within the FormaliSE Research Track-track
C Radu CalinescuCalinescu, Radu University of York, UKUnited Kingdom Committee Member in Program Committee within the FormaliSE Research Track-track
Gustavo CarvalhoCarvalho, Gustavo Universidade Federal de PernambucoBrazil Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Committee Member in Program Committee within the FormaliSE Research Track-track
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the FormaliSE Research Track-track
Ruotong ChengCheng, Ruotong University of TorontoCanada Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Xiao ChengCheng, Xiao UNSWAustralia Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Sung Woo ChoiChoi, Sung Woo Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee within the FormaliSE Research Track-track
Francisco DuránDurán, Francisco University of Málaga, SpainSpain Committee Member in Program Committee within the FormaliSE Research Track-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the FormaliSE Research Track-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the FormaliSE Research Track-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Fatemeh GhassemiGhassemi, Fatemeh University of TehranIran Committee Member in Program Committee within the FormaliSE Research Track-track
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy General Co-Chair in Organization Committee within the FormaliSE Research Track-track
Divya GopinathGopinath, Divya NASA Ames (KBR Inc.) Committee Member in Program Committee within the FormaliSE Research Track-track
Yann-Gaël GuéhéneucGuéhéneuc, Yann-Gaël Concordia University and Polytechnique MontréalCanada Committee Member in Program Committee within the FormaliSE Research Track-track
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FormaliSE Research Track-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FormaliSE Research Track-track
I Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FormaliSE Research Track-track
J JaehunLee JaehunLee Pohang University of Science and TechnologySouth Korea Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Xiaoqing JinJin, Xiaoqing AppleUnited States Committee Member in Program Committee within the FormaliSE Research Track-track
K Oleksandr KolchynKolchyn, Oleksandr Glushkov Institute of CyberneticsUkraine Committee Member in Program Committee within the FormaliSE Research Track-track
L Kunlin LiuLiu, Kunlin School of Computer, National University of Defense Technology, China Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Antónia LopesLopes, Antónia University of LisbonPortugal Committee Member in Program Committee within the FormaliSE Research Track-track
M Claudio MandrioliMandrioli, Claudio University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Lina MarssoMarsso, Lina University of TorontoCanada Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center PC Co-Chair in Program Committee within the FormaliSE Research Track-track
Larissa A. MeinickeMeinicke, Larissa A. Committee Member in Program Committee within the FormaliSE Research Track-track
N Quentin NivonNivon, Quentin University Grenoble AlpesFrance Web Chair in Organization Committee within the FormaliSE Research Track-track
P Nico PlatPlat, Nico Netherlands General Co-Chair in Organization Committee within the FormaliSE Research Track-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Committee Member in Program Committee within the FormaliSE Research Track-track
R Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee within the FormaliSE Research Track-track
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance PC Co-Chair in Program Committee within the FormaliSE Research Track-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the FormaliSE Research Track-track
Arpit SharmaSharma, Arpit Indian Institute of Science Education and Research Bhopal India Committee Member in Program Committee within the FormaliSE Research Track-track
Allison SullivanSullivan, Allison The University of Texas at Arlington Committee Member in Program Committee within the FormaliSE Research Track-track
T Nicola ThobenThoben, Nicola University of Oldenburg Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
V Benjamin von Bergvon Berg, Benjamin Graz University of TechnologyAustria Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Program Committee within the FormaliSE Research Track-track
Y Pingshi YuYu, Pingshi Imperial College London Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track
Á Zsófia ÁdámÁdám, Zsófia Committee Member in Artifact Evaluation Committee within the FormaliSE Artifact Track-track