Computational Complexity of Verification Problems Professors and Supervisors

Graziano Vernizziمشاهده پروفایل

استاد

Albany Medical CollegeUnited States

Graziano Vernizzi serves as Professor in the Department of Physics and Astronomy at Siena University (formerly Siena College) since 2016, having previously held Associate Professor (2013-2016) and Assistant Professor (2010-2013) positions at the same institution. His academic journey includes a Research Professor role at Northwestern University (2006-2010) and prestigious postdoctoral appointments at the Niels Bohr Institute, University of Oxford, CEA/Saclay, Spinoza Institute, and Northwestern University. His educational background includes: B.S. in Physics, University of Parma, Italy (1995) Ph.D. in Physics, University of Parma, Italy (2000) Vernizzi's research integrates computational and theoretical physics to address nanoscale phenomena, with core interests in Random Matrix Theory, biophysics (RNA/ssDNA structures and membrane theory), soft condensed matter physics, and nanoscale science. He develops computational models to analyze complex systems where theoretical frameworks are essential for interpreting experimental data, driving technological innovation and expanding career opportunities in emerging scientific fields. His methodology frequently bridges mathematical rigor with physical applications across disciplinary boundaries. Analysis of his publication trends reveals consistent interdisciplinary work connecting mathematics, physics, and engineering. Key recurring themes include topological constraints in biological and electronic systems, statistical mechanics approaches to soft matter, and algorithmic innovations for verification problems. His research demonstrates particular strength in applying abstract mathematical concepts like random matrix theory to concrete biophysical and engineering challenges, resulting in publications spanning Physical Review journals, Soft Matter, and specialized engineering conferences. His scientific recognition includes: Trust-Co Excellence Honor for advancing the mission of Siena College (Trustco Bank, 2015) No information regarding student advising, research grants, or dedicated laboratory facilities was provided in the source material. His professional activities focus on computational research, course development in nanoscale physics, and interdisciplinary collaboration without mention of specific research teams or experimental facilities.

پروفایل رسمی دانشگاه

Olivier Serreمشاهده پروفایل

استاد

ENSAE ParisFrance

Olivier Serre is a CNRS Research Director working at the Institute for Research in Fundamental Computer Science (IRIF), a joint research unit of CNRS and University of Paris. Since September 2021, he serves as Deputy Scientific Director at the Institute for Information Sciences and Technologies (INS2I) at CNRS. His research focuses on theoretical computer science with particular emphasis on automata theory and formal verification frameworks. Dr. Serre completed his education at ENS Cachan (1999-2003) and earned his PhD in Computer Science from Paris-Diderot University (now University of Paris) in 2004. Following a postdoctoral position at RWTH Aachen, he joined LIAFA (now IRIF) as a research fellow in 2005 and became a CNRS Research Director in 2016. His academic journey reflects deep engagement with foundational theoretical problems and their practical verification applications. His research centers on automata theory and formal languages, with particular expertise in games and logic, infinite structures, and verification of higher-order functional programs. Dr. Serre has made significant contributions to collapsible pushdown systems, recursion schemes, and parity games, bridging theoretical foundations with practical applications in program verification. His work demonstrates exceptional depth in developing decision procedures for complex verification problems previously considered intractable. Dr. Serre's extensive publication record in premier theoretical venues shows consistent contribution to advancing the state of the art. His research trajectory reveals a clear evolution from foundational automata theory toward increasingly sophisticated systems involving higher-order computation and imperfect information, with notable breakthroughs in establishing decidability results for complex verification problems.

پروفایل رسمی دانشگاه

Elvira Patricia Pino Blancoمشاهده پروفایل

استاد

Polytechnic University of CataloniaSpain

Elvira Patricia Pino Blanco is a Professor in the Department of Computer Science at the Barcelona East School of Engineering, Polytechnic University of Catalonia (UPC). She is a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods) and has an extensive publication record spanning over two decades. Her research interests focus on formal methods in computer science, particularly in graph theory, logic programming, and database systems. She has made significant contributions to navigational logics for graphical structures, graph databases, and model synchronization using triple graph grammars. Her work bridges theoretical foundations with practical applications in software engineering and data management. Her publication trends show a consistent focus on graph-based approaches to computational problems, with recent work emphasizing logical approaches to graph databases and navigational query languages. She has published in high-impact venues including Journal of Logical and Algebraic Methods in Programming, Theoretical Computer Science, and various international conferences. Professor Pino Blanco has been involved in numerous competitive R&D projects related to algorithmics, bioinformatics, and formal methods. Her work demonstrates interdisciplinary connections between theoretical computer science and practical applications in data management and software engineering. She is affiliated with the ALBCOM research group which focuses on algorithmics, bioinformatics, complexity theory, and formal methods. This group represents a vibrant research community working at the intersection of theoretical computer science and practical applications.

پروفایل رسمی دانشگاه

Kisung Youمشاهده پروفایل

استادیار

Baruch College, CUNYUnited States

Kisung You is an Assistant Professor in the Department of Mathematics at Baruch College, City University of New York. His research bridges statistics, differential geometry, and computational mathematics to solve complex scientific problems, with specializations in biomedical data analysis and high-performance computing. Research Focus: Development of statistical methods for biomedical data Geometric learning algorithms High-performance computing implementations Open-source statistical software (R packages) His 2025 publications demonstrate applied work in medical AI (npj Digital Medicine) and geometric learning for neuroscience (Scientific Reports). He maintains active GitHub repositories for statistical computing tools.

پروفایل رسمی دانشگاه

Zin Araiمشاهده پروفایل

استاد

Brookhaven National LaboratoryUnited States

Zin Arai is a Professor in the Department of Mathematical and Computing Science at the School of Computing, Institute of Science Tokyo (formerly Tokyo Institute of Technology). He serves as Research Supervisor for JST PRESTO's 'Mathematical Sciences for the Future' initiative. His research centers on dynamical systems using topological and computational methods, with applications spanning chemistry, biology, and engineering. Key research areas include: Dynamical systems theory (Hénon maps, hyperbolic dynamics) Computational topology (Conley index, validated numerics) Interdisciplinary applications (primate social behavior, chemical reaction dynamics) His 15 most recent publications (2007–2025) demonstrate consistent focus on rigorous computational methods, bifurcation analysis, and topological approaches to nonlinear systems. Notable tools developed include programs for parameter space analysis of Hénon maps and tangency verification. As JST PRESTO supervisor, he oversees projects advancing mathematical sciences. No explicit lab affiliation or awards are documented, but his computational work supports broad scientific collaboration.

پروفایل رسمی دانشگاه

Minxue Panمشاهده پروفایل

استاد

Max Planck Institute for Security and PrivacyGermany

Minxue Pan is a Professor and PhD supervisor at the Software Institute, State Key Laboratory for Novel Software Technology, Nanjing University, China. His research focuses on the dependability of complex software systems, with expertise spanning software modeling and verification, software analysis and testing, cyber-physical systems, mobile computing, and intelligent software engineering. Ph.D. in Computer Science and Technology from Nanjing University (2014), supervised by Prof. Xuandong Li B.Sc. from Nanjing University Studied at UC Berkeley's Department of Electrical Engineering and Computer Sciences (2009-2010) under Prof. Edward A. Lee Professor Pan's research interests center on improving software dependability through innovative approaches to modeling, analysis, and testing. His work spans traditional software systems, mobile applications (particularly Android), cyber-physical systems, and the application of AI techniques to software engineering problems. He has made significant contributions to GUI testing, vulnerability detection, and deep learning applications in software engineering. His recent publications (2024-2025) demonstrate a strong focus on applying advanced machine learning techniques to software testing and security challenges. Key trends include leveraging large language models for test migration, enhancing fault localization with graph learning and contrastive learning, developing specialized frameworks for Android security analysis, and improving test efficacy through GUI and functional equivalence. His work consistently targets real-world industrial settings and addresses practical challenges in mobile and complex software systems. ISSTA 2020 Distinguished Paper Award ICSE 2025 Best Artifact Award Professor Pan actively advises graduate students and has developed several notable tools including Q-testing (reinforcement-learning based Android testing), ISDChecker (model checking for interrupt-driven systems), PREFEST (preference-wise testing for Android), Sketchoid (GUI code search), and PI-REC (hand-drawn draft conversion). His research is supported by extensive publication records in top-tier software engineering venues including ASE, ICSE, FSE, ISSTA, and TOSEM. He teaches undergraduate courses in Advanced Programming with C++, Software System Design, and Software Construction, as well as graduate courses in Advanced Software Design. His laboratory work focuses on developing practical solutions for real-world software dependability challenges through the State Key Laboratory for Novel Software Technology.

پروفایل رسمی دانشگاه

María Belén Pérez Lanchoمشاهده پروفایل

استاد

University of SalamancaSpain

María Belén Pérez Lancho is a Full Professor in the Department of Computer Science and Automation at the University of Salamanca, Spain. With over 25 years of academic experience since completing her PhD in 1995, she maintains active affiliations with multiple research groups including BISITE (Bioinformatics, Intelligent Computing Systems and Educational Technology), CaUSAL (Academic Culture, Heritage and Social Memory), and Process Supervision and Control. Dr. Pérez Lancho earned her doctoral degree from the University of Salamanca with her thesis "Integrated process control system: a practical approach" supervised by Dr. Eladio Sanz García. Her academic foundation in systems engineering and automation has evolved into diverse research applications across multiple domains. Her research program demonstrates remarkable breadth while maintaining technical coherence. She has pioneered context-aware multiagent systems for home care environments, developing architectures like HoCa and HoCCAC that monitor patients and optimize task scheduling. In environmental science, she created hybrid intelligent systems for forest fire prediction using Case-Based Reasoning with topology-preserving algorithms. More recently, she has addressed cybersecurity challenges in educational technology through two-factor authentication systems. Her work consistently bridges theoretical computer science with practical implementations in real-world settings. Analysis of her publication trajectory reveals a consistent focus on adaptive intelligent systems that respond to environmental changes. Her earliest work established foundations in systems engineering, which evolved into sophisticated multi-agent applications across healthcare, environmental monitoring, and security domains. The most recent publications continue this trajectory while addressing contemporary challenges in educational technology security. Dr. Pérez Lancho maintains extensive collaborative relationships, particularly with Juan M. Corchado at the University of Salamanca, as evidenced by numerous co-authored publications. Her research has been implemented in actual home care environments and environmental monitoring systems, demonstrating the practical impact of her work. Her research infrastructure includes: BISITE group focusing on intelligent computing systems and educational technology CaUSAL group examining academic culture and heritage Process Supervision and Control group applying her foundational work to industrial contexts These affiliations support her interdisciplinary approach to solving complex problems through computational methods.

پروفایل رسمی دانشگاه