VMCAI 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (143)

A Jie AnAn, Jie Institute of Software Chinese Academy of SciencesChina SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
Bruno AndreottiAndreotti, Bruno Universidade Federal de Minas GeraisBrazil Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea A Formal Executable Semantics of PROMELA
Alexander BakstBakst, Alexander Aarno LabsUnited States Committee Member in Program Committee within the VMCAI-track
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the VMCAI-track
Clark BarrettBarrett, Clark Stanford UniversityUnited States Proof Minimization in Neural Network Verification
Prabal BasuBasu, Prabal Utah State UniversityUnited States Probabilistic Verification for Modular Network-on-Chip Systems
Nathalie BertrandBertrand, Nathalie INRIA RennesFrance Reachability in multi-agent transfer systems
Jonah BoeBoe, Jonah Hill Air Force Base, UtahUnited States Probabilistic Verification for Modular Network-on-Chip Systems
Borzoo BonakdarpourBonakdarpour, Borzoo Michigan State UniversityUnited States Session Chair of Solvers (part of VMCAI) Efficient Discovery of Actual Causality in Stochastic Systems Committee Member in Program Committee within the VMCAI-track
Benoît BoyerBoyer, Benoît Mitsubishi Electric R&D Centre Europe, Rennes, FranceFrance Verification of Generic VHDL Designs and Their Translation to Rocq
C Filip Cano CórdobaCano Córdoba, Filip Institute of Science and Technology AustriaAustria Committee Member in Program Committee within the VMCAI-track
Xiuqing CaoCao, Xiuqing Zhejiang Sci-Tech UniversityChina A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models
Milan CeskaCeska, Milan Brno University of Technology Czechia Committee Member in Program Committee within the VMCAI-track
Koushik ChakrabortyChakraborty, Koushik Utah State UniversityUnited States Probabilistic Verification for Modular Network-on-Chip Systems
Marek ChalupaChalupa, Marek Institute of Science and Technology Austria Co-chair in Artifact Evaluation Committee within the VMCAI-track
Liqian ChenChen, Liqian National University of Defense TechnologyChina Committee Member in Program Committee within the VMCAI-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Session Chair of Artificial Inteligence (part of VMCAI) Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Chih-Hong ChengCheng, Chih-Hong Carl von Ossietzky Universität Oldenburg & Chalmers University of TechnologyGermany Committee Member in Program Committee within the VMCAI-track
Youngchan ChoCho, Youngchan The University of ChicagoUnited States Efficiently Verifying Quantum Programs with Few T Gates
Scott ConstableConstable, Scott Intel CorporationUnited States Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
D Mads DamDam, Mads KTHSweden Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the VMCAI-track
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
E Julian ErhardErhard, Julian TU Munich; LMU MunichGermany Data Race Detection by Digest-Driven Abstract Interpretation
Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the VMCAI-track
Javier EsparzaEsparza, Javier Technical University of Munich Committee Member in Program Committee within the VMCAI-track
F Florian FaissoleFaissole, Florian Mitsubishi Electric R&D Centre EuropeFrance Verification of Generic VHDL Designs and Their Translation to Rocq
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Dana FismanFisman, Dana Ben-Gurion UniversityIsrael Atomic Gliders and Cellular Automata as Language Generators
G Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Committee Member in Artifact Evaluation Committee within the VMCAI-track
Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in Program Committee within the VMCAI-track
Arka GhoshGhosh, Arka Université de Bordeaux / LaBRI Committee Member in Artifact Evaluation Committee within the VMCAI-track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in Program Committee within the VMCAI-track
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Simon GuilloudGuilloud, Simon EPFLSwitzerland Committee Member in Program Committee within the VMCAI-track
Rui GuoGuo, Rui Zhejiang Sci-Tech UniversityChina A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models
Ashutosh GuptaGupta, Ashutosh Committee Member in Program Committee within the VMCAI-track
H Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands Probabilistic Verification for Modular Network-on-Chip Systems
Loic HelouetHelouet, Loic INRIAFrance Reachability in multi-agent transfer systems
Michal HečkoHečko, Michal Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Lukáš HolíkHolík, Lukáš Brno University of Technology; Aalborg UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Chih-Duo HongHong, Chih-Duo National Chengchi UniversityTaiwan Committee Member in Program Committee within the VMCAI-track
Qifan HuangHuang, Qifan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Committee Member in Artifact Evaluation Committee within the VMCAI-track
David HudákHudák, David Brno University of Technology Committee Member in Artifact Evaluation Committee within the VMCAI-track
I Omri IsacIsac, Omri The Hebrew University of JerusalemIsrael Proof Minimization in Neural Network Verification
Noa IzsakIzsak, Noa CISPA Helmholtz Center for Information Security, GermanyGermany Atomic Gliders and Cellular Automata as Language Generators
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Session Chair of Analysis 1 (part of VMCAI) Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Sebastian JungesJunges, Sebastian Committee Member in Program Committee within the VMCAI-track
K Guy KatzKatz, Guy The Hebrew University of JerusalemIsrael Proof Minimization in Neural Network Verification
Ayrat KhalimovKhalimov, Ayrat Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jan KofroňKofroň, Jan Charles UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Klaus KraßnitzerKraßnitzer, Klaus ISTA Committee Member in Artifact Evaluation Committee within the VMCAI-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Steering Committee within the VMCAI-track
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Committee Member in Program Committee within the VMCAI-track
Nian-Ze LeeLee, Nian-Ze National Taiwan University, TaiwanTaiwan Committee Member in Program Committee within the VMCAI-track
Engel LefaucheuxLefaucheux, Engel Université de Lorraine; CNRS; Inria; LORIAFrance Reachability in multi-agent transfer systems
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA ListFrance Committee Member in Program Committee within the VMCAI-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Session Chair of Analysis 3 (part of VMCAI) Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Jérôme LerouxLeroux, Jérôme LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, FranceFrance Committee Member in Program Committee within the VMCAI-track Committee Member in Artifact Evaluation Committee within the VMCAI-track
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Marco LewisLewis, Marco InriaFrance Finding Photonics Circuits via δ-weakening SMT
Yang LiLi, Yang Zhejiang Sci-Tech UniversityChina A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation Co-chair in Artifact Evaluation Committee within the VMCAI-track
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany Session Chair of Models 2 (part of VMCAI) Understanding Transformers through the Lens of Logic and Automata
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan Session Chair of Quantum and Probabilistic Verification (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Wang LinLin, Wang A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models
Andreas LindnerLindner, Andreas Uppsala universitetSweden Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Zengyu LiuLiu, Zengyu National University of Defense TechnologyChina Committee Member in Artifact Evaluation Committee within the VMCAI-track
M Isabella MastroeniMastroeni, Isabella University of VeronaItaly Committee Member in Program Committee within the VMCAI-track
Nicolas MazzocchiMazzocchi, Nicolas Slovak University of Technology in BratislavaSlovakia Committee Member in Program Committee within the VMCAI-track
Jingyi MeiMei, Jingyi Leiden UniversityNetherlands Committee Member in Artifact Evaluation Committee within the VMCAI-track
Junjie MengMeng, Junjie School of Computer Science and Technology, Tongji UniversityChina SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
Vincent MihalkovičMihalkovič, Vincent Mr Committee Member in Artifact Evaluation Committee within the VMCAI-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the VMCAI-track
Alexandre MoineMoine, Alexandre New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Try-Mopsa: Relational Static Analysis in Your Pocket
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Analysis 2 (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Naïm Moussaoui RemilMoussaoui Remil, Naïm Inria & ENS \| PSL, Paris, FranceFrance Termination Resilience Static Analysis
Sayan MukherjeeMukherjee, Sayan Univ Rennes, Inria, CNRS, IRISA, France Committee Member in Artifact Evaluation Committee within the VMCAI-track
N Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the VMCAI-track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Program Committee within the VMCAI-track
Hamed NematiNemati, Hamed KTH Royal Institute of TechnologySweden Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
O Ocan Sankur Ocan Sankur University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Verification of Generic VHDL Designs and Their Translation to Rocq
Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jan OnderkaOnderka, Jan University of FreiburgGermany Input-based Three-Valued Abstraction Refinement
P Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Luca PaparazzoPaparazzo, Luca Inria, IRISA, Université de RennesFrance Reachability in multi-agent transfer systems
Roberto PettinauPettinau, Roberto Carl von Ossietzky Universität Oldenburg / University of Oldenburg Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kittiphon PhalakarnPhalakarn, Kittiphon National Institute of InformaticsJapan Committee Member in Artifact Evaluation Committee within the VMCAI-track
David PichardiePichardie, David MetaFrance Current State of the Industrial-Strength Infer Static Analysis Platform
Jakob PiribauerPiribauer, Jakob TU DresdenGermany Committee Member in Program Committee within the VMCAI-track
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Committee Member in Steering Committee within the VMCAI-track
Adrien PommelletPommellet, Adrien EPITA / LREFrance Committee Member in Program Committee within the VMCAI-track
Francesco PontiggiaPontiggia, Francesco TU Wien Committee Member in Artifact Evaluation Committee within the VMCAI-track
R Arshia RafieioskoueiRafieioskouei, Arshia Michigan State UniversityUnited States Efficient Discovery of Actual Causality in Stochastic Systems
Robert RandRand, Robert University of ChicagoUnited States Efficiently Verifying Quantum Programs with Few T Gates
Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Program Committee within the VMCAI-track
Stefan RatschanRatschan, Stefan The Czech Academy of SciencesCzechia Input-based Three-Valued Abstraction Refinement
Frédéric RecoulesRecoules, Frédéric CEA, List Committee Member in Artifact Evaluation Committee within the VMCAI-track
Idan RefaeliRefaeli, Idan Hebrew University of JerusalemIsrael Proof Minimization in Neural Network Verification
Diletta RigoRigo, Diletta Dipartimento di Matematica, University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Paul RobertRobert, Paul CEA LIST Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kenneth RogaleRogale, Kenneth Michigan State UniversityUnited States Efficient Discovery of Actual Causality in Stochastic Systems
Sanghamitra RoyRoy, Sanghamitra Utah State UniversityUnited States Probabilistic Verification for Modular Network-on-Chip Systems
S Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Steering Committee within the VMCAI-track
N. Ege SaraçSaraç, N. Ege CISPA Helmholtz Center for Information Security Committee Member in Artifact Evaluation Committee within the VMCAI-track
Sota SatoSato, Sota Kyoto UniversityJapan Committee Member in Artifact Evaluation Committee within the VMCAI-track
Christoph SchollScholl, Christoph University of FreiburgGermany Committee Member in Program Committee within the VMCAI-track
Michael SchwarzSchwarz, Michael National University of SingaporeSingapore Data Race Detection by Digest-Driven Abstract Interpretation
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States Committee Member in Program Committee within the VMCAI-track
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance Session Chair of Models 1 (part of VMCAI)
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance TypedC: Spatial Memory Safety for Low Level Programs by Abstract Interpretation
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance Committee Member in Program Committee within the VMCAI-track
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Committee Member in Program Committee within the VMCAI-track
Byoungho SonSon, Byoungho POSTECHSouth Korea A Formal Executable Semantics of PROMELA
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Gaëtan StaquetStaquet, Gaëtan Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004France Committee Member in Artifact Evaluation Committee within the VMCAI-track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Committee Member in Program Committee within the VMCAI-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Steffan SølvstenSølvsten, Steffan Aarhus UniversityDenmark Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
T Andrea TurriniTurrini, Andrea Institute of Software, Chinese Academy of SciencesChina SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
U Caterina UrbanUrban, Caterina Inria Paris - ENS - Université PSLFrance Termination Resilience Static Analysis
V Benoît ValironValiron, Benoît Université Paris-Saclay, CNRS, CentraleSupélec, LMF Finding Photonics Circuits via δ-weakening SMT
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Committee Member in Program Committee within the VMCAI-track
Bram VandenbogaerdeVandenbogaerde, Bram Software Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the VMCAI-track
W Nick WaddoupsWaddoups, Nick nick.waddoups@usu.eduUnited States Probabilistic Verification for Modular Network-on-Chip Systems
Masaki WagaWaga, Masaki Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Kazuki WatanabeWatanabe, Kazuki National Institute of Informatics; SOKENDAIJapan Committee Member in Program Committee within the VMCAI-track
Philipp WendlerWendler, Philipp LMU Munich Committee Member in Program Committee within the VMCAI-track
Thomas WiesWies, Thomas New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Changshun WuWu, Changshun Université Grenoble Alpes Committee Member in Artifact Evaluation Committee within the VMCAI-track
Haoze WuWu, Haoze Stanford UniversityUnited States Proof Minimization in Neural Network Verification
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Committee Member in Program Committee within the VMCAI-track
Miaomiao ZhangZhang, Miaomiao School of Computer Science and Technology, Tongji UniversityChina SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation
Zhen ZhangZhang, Zhen Utah State UniversityUnited States Probabilistic Verification for Modular Network-on-Chip Systems
Hanrui ZhaoZhao, Hanrui Committee Member in Artifact Evaluation Committee within the VMCAI-track
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the VMCAI-track
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Steering Committee within the VMCAI-track