Algebraic Models for Concurrent Systems Professors and Supervisors | ApplySharif

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 331-345 of 378 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Robert SouléView profile

Associate Professor

Yale UniversityUnited States

Robert Soulé is an Associate Professor at Yale University, holding dual appointments in Computer Science and Electrical Engineering. He previously served as an Associate Professor at the Università della Svizzera italiana (USI) in Lugano, Switzerland, and retains an Adjunct Professor position there. Soulé earned his B.A. from Brown University and his Ph.D. from New York University, followed by a postdoc at Cornell University. He is a Senior Member of the ACM and IEEE, and his research has been recognized with best paper awards at DEBS 2012, NSDI 2018, and CoNEXT 2020. His research focuses on computer systems, including networking, distributed systems, databases, and programming languages. Notable contributions include work on in-network computing, programmable data planes, and sustainable networking. He teaches advanced courses on databases, networking, and compilers at Yale and has previously taught at USI and Cornell. Soulé advises a team of PhD students and postdocs, with alumni working in industry and academia. His grants include NSF support for sustainable computing initiatives. He leads research efforts in areas like carbon-aware networking, quantum network specifications, and high-performance RPC systems. His work bridges theory and practice, emphasizing system design and verification. Affiliations: Yale University, USI (Adjunct) Education: Ph.D. (NYU), B.A. (Brown) Grants: NSF funding for sustainable computing Lab/Team: Research group focused on systems and networking innovations

Official University Profile

Luca AcetoView profile

Professor

Graz University of TechnologyAustria

Luca Aceto is a Full Professor at Reykjavik University's Department of Computer Science since 2004. He has held leadership roles, including President of the European Association for Theoretical Computer Science (2012–present) and Head of the Department of Computer Science at Reykjavik University (2007). His research focuses on concurrency theory, logic in computer science, and formal verification. Aceto has received notable awards, including the Reykjavik University Research Award (2012) and induction into the Icelandic Academy of Sciences (2012). Research Interests: Concurrency theory, process algebra, structural operational semantics, modal and temporal logics, and computational complexity of verification problems. Awards: Multiple teaching awards at Aalborg University, Distinguished Dissertation Award (1991), and leadership roles in prestigious academic organizations. Professional Activities: Over 60 program committee roles, co-chairing ICALP and CONCUR, and editorial board memberships. Aceto’s work bridges theoretical foundations with practical verification challenges, contributing to formal methods and concurrency theory. His publications span journals, conferences, and textbooks, including a widely adopted textbook on reactive systems.

Official University Profile

Muffy CalderView profile

Professor

University of GlasgowUnited Kingdom

Dame Muffy Calder is Professor of Formal Methods at the University of Glasgow and Senior Visiting Fellow at CETaS. She previously served as Vice-Principal and Head of the College of Science and Engineering (2015-2025). Her research develops computational modeling and automated reasoning for complex systems, with applications in responsible AI, privacy protection, and national security. She pioneers formal methods for verifying autonomous systems and assessing AI impacts on privacy. Honors include Fellowship of Royal Societies, OBE, and membership in advisory bodies like the Prime Minister's Council for Science and Technology. Her work bridges theoretical computer science and societal challenges in digital technologies.

Official University Profile

George AvruninView profile

Emeritus Professor

University of Massachusetts AmherstUnited States

George Avrunin is an Emeritus Professor in the Department of Mathematics and Statistics at the University of Massachusetts Amherst, and an Adjunct Professor in the Manning College of Information and Computer Sciences. His research focuses on software engineering methodologies for analyzing and verifying distributed systems, human-intensive processes (e.g., medical and election procedures), and high-performance computing. He has pioneered techniques in finite-state verification and formal process modeling to enhance system safety and efficiency. Education: Ph.D. in Mathematics, University of Michigan, 1976 M.A. in Mathematics, University of Michigan, 1974 B.S. in Mathematics, University of Michigan, 1972 Research Interests: Analysis of concurrent systems, formal methods in healthcare processes, election security modeling, and applications of algebraic geometry in verification. His work emphasizes rigorously defined process models to reduce errors in safety-critical domains such as surgery and voting systems. Key Contributions: Developed specification patterns for finite-state verification, led the Western Massachusetts Mathematics Partnership to improve K-16 math education, and contributed to the ACM SIGSOFT Impact Award-winning paper on temporal logic patterns. His research has been funded by NSF, NIH, and other agencies. Awards: 2006 ACM Distinguished Scientist, 2021 ACM SIGSOFT Impact Paper Award (for 1999 work). Grants & Leadership: Served as Associate Head and Head of the Department of Mathematics and Statistics, and led NSF-funded initiatives in education and healthcare process analysis. Currently participates in the Western Massachusetts Mathematics Partnership’s K-16 Professional Learning Communities. Labs/Teams: Collaborates with the Laboratory for Advanced Software Engineering Research (LASER) and contributes to interdisciplinary teams in medical informatics and election security.

Official University Profile

Nobuko YoshidaView profile

Research Fellow

University of GlasgowUnited Kingdom

Nobuko Yoshida is an Honorary Senior Research Fellow at Imperial College London's School of Computing Science. Her research specializes in theoretical computer science with focus areas including formal methods for distributed systems, session types, and process calculi. She investigates computational complexity and verification techniques for concurrent systems. Recent publications demonstrate expertise in: Formal modeling of concurrent processes Reversible computation frameworks Causal relationships in distributed algorithms Type systems for communication protocols

Official University Profile

Natasha SharyginaView profile

Professor

University of Italian SwitzerlandSwitzerland

Natasha Sharygina is a Full Professor of Informatics at the University of Lugano (USI) in Switzerland. She leads the USI Formal Verification and Security group, focusing on improving software and hardware verification through formal methods like model checking and SAT/SMT techniques. Her research emphasizes applying these methods to computer security, electronic design, and program analysis. Education: PhD in Informatics from The University of Texas at Austin (2002). Research Interests: Her work spans formal verification, model checking, SMT-based solvers, and security analysis. She develops theoretical frameworks and practical tools for verifying large-scale systems, with applications in safety-critical and distributed computing environments. Funding & Awards: Her research has been supported by grants from the Swiss National Science Foundation, EU STReP/COST projects, Hasler Foundation, and TASSO Career Award. She has been recognized with the ACM Recognition of Service Award and CMU Technical Excellence Awards. Grants & Projects: Key initiatives include 'Beyond Symbolic Model Checking through Deep Modelling' (2019–2023), EU-funded 'Rich-Model Toolkit', and Swiss TASSO Career Award (2005–2010). She has led efforts in parallel SMT solving and runtime verification. Labs & Teams: Director of the USI Formal Verification and Security Lab, which develops tools like Golem (CHC solver) and OpenSMT (SMT solver). Collaborates globally on projects like SAFARI and FunFrog for program verification.

Official University Profile

Daniel RakitaView profile

Assistant Professor

Yale UniversityUnited States

Dr. Daniel Rakita is an Assistant Professor of Computer Science at Yale University, specializing in robotics and human-robot interaction. His research focuses on developing real-time motion planning algorithms and intuitive shared-control interfaces to enable robots to safely assist humans in critical tasks such as healthcare, disaster relief, and manufacturing. He holds a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison. His work integrates robotics, machine learning, and human factors to create end-to-end solutions for robot manipulation. Key contributions include RelaxedIK (real-time collision-free motion synthesis) and CollisionIK (per-instant pose optimization). His research also explores teleoperation systems and adaptive viewpoints for remote control in complex environments. Education: Ph.D./M.S., University of Wisconsin-Madison (Computer Science) Affiliations: School of Engineering & Applied Science, Yale University Labs/Teams: Robotics and Human-Computer Interaction research groups at Yale His publications span top venues like Robotics: Science and Systems (RSS), ICRA, and HRI. Notable awards include the Microsoft PhD Fellowship (2019-2021) and Best Paper Awards at HRI 2018. Current projects emphasize diffusion policies for manipulation learning and optimization-based motion generation frameworks.

Official University Profile

Lars BirkedalView profile

Professor

InriaFrance

Lars Birkedal is a Professor in the Department of Computer Science at Aarhus University, Denmark. He is a leading researcher in programming languages and formal methods with extensive contributions to the field over the past decade. His work appears consistently in top-tier programming languages conferences including POPL, ICFP, and PLDI, where he has served in leadership roles such as Program Chair and committee member. Birkedal's research primarily focuses on the theoretical foundations of program verification, with significant contributions to separation logic, type theory, and formal methods for concurrent and probabilistic systems. His work bridges theoretical computer science with practical verification challenges, particularly through the development and application of the Iris framework for higher-order concurrent separation logic. He has pioneered approaches for reasoning about probabilistic programs, capability-based security, and memory models for modern architectures. Analysis of Birkedal's recent publications (2023-2025) reveals a continued focus on advancing separation logic for increasingly complex systems. His work shows a clear trajectory from foundational theoretical work toward practical verification of real-world systems like WebAssembly while maintaining rigorous formal guarantees. There's a notable emphasis on probabilistic programming, error bounds analysis, and distributed systems verification in his most recent contributions. As a faculty member at Aarhus University, Birkedal has built a strong research group focused on programming language theory and formal verification. His leadership in the programming languages community is evident through his repeated service on program committees for major conferences and his mentorship of numerous graduate students and junior researchers, though specific student names aren't listed in the available information. His research has likely been supported by significant grants from Danish and European funding agencies, given the sustained output and international collaborations evident in his publication record.

Official University Profile

Alexandra SilvaView profile

Professor

InriaFrance

Alexandra Silva is a Professor of Computer Science at Cornell University, with a research group partially based at University College London (UCL) where she previously held a Royal Society Wolfson Fellowship. She is deeply involved in academic leadership, serving on program committees for conferences like ECOOP and POPL, and organizing workshops at venues such as VMCAI and PLDI. Her research spans formal methods, probabilistic programming, and coalgebraic modeling, with applications in network verification and concurrent systems. Key Research Themes: Kleene Algebra with Tests (KAT), coalgebraic semantics, probabilistic program verification, network control plane analysis, and categorical approaches to formal methods. Collaborations: Active collaborations with institutions including Cornell, UCL, University of Leicester, and INRIA Rhone-Alpes. Scientific Awards: Distinguished Paper Award at POPL 2020 Advising: Currently advising eight PhD students, including Tiago Ferreira and Noam Zilberstein, with a broader team of postdocs, alumni, and collaborators.

Official University Profile

Elsa L GunterView profile

Research Professor

InriaFrance

Elsa L Gunter is a Research Professor and Senior Lecturer at the University of Illinois at Urbana-Champaign's Department of Computer Science. Her academic background includes a Ph.D. in Mathematics from the University of Wisconsin, Madison. She leads research in formal methods, programming languages, and human-computer systems. Research Interests: Her work spans formal verification, programming language semantics, automated theorem proving, and security. She develops tools for compiler optimization verification, human-automation system safety, and concurrent program analysis. Key projects include the VeriF-OPT framework for parallel program transformations and Tutela for human-computer system protection analysis. Publications Focus: Her recent research emphasizes compiler verification, concurrency models, and human-system interaction. Work includes symbolic analysis for CSP, dependently-typed session systems, and robustness verification for safety-critical interfaces. Awards: Most Influential 10 Year Paper award at Requirements Engineering (RE 2010) EASST Best Software Science Paper at ETAPS 2001 Best Paper award at Fourth International Conference on Requirements Engineering (2000) Funding and Labs: Secured NSF grants for projects on parallel program verification ($450K) and human task analysis ($500K). Leads the Formal Methods and Verification Lab, collaborating with NASA on NextGen aviation systems. Student Advising: Mentored 7 PhD graduates and 12+ Master's students. Current PhD candidates work on secure distributed programming (Dennis Griffith) and formal methods for concurrent systems (Liyi Li, Susannah Johnson).

Official University Profile

Étienne AndréView profile

Professor

Western Norway University of Applied SciencesNorway

Étienne André is a Full Professor at Université Sorbonne Paris Nord , affiliated with the Institut Galilée and the Laboratoire d’Informatique de Paris Nord (LIPN) . He leads the SAFER research team and has previously held professorial positions at Université de Lorraine . His work bridges formal verification and real-world applications in cyber-physical and distributed systems. PhD from ENS Cachan (2010) Postdoc at National University of Singapore (2010–2011) Associate Professor at Université Sorbonne Paris Nord (2011–2019) Full Professor at Université de Lorraine (2019–2022) Full Professor at Université Sorbonne Paris Nord (2022–present) His research centers on formal verification of concurrent and real-time systems, with a focus on parametric timed model-checking . He investigates how systems behave under timing uncertainty and develops methods to synthesize safe timing parameters. His work extends to monitoring cyber-physical systems and detecting side-channel attacks using quantitative formal methods. He is a strong advocate for sustainable research , minimizing carbon footprint through reduced air travel. The recent publications reflect a consistent trajectory in parametric verification , real-time systems , and model checking , with increasing emphasis on distributed and probabilistic approaches. His tools like IMITATOR and InSPEQTor enable practical application in industrial and academic settings. PhD Award, Académie Lorraine des Sciences (2024) Étienne André has supervised several PhD students and postdoctoral researchers. He leads major research projects such as ProMiS , MoCcA , and PACS , funded by ANR, PHC, and other international agencies. His collaborative work spans France, Singapore, Poland, and Japan. He is deeply involved in the formal methods community, serving on steering committees for SynCoP and Petri Nets , and organizing conferences such as ETAPS and ICFEM . He has participated in over 30 program committees, including FORTE , TACAS , and HSCC .

Official University Profile

Jan Friso GrooteView profile

Professor

Eindhoven University of TechnologyNetherlands

Jan Friso Groote is a Full Professor and Chair of the Formal System Analysis group in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He also holds professorial roles in the EAISI Foundational and EAISI High Tech Systems institutes. Since 2016, he has been working part-time at ASML, contributing his expertise in formal verification to industrial applications. Education: Born in 1965, studied Computer Science at Twente University of Technology (now University of Twente), 1983–1988. PhD in 1991 from the University of Amsterdam with thesis 'Process algebra and structured operational semantics', based on research at CWI (Centrum Wiskunde en Informatica). Jan Friso Groote is a leading researcher in formal methods and software verification. His work focuses on enabling the development of flawless software through rigorous formal analysis. Key research areas include structural operational semantics, model checking, branching bisimulation, protocol verification, and the development of the mCRL2 toolset. His current goal is to integrate formal techniques into complete software system design, improving both development speed and quality. His research has demonstrated that formal methods can reduce development time by a factor of three and increase quality tenfold, with potential for zero-defect software. His recent publications demonstrate sustained contributions in formal verification, including work on mutual exclusion algorithms, industrial control system modeling, probabilistic systems, and efficient bisimulation algorithms. The articles span topics such as tunnel control systems, simulation lower bounds, and formal methods for critical systems, reflecting both theoretical depth and practical application. Scientific Awards: Best Paper Award FACS 2018 FMICS-AVoCS Best Paper Award (2017) Jan Friso Groote has held significant leadership roles in education, including Director of Education for Computer Science (2000–2010) and for multiple bachelor’s and master’s programs. He has advised numerous researchers and supervised a large body of research output (over 320 publications). He leads the Formal System Analysis group and has been involved in projects such as 'Composable Embedded Systems for Healthcare'. His work bridges academia and industry, particularly through collaborations with ASML and Rijkswaterstaat, and he has been a visiting researcher at institutions across Europe and China. He is a key contributor to the mCRL2 toolset, which supports modeling and verification of software behavior with data, time, and probabilities. His research fingerprints highlight strong expertise in model checking, transition systems, software design, and process algebra. He teaches courses such as System Validation, Embedded Software, and Capita Selecta in Formal System Analysis.

Official University Profile

Wan J. FokkinkView profile

Professor

Eindhoven University of TechnologyNetherlands

Wan J. Fokkink is a Full Professor ("Professor") at Eindhoven University of Technology (TU/e) in the Faculty of Mechanical Engineering , specifically the Control Systems Technology Group. He also holds a concurrent position as Professor of Theoretical Computer Science at Vrije Universiteit Amsterdam since 2004. His research bridges mechanical engineering and computer science, focusing on formal methods for software development in civil infrastructure and logistics. Education : MSc in Mathematics (1990, University of Amsterdam); PhD in Computer Science (1994, University of Amsterdam) Professional Affiliations : Embedded Systems Group (CWI, 2000-2004); Part-time Professor on Stochastic Design (TU/e, 2012-2016); Co-founder and former vice-chair, IFIP Working Group 1.8 His research interests include: Automated synthesis of safety-critical control software using formal methods Verification of communication protocols and distributed algorithms Application of process algebra and modal logic to real-world systems Model-based development of PLC code for civil engineering structures (bridges, dams, tunnels) Collaboration with semi-industry partners like Rijkswaterstaat and Vanderlande Industries Recent research trends show interdisciplinary focus on: Supervisory control theory applied to logistics and civil infrastructure Abstraction techniques in cyber-physical systems Optimization and fault-tolerance in automated control He actively contributes to UN Sustainable Development Goals through applications in smart infrastructure.

Official University Profile

Pascale Le GallView profile

Researcher

CentraleSupélecFrance

Pascale Le Gall is an active researcher specializing in formal methods and computer science, with primary research conducted through the Mathematics and Computer Science for Complexity and Systems laboratory. Their work spans theoretical computer science, software engineering, and interdisciplinary applications in biological systems modeling. Le Gall's research focuses on formal verification techniques, particularly in conformance testing, symbolic execution, and graph transformations. Their work bridges theoretical computer science with practical applications in distributed systems verification, geometric modeling, and biological network analysis. Key research themes include developing frameworks for stochastic process discovery, feature interaction resolution, and topological operations in geometric modeling, demonstrating both theoretical depth and practical implementation value across multiple domains. Analysis of their recent publications reveals a strong trend toward interdisciplinary applications of formal methods, particularly in biological systems. Their work increasingly integrates statistical approaches with traditional formal verification techniques, as seen in Bayesian inference for process discovery and statistical model checking of biological pathways. The research shows consistent development of symbolic execution techniques applied to increasingly complex systems, from abstract data types to distributed biological networks. Pascale Le Gall maintains active collaborations with researchers including Christophe Gaston, Marc Aiguier, and Paolo Ballarini across multiple projects. Their publication record shows consistent output with significant contributions to model-based testing frameworks, geometric modeling using graph transformations, and formal analysis of biological systems. The researcher has contributed to both theoretical foundations and practical implementations of verification techniques, with numerous conference papers and journal articles spanning over 15 years of active research.

Official University Profile

Emanuela MerelliView profile

Professor

University of CamerinoItaly

Emanuela Merelli is a Full Professor of Computer Science at the University of Camerino. She leads the BioShape & Data Science Lab, established during her coordination of the EU-FET Project TOPDRIM, which focuses on topology-driven methods for complex systems. Her research integrates formal methods, algebraic topology, and data science to study biological systems like RNA folding and immune responses. She has held a Fulbright Fellowship at the University of Oregon (2005) and remains active in European academic initiatives. Research Interests: Interactive computation, topological field theory of data (TFTD), foundations of learning processes, cell cycle analysis in somatic/cancer cells, and complex systems modeling. Her work bridges theoretical computer science with systems biology, emphasizing topological approaches to data analysis. Awards: Fulbright Fellow (2005), Fellow Member of COST Action CA19122 EUGAIn (promoting gender balance in informatics). She contributes to the European Association for Theoretical Computer Science (EATCS) through leadership roles and educational initiatives. Professional Activities: Promotes open-access publications, organizes international conferences (e.g., ICALP 2022), and develops educational programs like the EATCS Young Researchers School on Complexity and Concurrency. Her work also extends to smart housing technologies for elderly care (Progetto SIAMADA) and seismic engineering applications. Labs & Projects: Leads BioShape Lab exploring topological methods in biology and data science. Coordinates EU-funded projects on RNA structure analysis and complex systems.

Official University Profile