FormaliSE 2027 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (83)

A Omar AbedelKaderAbedelKader, Omar INRIA LilleFrance Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Fnu AditiAditi, Fnu University of California, Berkeley, USAUnited States Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Oana AndreiAndrei, Oana University of GlasgowUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Committee Member in Program Committee Members within the FormaliSE Research Track-track
Luís BarbosaBarbosa, Luís Universidade do MinhoPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Gustavo BetarteBetarte, Gustavo Facultad de Ingeniería, Universidad de la RepúblicaUruguay Committee Member in Program Committee Members within the FormaliSE Research Track-track
Simon BliudzeBliudze, Simon Inria Center at the University of LillleFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Timothy BourkeBourke, Timothy Inria/ENSFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Web and Social Media Chair in Organizing Commitee for FormaliSE 2027
Syed Ali Asadullah BukhariBukhari, Syed Ali Asadullah Maynooth UniversityIreland Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
C Gabriele CeciliaCecilia, Gabriele Computer and Cyber Sciences, Augusta University, Georgia, USAItaly Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Dong ChenChen, Dong Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
F Alessio FerrariFerrari, Alessio University College Dublin; National Research CouncilIreland PC Co-Chair in Organizing Commitee for FormaliSE 2027 Program Co-Chair in Program Committee Chairs within the FormaliSE Research Track-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Emily FirstFirst, Emily Rutgers UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Thomas FlinkowFlinkow, Thomas Maynooth University, Ireland Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Simon FosterFoster, Simon University of YorkUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Kota FukudaFukuda, Kota Kyushu UniversityJapan Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee Members within the FormaliSE Research Track-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy General Chair in Organizing Commitee for FormaliSE 2027
H Berk HadzhamollaHadzhamolla, Berk University of Oslo, Norway Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
Peter HanukaevHanukaev, Peter Augusta University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
Holly HendryHendry, Holly University of YorkUnited Kingdom Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee Members within the FormaliSE Research Track-track
Kenneth JohnsonJohnson, Kenneth Auckland University of TechnologyNew Zealand Committee Member in Program Committee Members within the FormaliSE Research Track-track
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
K Vasileios KoutavasKoutavas, Vasileios Trinity College DublinIreland Committee Member in Program Committee Members within the FormaliSE Research Track-track
L NIANYU LILI, NIANYU ZGC Lab, ChinaChina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Carlos Gustavo Lopez PomboLopez Pombo, Carlos Gustavo Universidad Nacional de Rio Negro Committee Member in Program Committee Members within the FormaliSE Research Track-track
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkDenmark Committee Member in Program Committee Members within the FormaliSE Research Track-track
M Claudio MandrioliMandrioli, Claudio University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Shahar MaozMaoz, Shahar Tel Aviv UniversityIsrael Committee Member in Program Committee Members within the FormaliSE Research Track-track
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Anastasia MavridouMavridou, Anastasia KBR Inc / NASA Ames Research CenterUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Simão Melo de SousaMelo de Sousa, Simão NOVA LINCS & Universidade da Beira Interior, Portugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto, PortugalPortugal PC Co-Chair in Organizing Commitee for FormaliSE 2027 Program Co-Chair in Program Committee Chairs within the FormaliSE Research Track-track
Claudio MenghiMenghi, Claudio University of Bergamo; McMaster UniversityItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Federico MoraMora, Federico University of WaterlooCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Mohammad Reza MousaviMousavi, Mohammad Reza King's College LondonUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Logan MurphyMurphy, Logan University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
N Seunghyeon NamNam, Seunghyeon Seoul National University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Quentin NivonNivon, Quentin France Committee Member in Program Committee Members within the FormaliSE Research Track-track
P Balthazar PatiachviliPatiachvili, Balthazar ENS PSL / InriaFrance Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Nico PellegrinelliPellegrinelli, Nico University of Bergamo Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Luigia PetrePetre, Luigia Åbo Akademi UniversityFinland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Nico PlatPlat, Nico Netherlands General Chair in Organizing Commitee for FormaliSE 2027
Nawshin Mannan PromaProma, Nawshin Mannan University of York Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Juliane PäßlerPäßler, Juliane TU Wien Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
R Yasmeen RafiqRafiq, Yasmeen University of Manchester Committee Member in Program Committee Members within the FormaliSE Research Track-track
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Artifact Evaluation Co-Chair in Organizing Commitee for FormaliSE 2027 Artifact Evaluation Co-Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee Members within the FormaliSE Research Track-track
Matteo RossiRossi, Matteo Politecnico di MilanoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Neea RuschRusch, Neea Uppsala UniversitySweden Artifact Evaluation Co-Chair in Organizing Commitee for FormaliSE 2027 Artifact Evaluation Co-Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Álvaro F. SilvaSilva, Álvaro F. INESC TEC; University of PortoPortugal Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Amandeep SinghSingh, Amandeep GoogleUnited States Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee Members within the FormaliSE Research Track-track
Graeme SmithSmith, Graeme The University of QueenslandAustralia Committee Member in Program Committee Members within the FormaliSE Research Track-track
Ioannis StefanakosStefanakos, Ioannis University of YorkUnited Kingdom Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
T Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, NorwayNorway Committee Member in Program Committee Members within the FormaliSE Research Track-track
Maurice ter Beekter Beek, Maurice CNR-ISTI Pisa, ItalyItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Program Committee Members within the FormaliSE Research Track-track
Michael WhalenWhalen, Michael Amazon Web Services and the University of MinnesotaUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Y Drishti YadavYadav, Drishti University of Luxembourg, LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Sinem Getir YamanYaman, Sinem Getir University of York (UK) Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Z Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Committee Member in Program Committee Members within the FormaliSE Research Track-track
Zhenya ZhangZhang, Zhenya Kyushu UniversityJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track