FormaliSE 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Kumar AcharjeeAcharjee, Kumar University of York Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Vander AlvesAlves, Vander University of BrasíliaBrazil Committee Member in Program Committee Members within the FormaliSE Research Track-track
B Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Committee Member in Program Committee Members within the FormaliSE Research Track-track
James BaxterBaxter, James Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact 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
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg 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
Andrea BombardaBombarda, Andrea University of BergamoItaly Publicity and Social Media Chair in Social Media Chair within the FormaliSE Research Track-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
C Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Sung Woo ChoiChoi, Sung Woo University of Florida Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Angela CortecchiaCortecchia, Angela Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Alcino CunhaCunha, Alcino University of Minho; INESC TECPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
D Renzo DegiovanniDegiovanni, Renzo Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Program Committee Members within the FormaliSE Research Track-track
Davide DominiDomini, Davide Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
F Federico FormicaFormica, Federico McMaster UniversityCanada 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 Co-Chair in Organization Committee within the FormaliSE Research Track-track
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Committee Member in Program Committee Members within the FormaliSE Research Track-track
I Carlos IsasaIsasa, Carlos Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
L Livia LestingiLestingi, Livia DEIB, Politecnico di MilanoItaly Committee Member in Program Committee Members within the FormaliSE Research Track-track
Jialong LiLi, Jialong Waseda University, JapanJapan Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
NIANYU LILI, NIANYU ZGC Lab, ChinaChina Committee Member in Program Committee Members within the FormaliSE Research Track-track
Yuntao LiLi, Yuntao University of Florida 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
Carlos LunaLuna, Carlos Facultad de Ingeniería, Universidad de la RepúblicaUruguay Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact 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
Lina MarssoMarsso, Lina École Polytechnique de MontréalCanada Artifact Evaluation Chair in Artifact Evaluation Chairs within the FormaliSE Artifact Track-track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Committee Members within the FormaliSE Research Track-track
Claudio MenghiMenghi, Claudio University of Bergamo; McMaster UniversityItaly PC Chair in Program Committee Chairs within the FormaliSE Research Track-track
Mahrokh MiraniMirani, Mahrokh Gran Sasso Science Institute (GSSI) Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Rosemary MonahanMonahan, Rosemary Ireland Committee Member in Program Committee Members within the FormaliSE Research Track-track
Logan MurphyMurphy, Logan 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 University Grenoble AlpesFrance Committee Member in Program Committee Members within the FormaliSE Research Track-track
Genaína Nunes RodriguesNunes Rodrigues, Genaína University of BrasíliaBrazil PC Chair in Program Committee Chairs within the FormaliSE Research Track-track
P Angeliki PantioraPantiora, Angeliki University of Athens 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
Diego Perez-PalacinPerez-Palacin, Diego Linnaeus University Committee Member in Program Committee Members within the FormaliSE Research 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 Co-Chair in Organization Committee within the FormaliSE Research Track-track
Nawshin Mannan PromaProma, Nawshin Mannan University of York Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
R Franco RaimondiRaimondi, Franco Gran Sasso Science Institute (GSSI)Italy Committee Member in Program Committee Members within the FormaliSE Research Track-track
Sanjai RayadurgamRayadurgam, Sanjai University of MinnesotaUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Pedro RibeiroRibeiro, Pedro University of York, UKUnited Kingdom Artifact Evaluation 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
S Emil SekerinskiSekerinski, Emil McMaster University, CanadaCanada Committee Member in Program Committee Members within the FormaliSE Research Track-track
Ilia ShevrinShevrin, Ilia Tel Aviv University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Álvaro F. SilvaSilva, Álvaro F. Independent Researcher Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Committee Member in Program Committee Members within the FormaliSE Research Track-track
T Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil 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
Christos TsigkanosTsigkanos, Christos University of Athens, GreeceGreece Committee Member in Program Committee Members within the FormaliSE Research Track-track
W Haoyu WangWang, Haoyu Singapore Management University Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Y Drishti YadavYadav, Drishti University of Luxembourg, LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee Members within the FormaliSE Artifact Track-track
Z Zhenya ZhangZhang, Zhenya Kyushu UniversityJapan Committee Member in Program Committee Members within the FormaliSE Research Track-track