Recursive Programs Professors and Supervisors

Andrzej Murawskiمشاهده پروفایل

استاد

University of OxfordUnited Kingdom

Professor Andrzej Murawski is a Tutorial Fellow at Worcester College , affiliated with the University of Oxford Department of Computer Science . His research spans the semantics of programming languages , automata theory , and software verification , integrating game semantics and probabilistic computation for modeling complex systems. Education: D.Phil., University of Oxford (2001) His work addresses higher-order recursion , concurrent programs , and probabilistic verification , including differential privacy and machine learning applications. Recent publications focus on reachability analysis , contextual equivalence , and automata over infinite alphabets . Key activities include organizing SIGLOG (Vice-Chair), editing SIGLOG News , and serving on LICS , POPL , and CONCUR program committees. Awards include the POPL 2025 Distinguished Paper Award . Students : Current advisees include Benedict Bunting and Haoxuan Yin; past students include Fabian Zaiser and David Hopkins.

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

James Patersonمشاهده پروفایل

مدرس ارشد

Glasgow Caledonian UniversityUnited Kingdom

Dr. James Paterson serves as a Senior Lecturer in the Department of Computing at Glasgow Caledonian University, where he has established himself as a prominent figure in computer science education research. His work spans multiple domains including computational thinking development, educational tool design, and the application of computing principles to logistics and vocational training. Dr. Paterson's research interests center on innovative approaches to computing education, with particular focus on computational thinking development through embodied activities , design patterns for teaching programming concepts , and cloud computing applications in educational settings . His work bridges theoretical computer science with practical educational applications, often exploring how visualization tools and physical activities can enhance learning outcomes for students at various levels. His publication record shows increasing productivity in recent years, with significant contributions in 2024-2025 spanning logistics data integration frameworks, computational thinking pedagogy, technology adoption in higher education, and adult apprenticeship motivations. These works demonstrate his ability to connect computing education with real-world applications across multiple disciplines. Dr. Paterson actively contributes to the academic community through service roles including: Chair of the 29th Annual Conference on Innovation and Technology in Computer Science Education (2024) Peer reviewer for ACM Transactions on Computing Education Invited speaker at numerous international conferences including Computing at School Scotland and EMIP'17 Spring Academy As a Co-Investigator on the Advanced Logistics Data Integration project with JOHN G. RUSSELL (TRANSPORT) LIMITED, he applies computing expertise to practical industry challenges, demonstrating the real-world impact of his research. His work aligns with UN Sustainable Development Goals, particularly those related to quality education and sustainable industry practices.

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

Grzegorz Fotygaمشاهده پروفایل

دانشیار

Gdańsk University of TechnologyPoland

Dr. hab. inż. Grzegorz Fotyga serves as an Associate Professor in the Department of Microwave and Antenna Engineering at the Faculty of Electronics, Telecommunications and Informatics, Gdańsk University of Technology. His academic position places him within one of Poland's leading technical universities with a strong focus on engineering and applied sciences. Professor Fotyga's research spans multiple domains within electrical engineering and signal processing. His primary research interests include microwave engineering, signal processing algorithms, wireless communication systems, and optimization techniques for high-frequency applications. His work demonstrates particular expertise in developing novel algorithms for signal detection and analysis, with recent applications in drone signal identification and wireless body area networks for healthcare applications. The analysis of his recent publications (2022-2024) reveals a strong research trajectory focused on practical applications of signal processing and microwave engineering. His work bridges theoretical algorithm development with real-world implementation, particularly evident in his research on drone signal detection systems and wireless networks for disease prevention. The publications demonstrate consistent collaboration with colleagues at Gdańsk University of Technology across multiple projects. Professor Fotyga maintains an active research program with five documented publications in the last two years across reputable journals including IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES and SENSORS. His research shows a clear progression from fundamental microwave engineering topics toward more applied security and healthcare applications of wireless technologies.

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

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.

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

Eric Ruggieriمشاهده پروفایل

استاد

College of the Holy CrossUnited States

Eric Ruggieri is a Professor and Chair of the Mathematics & Computer Science Department at College of the Holy Cross. His academic career spans statistical research with applications in climate science, computational biology, and medical research. Dr. Ruggieri's educational background includes: Ph.D. in Applied Mathematics from Brown University (2010) Sc.M. in Applied Mathematics from Brown University (2006) B.A. in Mathematics and Computer Science from Providence College (2005) His primary research focuses on Bayesian statistics , particularly change point models and variable selection techniques. Dr. Ruggieri has made significant contributions to the identification of change points in climatic time series, where a change point acts as a regime boundary indicating shifts in the climate system. His work has examined major transitions in Earth's climate history, including the formation of permanent Northern Hemisphere glaciers around 2.7 million years ago and the shift in glacial melting cycles from 40,000 to 100,000 years approximately 1 million years ago. He has developed computationally efficient algorithms for change point detection that address the exponential growth in potential solutions as dataset size increases. Beyond climate applications, his research extends to medical statistics, including studies on hospital-onset bloodstream infections in ICU settings, and he maintains a strong interest in sports statistics as both a research area and teaching tool. Dr. Ruggieri's publication record demonstrates a consistent focus on developing and applying statistical methodologies to real-world problems. His work shows a progression from theoretical developments in Bayesian change point detection and variable selection to diverse applications across climate science, medical research, and sports analytics. The majority of his publications appear in high-impact statistics and climate journals, reflecting the interdisciplinary nature of his research. Dr. Ruggieri has been actively involved in mentoring undergraduate students, particularly in sports statistics projects. As Department Chair, he demonstrates leadership within the academic community while maintaining an active research program. His work with NOAA climate data shows engagement with important contemporary issues like global temperature anomaly analysis.

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

Georg Zetzscheمشاهده پروفایل

پژوهشگر

IMDEA Software InstituteSpain

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group , focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory , with applications to program analysis and concurrent systems .

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

Guilhem Jaberمشاهده پروفایل

دانشیار

IMDEA Software InstituteSpain

Guilhem Jaber is an Associate Professor at University of Nantes , affiliated with the Gallinette team in the LS2N research laboratory . His work focuses on operational game semantics, contextual equivalence, and formal verification of higher-order programs with computational effects. Research Grants RECIPROG (2021-2025): ANR PRC Project, local coordinator CAVOC (2021-2025): Inria-Nomadic Labs agreement, project investigator CANofGAS (2022-2025): Inria Exploratory Action, co-investigator Scientific Awards Distinguished Paper Award at ICFP'21 Supervision Axel Kerinec: Postdoc on CANofGAS project Hamza Jaafar: PhD on CAVOC project Peio Borthelle: PhD co-advised with Beniamino Accattoli His research bridges game semantics with operational techniques, particularly for algebraic effects, parametric polymorphism, and separation logic. He actively participates in program committees for POPL, GALOP, and HOPE workshops.

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

Hiroshi Unnoمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Hiroshi Unno is a Professor at Tohoku University 's Research Institute of Electrical Communication and a Visiting Professor at the National Institute of Informatics. He has served on program committees for major conferences like POPL , PLDI , ICFP , and CAV . Dr. Unno's research focuses on Programming Languages Software Verification Artificial Intelligence Higher-Order Model Checking Refinement Type Systems Temporal Logic His recent work (2023-2025) includes advancements in algebraic effects , probabilistic program verification , and prophecy-based type systems . Key contributions appear in POPL , PLDI , and ICFP journals. Scientific awards include Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 PPL 2014 Best Paper Award He leads development of tools like RCaml , Thrust , and EffCaml for refinement type checking. Current projects involve Kakenhi grants 20H04162 and 25H00446 . Dr. Unno actively contributes to academic communities through Program Committee roles at AAAI, CAV, and SAS Editorial work for IPSJ Transactions Organizing PPL Summer School (2022)

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

Daniele Nantes-Sobrinhoمشاهده پروفایل

استاد مدعو

IMDEA Software InstituteSpain

Daniele Nantes-Sobrinho is a tenured Adjunct Professor at the Department of Mathematics, University of Brasília, currently on sabbatical leave. She concurrently serves as a Research Fellow at Imperial College London. She obtained her Ph.D. in Mathematics from the University of Brasília in 2013, with research focused on equational unification in security protocol analysis. Education: Ph.D. in Mathematics, University of Brasília, 2013 Research Interests: Her work develops mathematical structures and logical foundations for modeling, specifying, and verifying critical systems. Core areas include: Formal Methods, Separation Logic, Verification, Logical Methods for Computer Science, Rewriting, Unification, Nominal Techniques, Security Verification, and Behavioral Types. Publications: Her 15 most recent articles (2018-2023) cluster around Formal Methods, with emphases on Nominal Techniques, Concurrency, Unification/Algorithms, and Verification. Trends show increasing focus on non-determinism in concurrent systems and certified unification algorithms. Student Advising: Current MSc Students: Daniella Santaguida Magalhães, Gabriela de Souza Ferreira, Leonardo Melo Batista, Ali Khãn Ribeiro Former Students: Bruno Falcão (Undergraduate), Vinícius Sugimoto (Undergraduate), Andrés Gonzalez (MSc), Deivid Vale (MSc), Bruno Delboni (MSc) Affiliations: Member of the Theoretical Computer Science Group (GTC-UnB) and external collaborator for the VIDI project Unifying Correctness for Communicating Systems .

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

Steve Zdancewicمشاهده پروفایل

استاد

IMDEA Software InstituteSpain

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

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

Vasilisa Shramchenkoمشاهده پروفایل

استاد

University of SherbrookeCanada

Vasilisa Shramchenko serves as Full Professor and Associate Director of Graduate Studies and Research in the Department of Mathematics at the University of Sherbrooke. Her work bridges advanced algebraic geometry with mathematical physics, focusing on structural frameworks governing complex systems. Educational background: Master of Science in Mathematics, St. Petersburg State University (2000) Ph.D. in Mathematics, Concordia University (2005) Her research program integrates Frobenius manifolds, integrable systems, and Riemann surface theory through the lens of isomonodromic deformations and Riemann-Hilbert problems. Key contributions include foundational work on Hurwitz spaces, Painlevé equations, and Eynard-Orantin topological recursion, revealing deep connections between algebraic curves, moduli spaces, and differential equations. This interdisciplinary approach extends to combinatorial enumeration and quantum field theory applications. Publication trends indicate sustained focus on algebro-geometric methods for solving nonlinear systems, with recent work emphasizing cluster algebras and superelliptic curve structures. Her output consistently appears in high-impact journals spanning mathematical physics and pure mathematics. Scientific recognition: No awards explicitly documented in source material Administrative leadership in graduate studies complements her research role, though specific grant funding or advisee information remains unreported. She actively contributes to the Algebraic and Geometric Structures Research Team and the Sherbrooke Mathematics Circle, fostering collaborative exploration of mathematical frontiers.

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

Guillaume Mercereمشاهده پروفایل

استاد

National Graduate School of Mechanics and AerotechnicsFrance

Guillaume Mercere is a Full Professor in Automatic Control and Systems at ENSIP (Ecole Nationale Supérieure d'Ingénieurs de Poitiers), University of Poitiers. He maintains dual affiliations with Laboratory LIAS at both ENSIP in Poitiers and ISAE-ENSMA in Chasseneuil, conducting research in system identification and control theory. Professor Mercere teaches automatic control and signal processing at the Master's level, with additional expertise in numerical optimization, machine learning, and time series analysis. His teaching materials are available upon request, reflecting his commitment to educational transparency. Research Focus: Model learning, system identification, estimation theory, state space modeling, gray box modeling, linear parameter varying (LPV) systems, linear fractional representation (LFR), and subspace-based methods Application Areas: Electrical engineering, aeronautics, heat transfer, flexible/cable-driven manipulators, vehicle tire/road interactions, and image processing Analysis of his recent publications reveals a strong emphasis on recursive estimation methods (particularly total least squares), theoretical developments in LPV system representations, predictive control methodologies, and noise covariance estimation for Kalman filtering. His work bridges theoretical advances in identification methodologies with practical applications across multiple engineering domains, demonstrating both depth and breadth in his research program. Professor Mercere leads the Automatic Control Team at Laboratory LIAS, where he collaborates with researchers on theoretical and applied projects. His research group focuses on developing identification methodologies with practical implementation in real-world engineering systems, maintaining an active publication record through 2025 that demonstrates ongoing contributions to the field of system identification and control engineering.

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

Danielle Landryمشاهده پروفایل

پژوهشگر

Toronto Metropolitan UniversityCanada

Danielle Landry serves as a Research Associate with the Canada Excellence Research Chair (CERC) in Health Equity and Community Wellbeing at Toronto Metropolitan University's Faculty of Community Services. She has taught Mad Studies and Disability Studies courses at TMU since 2014 and developed Centennial College's inaugural Disability Studies course in 2019, demonstrating deep institutional integration across Ontario post-secondary education. Education: PhD (ABD), York University MA, York University Landry's research centers on Mad studies and disability justice through feminist political economy and institutional ethnography frameworks. Her community-engaged scholarship examines how social determinants of health impact marginalized populations, particularly psychiatric survivors and people with disabilities. She actively bridges academic research with activist movements, focusing on labor precarity, mental health policy, and decolonial approaches to wellbeing. Her work consistently challenges institutional norms while amplifying lived experience narratives. Recent publications reveal evolving themes: early work established foundations in survivor-led research and critical psychiatry, while current output emphasizes pedagogical innovation in Mad-positive education, labor rights for disabled workers, and digital archiving of disability activism. Her scholarship increasingly intersects with Indigenous health perspectives and digital health methodologies, reflecting the CERC's multidisciplinary research streams on social determinants and community wellbeing. Scientific Awards: Hewton-Griffin Archival Research Award (2024) Wilhelm Cohnstaedt Social Justice Award (2020) Dean’s Teaching Award (2019) Ontario Graduate Scholarship (2019) Joseph-Armand Bombardier Canadian Graduate Scholarship (2015-2018) St. George’s Society Endowment (2013) Landry secured SSHRC doctoral funding and Hewton-Griffin support for building Madness Canada's digital archive of psychiatric survivor businesses. As a core CERC member, she contributes to federally funded projects examining health equity, Indigenous wellbeing, and digital health access. Her teaching grants include curriculum development initiatives that established foundational Disability Studies programming across institutions. She actively collaborates within the CERC's ecosystem including the Internal Governance Group, Global Advisory Research Governance Group, and IDEA Global Research Innovation Advisory Group. Her current flagship initiative—the Madness Canada digital archive—documents decades of psychiatric consumer/survivor advocacy while partnering with community organizations to ensure research sovereignty and knowledge mobilization.

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