Find and connect with academic supervisors, professors, and scholars for your research journey.
Showing 646-660 of 3,525 supervisors
Profile data may be stale. It is sourced from public faculty pages.
Professor
Nils Gruschka is a Professor at the Department of Informatics , University of Oslo, specializing in Information Security and Privacy . He contributes to the Digital Security (SEC) group and the Partnership for Cybersecurity (P4C). His work bridges technical security implementations with regulatory compliance, particularly under GDPR.
Associate Professor
Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University. His research focuses on formal methods , algorithmic verification , automata theory , concurrency , static and dynamic program analysis , network diffusion , evolutionary graph theory , and evolutionary game theory . Teaching courses: Programming Languages (Bachelor) , Algorithmic Model Checking (Master) , and Program Analysis (Master) Service: Program committee member for POPL, ESOP, AAAI, IJCAI, CONCUR, OOPSLA, and organizer of CONFEST'25 His research has been supported by the Austrian Science Fund (FWF), VILLUM Foundation, Stibo Foundation, and Danish Council for Independent Research (DFF). He is actively recruiting PhD and PostDoc researchers. Recent publications span quantum computing , concurrent systems , evolutionary dynamics , and network science , with particular emphasis on symbolic algorithms , dynamic analysis , and graph-based models .
Associate Professor
Patrizia Scandurra is an Associate Professor at the Department of Management, Information and Production Engineering, University of Bergamo, Italy. Her academic appointment in Computer Science (01/B1) spans from 2022 to 2033. She previously held roles as a researcher at the University of Bergamo (2009-2017) and postdoctoral fellow at the University of Milan (2006-2008). She earned her PhD in Computer Science (2006) and Bachelor's degree (2002) from the University of Catania. Research Focus : Software architectures and formal methods for modeling, validation, and verification of software-intensive systems. Specializations : Runtime analysis of self-adaptive, autonomous, and uncertain systems including IoT-Edge-Cloud applications, embedded systems, and system-on-chip. Collaborations : STMicroelectronics, Atego, Bialetti, and ENEA. Conference Involvement : Program/organizing committees for ICSE, ASE, ISSRE, ICSA, ECSA, SEAMS@ICSE, ABZ, SA-TTA@SAC, FAACS@ECSA. Research Projects : Model-driven development for robotics, adaptive architectures for pervasive systems, big data in smart cities, and digital twins for medical systems. Notable Contributions : Development of the ASMETA formal method community tools and frameworks for rigorous system design. She has published over 100 peer-reviewed works in international journals and conferences.
Professor
Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .
Professor
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files
Professor
Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London's Faculty of Engineering, where he leads the Multicore Programming Group. He also works as a Software Engineer at Google in the Android Graphics Team. Previously, he served as Director of GraphicsFuzz, an Imperial College spinout company acquired by Google in 2018. His research spans programming languages, compilers, verification, and testing, with a particular focus on randomized and fuzz testing techniques for compilers and program analyzers. Donaldson has developed several influential testing frameworks including GraphicsFuzz, RustSmith, and GrayC, which have significantly advanced compiler testing methodologies. Analysis of his recent publications reveals a strong trend toward practical applications of compiler testing techniques across diverse domains including GPU programming, verification-aware languages, and memory models. His work increasingly incorporates continuous integration practices and focuses on addressing real-world challenges in compiler development and verification. Donaldson maintains active involvement in the programming languages research community, serving on program committees for major conferences including PLDI, POPL, ASPLOS, and SPLASH. He has contributed significantly to advancing compiler testing methodologies and has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop). He leads the Multicore Programming Group at Imperial College London, which focuses on challenges in parallel and concurrent programming. His work bridges theoretical computer science with practical software engineering challenges, particularly in the areas of compiler correctness and verification.
Assistant Professor
Eric Atkinson is an Assistant Professor in the School of Computing at Binghamton University, specializing in programming languages for uncertainty and their intersections with artificial intelligence. He holds a PhD from MIT (2024), an MS from MIT (2018), and a BS from UC Berkeley (2015). Prior to Binghamton, he was a visiting researcher at INSAIT in Sofia, Bulgaria, and conducted research internships at Facebook and Mozilla. His research focuses on programming languages, program runtimes, formal methods, and AI integration. Key interests include probabilistic programming, static analysis, and runtime systems for uncertain domains. He teaches programming languages courses and advises PhD and M.Sc. students. His publications span probabilistic programming systems, compiler optimizations, and formal verification. He actively participates in academic service roles, including program committees for PLDI, LAFI, and OOPSLA, and mentors underrepresented groups in graduate school through initiatives like the MIT EECS GAAP program.
Research Professor
Caroline Fontaine serves as a CNRS Research Director at the Formal Methods Laboratory (LMF), a joint research unit operated by CNRS, ENS Paris-Saclay, and University of Paris-Saclay. She concurrently directs the national Computer Security Research Group (GDR Computer Security), coordinating cybersecurity initiatives across French academic and research institutions. Her research centers on Formal Methods and Computer Security , specializing in mathematically rigorous techniques for system specification, development, and verification. Key focus areas include cryptographic protocol analysis, security property validation, and formal verification of hardware/software systems, with applications in critical infrastructure protection and secure computing. As leader of the Computer Security Research Group, she fosters interdisciplinary collaboration among researchers nationwide, driving innovation in security frameworks through formal mathematical approaches and promoting knowledge exchange via workshops and joint publications.
Researcher
Seung Yeob Shin serves as a Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he contributes to the Software Verification and Validation (V&V) Lab under Prof. Lionel Briand. His active participation in major software engineering conferences includes serving on ASE 2025's Research Papers Program Committee and authoring multiple journal-first publications presented at premier venues like ICSE and ESEC/FSE. Shin earned his PhD in 2016 from the Laboratory for Advanced Software Engineering Research (LASER) at the University of Massachusetts Amherst's College of Information and Computer Sciences. His research expertise centers on applying formal methods to complex software systems, with particular emphasis on model-based verification techniques. His current research program bridges theoretical modeling and practical system validation across critical domains. Key focus areas include developing simulation frameworks for software-defined networks, creating model-checking approaches for cyber-physical control loops, and establishing probabilistic methods for real-time system verification. This work consistently targets reliability challenges in safety-critical infrastructure through rigorous engineering methodologies. Recent publications demonstrate a cohesive trajectory in applying formal verification to emerging system paradigms. The 2024 journal-first papers reveal increasing sophistication in handling non-deterministic behaviors across networking, embedded systems, and requirements engineering domains, with notable emphasis on failure induction and probabilistic safety guarantees. No scientific awards were documented in the available materials. While conference contributions indicate significant scholarly engagement, no information regarding student advising or research grants appears in the provided documentation. As a core member of the V&V Lab at SnT, Shin contributes to Luxembourg's national cybersecurity research infrastructure. The lab specializes in developing mathematical frameworks for system validation, with current projects addressing verification challenges in autonomous systems, critical infrastructure, and secure communications protocols through model-driven approaches.
Lecturer
Idir Ait-Sadoune serves as a Lecturer in Data Engineering at ISAE-ENSMA, France, where he is an active member of the Data Engineering Team within the LIAS laboratory. His academic position includes temporary teaching and research responsibilities (ATER) focused on formal methods and software engineering applications. He earned his PhD in 2010 from ENSMA with a dissertation titled Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve , establishing his expertise in formal verification techniques. His educational background centers on computer science with specialization in formal modeling and system validation. Ait-Sadoune's research spans critical domains in computer science, with particular emphasis on: Formal Methods : Pioneering applications of Event-B for system specification and verification Software Engineering : Advancing web services composition and data repository design Human-Computer Interaction : Developing formal models for multimodal interactive systems Verification & Validation : Creating proof-based approaches for system correctness His publication trajectory from 2006-2018 reveals consistent innovation in formal techniques, particularly through Event-B methodology applied to web services and multimodal interfaces. The research demonstrates strong interdisciplinary connections between theoretical formal methods and practical software engineering challenges, with increasing focus on data engineering applications in later works. Within the LIAS laboratory ecosystem, Ait-Sadoune collaborates with Automatic Control and Real Time teams, contributing formal verification expertise to cross-disciplinary projects while maintaining his core focus on data-intensive system engineering.
Associate Professor
Ragnhild Kobro Runde is an Associate Professor in Computing Education at the Department of Informatics, University of Oslo. Her work focuses on software engineering methodologies, formal methods in system design, and computing education at both secondary and undergraduate levels. She is affiliated with the Computing Education research group. Her research explores topics such as UML sequence diagram semantics, formal specification techniques (Event-B/STAIRS), and the transition from block-based programming (Scratch) to text-based languages (Python) in schools. She also investigates how ICT exposure impacts mathematics self-belief and academic performance in PISA assessments. Runde has contributed to over 30 peer-reviewed publications since 2005, appearing in journals like Formal Aspects of Computing and Software and Systems Modeling. Her work frequently addresses challenges in software design, security risk analysis, and service-oriented architecture modeling using UML extensions. Key contributions include developing pattern languages for web application security risk analysis, analyzing nondeterminism in sequence diagrams, and creating methodologies for dynamic service composition using UML 2.x. She has collaborated with international researchers on computing education initiatives and formal methods applications.
Professor
Assia Mahboubi is an Endowed Professor at the Department of Mathematics, Faculty of Science, Vrije Universiteit Amsterdam, holding the title 'Automated Verification of Mathematical Proof'. She concurrently serves as a researcher at Inria Nantes since 2018. Her research focuses on formal methods in mathematics and computer science, particularly type theory, formal proof systems, and computer algebra. She leads projects related to automated reasoning, dependent type systems, and formalization of mathematical theories. Education & Professional Background: PhD in Mathematics (implied by academic rank) Ancillary activity: Researcher at Inria, Nantes Research Interests: Her work centers on foundational aspects of formal proofs, including type theory, automated reasoning, and the formalization of complex mathematical concepts like polynomial equations and continuity models. She develops tools for compositional preprocessing in theorem proving and explores univalent foundations in proof transfer. Recent Work Trends: Recent publications emphasize advancements in proof automation, dependent type systems, and the formal verification of algebraic structures. Her work bridges theoretical computer science with practical formal methods implementation. Labs/Teams: Associated with Inria research teams and the Computer Algebra Nederland foundation. Engages in collaborative projects with international institutions through her network in type theory and formal methods communities.
Associate Professor
Lena Buffoni is an Associate Professor and Docent at Linköping University, affiliated with the Department of Computer and Information Science (IDA) within the Software and Systems (SAS) division. Her research focuses on software engineering, cyber-physical systems, and model-based development methodologies. She contributes to educational innovations, such as project-based learning approaches in software engineering curricula. Her work emphasizes requirements engineering, traceability, and verification in complex systems. She collaborates on the OpenModelica project, advancing open-source tools for system modeling and simulation. Her research interests include formal methods for system design, integration of open-source technologies, and educational frameworks that bridge academia and industry. Key contributions include frameworks for traceability analysis in cyber-physical systems and pedagogical approaches for collaborative project-based learning.
Research Fellow
Dr. Peter J. Robinson is an Honorary Research Fellow at the School of Electrical Engineering & Computer Science, The University of Queensland. His academic career spans over three decades, focusing on foundational research in programming languages, formal methods, and distributed systems. His work includes contributions to Qu-Prolog, a multi-threaded Prolog implementation, and TeleoR, a robotic task programming framework. Research interests include agent-based systems, blockchain security for aerospace applications, software verification, concurrent programming, and education technology. Notable projects include the Pedro publish/subscribe server and MyPyTutor, an interactive Python learning tool. He has collaborated on railway safety protocols and spacecraft control systems using blockchain. Publications span journals like Formal Aspects of Computing and conferences such as IEEE Symposium on Computers and Communications. Technical reports include work on unification algorithms and multi-agent verification frameworks. He has advised on projects involving IoT architectures and swarm intelligence simulations.
Researcher
Georg Simhandl is affiliated with the Faculty of Computer Science, specifically within the Research Group Software Architecture. His work focuses on advancing theoretical and practical aspects of software engineering with a strong emphasis on cybersecurity, microservices, and empirical studies. Research Interests: His core research spans Microservices Architecture , Cybersecurity in Software Systems , Formal Methods , and Empirical Software Engineering . He investigates topics such as secure firmware updates, threat modeling for microservices, and developer cognition in system maintenance. Recent work highlights include leveraging TPMs for cryptographic anchoring and analyzing how dataflow diagrams enhance security analysis. Activities: He has presented at conferences like the ACM SIGPLAN International Conference on Software Language Engineering (SLE '24) and participated in workshops such as the IEEE/ACM International Workshop on Eye Movements in Programming (EMIP). His research bridges theoretical frameworks with practical software development challenges. Labs/Teams: Works within the Research Group Software Architecture, contributing to projects on secure architecture design and empirical evaluation of software practices.
Showing search results up to the first 750 matches. Narrow your search with filters to find more specific results.
