معرفی
Pierre Ganty is an associate Research Professor at IMDEA Software Institute in Spain, specializing in verification, language theory, and automata theory.
Research Focus
His research interests include algorithmic verification techniques for infinite-state systems, abstract interpretation refinement, automata theory applications, and Petri net analysis. Primary domains span theoretical computer science and formal methods with practical applications in software verification.
Publication Trends
Recent works (2023-2025) predominantly explore language inclusion problems, automata theory extensions, and verification frameworks, with consistent focus on theoretical foundations and model checking applications.
Advising
Current and former advisees include:
- Nicolas Manini (PhD student since 2021)
- Kyveli Doveri (PhD graduate 2024)
- Elena Gutiérrez (PhD graduate 2020)
- Pedro Valero (PhD graduate 2020)
Research Team
Leads a research group at IMDEA Software Institute developing tools like ωVPLInc and MIST for automata-based verification.
Pierre Ganty در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Pierre GantyIMDEA Software Institute · استاد پژوهشی- SSlawek LasotaUniversity of Warsaw · استاد
- PPatrick TotzkeUniversity of Liverpool · استاد
- SSlawek LasotaMax Planck Institute for Software Systems · استاد
Chana Weil-KennedyIMDEA Software Institute · پژوهشگر- FFrancisco Javier Esparza EstaunTechnical University of Munich · استاد