Find Academic Supervisors

• Parallel Functional Programming
• Parallel Symbolic Computation
• Resource Analysis and Control
• +4 more

Dr. Patrick Maier is a Lecturer in Computing Science at the University of Stirling's Division of Computing Science and Mathematics. His research focuses on parallel computing, including parallel functional programming, symbolic computation, and resource analysis. He has contributed to projects such as AJITPar (2013-2017), HPC-GAP (2009-2013), and MOBIUS (2006-2009). His work spans parallel algorithm frameworks (e.g., YewPar), high-performance computing systems, and formal methods in software verification. Research interests include parallel functional programming, symbolic computation optimization, temporal logic, and compositional verification. Notable publications cover neuromorphic vision systems, antibiotic dosing optimization, scalable combinatorial search, and fault-tolerant functional computation. Collaborations include work on distributed memory parallel Haskell (HdpH) and formal verification techniques for resource management. He is affiliated with the Data Science and Intelligent Systems, and Computational Mathematics and Optimisation research groups. His recent work emphasizes reproducible parallel search algorithms and interdisciplinary applications like computational biology and neuromorphic engineering.

Hans VandierendonckView profile

Professor

• High-Performance Computing
• Runtime Systems
• Compilation
• +7 more

Hans Vandierendonck is a Professor in High-Performance and Data-Intensive Computing at Queen’s University Belfast’s School of Electronics, Electrical Engineering and Computer Science. His research focuses on compilers, runtime systems, and architectures for parallel systems, with special attention to programmability, cache architecture, and performance evaluation. He has authored over 150 publications and supervised multiple PhD students, including Jiawen Sun, a finalist in the EPSRC Connected Nation Pioneers competition. His work spans compiler optimization, graph processing, transprecision computing, and blockchain technology. He is a Senior Member of IEEE and ACM, an IEEE Computer Society Distinguished Contributor (2023), and a Fellow of the Higher Education Academy. He has held visiting roles at FORTH, INRIA, and the Universitat Politècnica de Catalunya. His projects include the RELAX Doctoral Network and the Kelvin Living Lab for Net Zero HPC. He teaches courses on energy-efficient computing, concurrent programming, and research projects at both BSc and MSc levels. Key research interests include runtime systems, high-performance computing, energy efficiency, and scalable algorithms for data analytics. His awards include the IBM Belgium Prize (2000, 2004) and Jozef Plateau Prize (2000). He actively reviews for top journals and conferences, including ISCA, SC, and ICS. As part of the LINAS network, he explores interdisciplinary algorithmic solutions for societal impact. His current projects address challenges in graph processing, edge computing, and sustainable wearable systems. Collaborations span academia and industry, reflecting his commitment to bridging theoretical and applied computing.

• Model-Driven Development
• Machine Learning in Software Engineering
• Software Testing
• +7 more

Nafiseh Kahani is an Assistant Professor in the Department of Systems and Computer Engineering at Carleton University's Faculty of Engineering and Design. She leads the RavenSoft Research Lab and supervises undergraduate and MEng research projects in software engineering. Her service roles include Software Engineering Program Coordinator (2023–present), ECOR1055B Coordinator (2023–present), and Chair of the Women in Engineering (WIE) Affinity Group (2018–present). Research Interests: Model-Driven Development: Focus on automated synthesis and verification of software models. Machine Learning in Software Engineering: Application of ML techniques to testing, code analysis, and refactoring. Software Testing & Quality Assurance: Test case prioritization, continuous integration, and runtime monitoring. Software Security: Detection and mitigation of vulnerabilities through static and dynamic analysis. Code Smell Detection and Refactoring: Tools and methodologies for improving software maintainability. Her research integrates empirical methods with practical tool development, as evidenced by projects such as CodeSmell, CodeViz, CodeCleanse, IntelliReq, and automated instrumentation and monitoring systems. Scientific Awards: Queen’s School of Computing PhD Research Achievement Award (2019) IEEE PhD Research Excellence Award Advising and Grants: Dr. Kahani actively mentors undergraduate students through research assistantships, I-CUREUS internships, and NSERC USRA awards. She supervises Capstone (SYSC 4907) and MEng projects, encouraging student participation in cutting-edge software engineering research. Though specific grants are not listed, her involvement in NSERC USRA indicates active participation in federally funded undergraduate research programs. Labs and Teams: She leads the RavenSoft Research Lab , which focuses on innovative software engineering tools and methodologies. The lab supports a collaborative environment for students to engage in projects involving program analysis, visualization, test automation, and AI-driven software development.

Giles RegerView profile

Senior Lecturer

• Automated Theorem Proving
• Runtime Verification
• Formal Methods
• +3 more

Giles Reger is a Senior Lecturer in the School of Computer Science at the University of Manchester, where he leads research in the Formal Methods Group. His academic background includes a BA in Computer Science from the University of Cambridge (2009), an MSc in Advanced Computer Science from the University of Manchester (2010, Highest Achiever Award), and a PhD from Manchester (2014) on Automata-based monitoring and mining of execution traces . Research interests focus on: Theorem Proving : Core developer of the Vampire first-order ATP system, working on performance extensions and collaborative proving techniques Runtime Verification : Creator of the MarQ monitoring tool and organizer of the International Runtime Verification Competition Formal Methods : Applications in program verification, specification mining, and temporal logic Publications emphasize automated reasoning, verification tools, and temporal specification languages, with recent work exploring neural-guided theorem proving and higher-order unification. His group consistently publishes at top venues like CADE, TACAS, and RV. Awards include: Multiple division wins in SMTCOMP/CASC theorem proving competitions (2016-2020) FLoC Olympic Games medals for Vampire contributions (2018) Advises PhD students including Michael Rawson (neural-guided proving) and Joshua Dawes (runtime verification). Leads the £1.3M EPSRC-funded SCorCH project (Secure Code for Capability Hardware) with Oxford/ARM/AWS. Coordinates the COST Action on Runtime Verification Beyond Monitoring.

Manuel SerranoView profile

Professor

• Programming Languages
• Compiler Design
• Web Programming
• +7 more

Manuel Serrano is a senior research scientist at Inria (French Institute for Research in Computer Science and Automation) affiliated with University of Côte d'Azur, based at the Sophia Antipolis research center in the indes team. He has been active in the programming languages research community since at least 2000, serving in numerous leadership roles across major conferences. His research focuses on programming languages, particularly JavaScript and Scheme implementations, compiler design for dynamic languages, web programming, and synchronous reactive programming. His work bridges theoretical language design with practical implementation concerns, with a strong emphasis on performance optimization of dynamic languages. He has made significant contributions to the understanding and improvement of JavaScript compilation techniques, particularly through his work on ahead-of-time compilation. His publication record shows consistent output in top venues including PLDI, OOPSLA, ICFP, and ECOOP, with a recent focus on JavaScript optimization, sealed classes, type system verification, and synchronous reactive programming through his HipHop.js language. His work demonstrates a progression from foundational Scheme compilation (Bigloo) to modern web technologies and JavaScript optimization. He has served as General Chair for the Programming conference in 2018, Program Co-Chair for Programming 2024-2025, and is currently serving as PC Chair for ICFP 2026. His conference service spans over two decades across numerous programming language venues including ICFP, SPLASH, ECOOP, and specialized workshops on Scheme and dynamic languages. As a creator of multiple programming tools and languages, he has developed Bigloo (an optimizing Scheme compiler), Hop (a language for web 2.0 programming), HipHop (an asynchronous programming language), and Flyspell (an on-the-fly Emacs spell checker). His Cold project with University of Montreal focuses on compilation and optimization techniques for dynamic languages like JavaScript and Python.

Tobias WrigstadView profile

Professor

• Type Systems
• Reference Capabilities
• Programming Languages
• +2 more

Tobias Wrigstad is a faculty member at Uppsala University, Sweden, with research interests spanning type systems, reference capabilities, programming language design, scripting languages, and concurrent/parallel programming. His work focuses on memory management, concurrency safety, and language extensions for performance optimization. Education: Not explicitly mentioned in provided data Research Interests: Designing type systems to enforce concurrency safety and memory correctness Reference capabilities for manual and automatic memory management Actor model programming and garbage collection co-design Cache locality optimization without program restructuring Formal verification of language designs using Dafny Recent Publications (2025-2015): Explore concurrency safety through region ownership Develop parallel array programming models in Kappa Investigate energy-efficient garbage collection Design capability-based dynamic languages for data race freedom Create formal models for heap invariants and incorrectness Optimize memory allocation via load barriers Conference Involvement: 2025: IWACO Committee Member, OOPSLA Associate Chair 2024: Program Co-Chair for IWACO, Author in VIMPL, MPLR, ISMM 2023: SPLASH Steering Committee, ECOOP PC Member 2022-2015: Active in PLDI, ECOOP, ICFP, and related workshops

Ezio BartocciView profile

Professor

• Cyber-Physical Systems
• Formal Methods
• Runtime Verification
• +5 more

Univ. Prof. Dr. Ezio Bartocci is a Professor at TU Wien, leading the Forschungsbereich Cyber-Physical Systems . His research focuses on formal methods, runtime verification, and probabilistic systems in Cyber-Physical Systems (CPS). He leads projects like 'Distribution Recovery for Invariant Generation of Probabilistic' and 'Trustworthy IoT for CPS'. Key interests include specification mining, probabilistic hyperproperties, and developing tools like MoonLight for spatio-temporal monitoring. Recent work explores reinforcement learning ethics, neural network verification, and adaptive testing frameworks. His contributions span conferences such as HSCC and RV, with notable publications on parameter synthesis, fault localization in CPS, and moment-based analysis of probabilistic loops. Research Interests : Cyber-Physical Systems (CPS) design and validation Formal specification and verification techniques Probabilistic systems and hyperproperties Runtime monitoring and adaptive testing Neural networks and ethical AI Labs/Teams : Active in TU Wien's Cyber-Physical Systems research unit, collaborating with industry and academia on CPS security and autonomous systems.

Navid NikaeinView profile

Professor

• Wireless Networking
• 5G/6G Technologies
• Mobile Communications
• +6 more

Navid Nikaein is a Professor at EURECOM's Communication Systems department, specializing in wireless networking and 5G/6G technologies. His research focuses on advanced protocols, network slicing, and large-scale emulation using the OpenAirInterface framework. He teaches graduate courses on ad hoc networking and mobile applications development. Research Interests : Uplink channel access for mixed traffic in LTE/LTE-A systems Scheduling schemes for cellular and ad hoc networks Hardware/software co-design for wireless emulation Network slicing and runtime systems for RAN flexibility Awards : Best-in-Session Presentation Award at INFOCOM 2016 Best Paper Award at Mobile Ad-Hoc Networks for Public Safety (2011) Key Projects : OpenAirInterface.org: Open-source LTE/5G platform FlexRAN: SD-RAN programmability framework Advising & Grants : Active in technical program committees for IEEE conferences and leads EU-funded research initiatives on 5G/6G architecture. Collaborates on projects like Mosaic5G and SliceNet for network slicing innovation. Labs/Teams : Leads the Communication Systems research group at EURECOM, focusing on prototyping next-gen wireless systems through open-source collaboration.

Brice GoglinView profile

Researcher

• High Performance Computing (HPC)
• Parallel Computing
• Computer Architecture
• +3 more

Brice Goglin is a Researcher at Inria and leads the TADaaM Inria team at the Inria Bordeaux - Sud-Ouest Research Centre. He is affiliated with the Laboratoire Bordelais de Recherche en Informatique (LaBRI) and the University of Bordeaux. His primary research focuses on modeling hierarchical and multicore platforms, I/O in NUMA systems, high-performance communication, and memory management for parallel architectures. University of Bordeaux Inria Bordeaux - Sud-Ouest Research Centre LaBRI (CNRS UMR 5800) Satanas Team Research Interests : His work centers on optimizing hardware locality in high-performance computing (HPC) through tools like hwloc and KNEM . He explores memory migration, cache-aware models, and communication strategies for NUMA and heterogeneous architectures, collaborating with institutions like AMD, Intel, Oak Ridge National Lab, and RWTH Aachen University. Major projects include the H2M ANR-DFG and TEXTAROSSA European initiatives. Scientific Awards : He received the 2024 Inria – Académie des sciences – Dassault Systèmes Innovation Award for his contributions to HPC software. His paper on adaptive MPI multirail tuning won the Best Paper Award at EuroMPI 2010. Advising & Collaborative Work : He supervises PhD students such as Méline Trochon, Charles Goedefroit, and Clément Gavoille. His software projects, including hwloc (which helps systems like Frontier achieve exaflop performance), are widely recognized. He actively participates in program committees for conferences like SuperComputing, EuroMPI, and ISC, and contributes to the Open MPI consortium alongside Intel, Cisco, and AMD.

Borzoo BonakdarpourView profile

Associate Professor

• Security/Privacy
• Cyber-physical Systems
• Distributed Computing
• +5 more

Prof. Borzoo Bonakdarpour is an Associate Professor in the Department of Computer Science and Engineering at Michigan State University's College of Engineering. He directs the Trustworthy and Reliable Technologies Lab (TART), focusing on formal methods in distributed systems, cyber-physical systems, and security/privacy. Research Interests Security/Privacy Cyber-physical Systems Distributed Computing Formal Methods His recent work involves runtime verification, hyperproperty analysis, and fault-tolerant systems. He has received multiple awards, including the Withrow Excellence Award in Teaching (2022), Best Paper Awards at IEEE SRDS (2017), SSS (2014), and ACM SIES (2010), and was recognized as Best Professor by the McMaster Software Engineering Club in 2017. Professional Activities: Serve as PC member for ICCPS'24, CAV'24, RV'23, and General Chair for SRDS'21.

Sunita ChandrasekaranView profile

Associate Professor

• Artificial Intelligence
• Machine Learning
• High Performance Computing
• +3 more

Sunita Chandrasekaran serves as Associate Professor at the University of Delaware, holding the prestigious David L. and Beverly J.C. Mills Career Development Chair. She maintains her primary office at 417A FinTech Innovation Hub, 591 Collaboration Way, and leads the Computational Research and Programming Lab. Education: Postdoctoral Research at University of Houston (2015) PhD in Electrical & Electronics Engineering from Nanyang Technological University (NTU), Singapore (2012) B.E. in Electrical & Electronics Engineering from Anna University, Madras, India (2005) Research Focus: Her work centers on developing advanced compiler and runtime tools while exploring programming models for real-world applications on cutting-edge computing systems. She bridges artificial intelligence, machine learning, and high-performance computing to solve complex computational challenges through innovative software frameworks and system optimizations. Scientific Recognition: David L. and Beverly J.C. Mills Career Development Chair Laboratory Leadership: She directs the Computational Research and Programming Lab, which focuses on creating practical solutions for modern computational infrastructure through interdisciplinary collaboration and industry partnerships.

Michele SevegnaniView profile

Senior Lecturer

• Formal Methods
• Bigraphs with Sharing
• Formal Verification
• +17 more

Michele Sevegnani is a Senior Lecturer in the School of Computing Science at the University of Glasgow, where he also earned his PhD. His work focuses on formal methods, particularly bigraphs with sharing, for modeling and verifying complex, location-aware, event-based systems. He is actively involved in major research initiatives including Probable Futures, TransiT, and CHEDDAR, funded by Responsible AI UK, UKRI, and industry partners. Education: PhD in Computing Science, University of Glasgow MSc in Bioinformatics, University of Edinburgh and University of Trento His research interests include formal verification, digital twins, probabilistic model checking, IoT, mixed-reality systems, and human-autonomy teaming. He has developed BigraphER, an open-source suite for bigraph simulation and analysis. His recent work addresses formal modeling of BDI agents, 5G/6G protocols, and AI in law enforcement. His publications span formal methods, AI, networking, and human-robot interaction, showing a consistent focus on applying rigorous mathematical models to real-world systems. Trends include runtime verification, safety assurance in autonomous systems, and the integration of AI with formal guarantees. Scientific Awards: Nominated for the BCS Distinguished Dissertation Award (2013) Recipient of Amazon Research Award (2022) He advises multiple PhD students and postdoctoral researchers. He has secured grants from the Royal Society of Edinburgh, Taiwan’s Ministry of Science and Technology, and Amazon. He has been a visiting researcher at UC Berkeley and collaborates with institutions in France and Taiwan. He leads the development of BigraphER and is a member of the editorial board of Science of Computer Programming . He regularly presents at international venues and workshops on formal methods and AI safety.

Maurizio LeottaView profile

Researcher

• Test Automation
• Empirical Software Engineering
• Requirements Engineering
• +6 more

Maurizio Leotta is a faculty member at the Department of Informatics, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genova, Italy. His research focuses on software testing automation, empirical software engineering, requirements engineering, business process modeling, and model-driven software development. He has contributed to advancing end-to-end web testing methodologies through tools like Assessor, STILE, and SleepReplacer-GPT, emphasizing robust locators, thread sleep replacement, and parallel test execution optimization. Primary Affiliation : DIBRIS, University of Genova Research Themes : Test Automation, Gamification in Software Testing, Web Accessibility, IoT Systems Testing In recent years, Leotta has explored the integration of large language models (LLMs) in automated testing, comparing browser automation tools (Selenium, Cypress, Puppeteer, Playwright), and analyzing job market trends post-pandemic. His work spans both practical tool development (e.g., TESTQUEST, Mutta) and empirical studies evaluating testing approaches. He actively participates in program committees for testing workshops and collaborates on gamification initiatives in software development education. The 15 most recent publications reflect his expertise in test automation frameworks, gamification strategies, and accessibility enhancements. Articles cover topics such as explicit wait management in web testing, LLM applications for image captioning, and comparative studies of automation tools. His research also extends to IoT system testing, runtime verification, and job market analysis using large-scale job advertisement data.

Mariano CeccatoView profile

Associate Professor

• Security Testing
• Penetration Testing
• Code Hardening
• +5 more

Mariano Ceccato is an Associate Professor in the Department of Computer Science at the University of Verona, Italy. With a PhD in Computer Science from the University of Trento (2006), he has led numerous publicly funded and industrial research projects. His expertise includes security testing, penetration testing, code hardening, and empirical studies. Principal Investigator in multiple research initiatives Visiting Research Scientist at the University of Luxembourg Author/co-author of over 100 peer-reviewed papers Research Focus His work spans Android security, Ethereum smart contracts, REST APIs, and software protection techniques. Key contributions include: Security testing frameworks using reinforcement learning Advanced static analysis for Ethereum bytecode Novel obfuscation strategies for Java/Android Empirical studies on security report usability Comparative analysis of malware detection techniques Scientific Contributions He has received multiple awards including the Best Paper at IEEE ICST 2022, Best Research Paper at IEEE/ACM ICSE 2023, and ACM Distinguished Paper awards.

Florian FrohnView profile

Lecturer

• Program Verification
• Termination Analysis
• Complexity Analysis
• +11 more

Florian Frohn is a tenured lecturer ("Lehrkraft für besondere Aufgaben") in the Programming Languages and Verification research group at the Department of Computer Science, RWTH Aachen University. He holds a Dr. rer. nat. (2018), MSc (2013), and BSc (2011) in Computer Science, all from German institutions, with his bachelor's studies completed part-time. His research interests center on formal methods for software verification, including automated termination and complexity analysis of imperative programs, satisfiability of Constrained Horn Clauses (CHCs), SMT solving with integer exponentiation, loop acceleration, term rewriting systems, and abstract interpretation. He is a key contributor to several influential tools: LoAT (Loop Acceleration Tool), AProVE (Automated Program Verification Environment), and SwInE; he also worked on Astrée and the CAGE toolchain developed under the DARPA STAC program. His recent publications (2023–2024) demonstrate continued leadership in top venues such as FM, IJCAR, FoSSaCS, and SAS, with work advancing loop acceleration, non-termination proofs, and SMT solving. These contributions reflect a strong trend in developing practical, automated techniques for program verification and analysis. IJCAR Best paper honourable mention (2024) EASST Award for best ETAPS paper (2020) iFM Best Tool Paper Award (2017) ISR Best Poster Award (2017) SEFM Recognition Award (2016) CADE Woody Bledsoe Travel Award (2016) Florian Frohn actively contributes to the research community through program committee roles for major workshops and conferences including TACAS, HCVS, WST, SMT, and LPAR. He has advised no listed students but has been involved in mentoring through research collaborations. His teaching portfolio includes courses on verification techniques, satisfiability checking, and advanced programming concepts. He leads the Termination and Complexity Competition (termCOMP) and participates in organizing key events in the formal methods community.