Find Academic Supervisors

Michael EichbergView profile

Professor

• Software Engineering
• Static Analysis
• Software Development Tools
• +3 more

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

• Computer Architecture
• Memory Systems
• Multicore Architectures
• +3 more

Georgios Keramidas is an Assistant Professor in Computer Architecture at the Department of Informatics, Aristotle University of Thessaloniki . He also holds an Adjunct Professor position at the Hellenic Open University and collaborates with institutions like the University of Peloponnese and University of Patras . Research Interests : Computer Architecture, Memory Systems, Multicore/GPU Design, Low-Power Techniques, Fault-Tolerant Systems His work focuses on cache optimization , energy-efficient computing , and security-aware memory design . Key contributions include DVFS frameworks , reuse-distance prediction , and non-deterministic cache mechanisms . Recent article trends highlight innovations in computation-in-memory , IoT platform components , and security/low-power co-design . Patents on image compression and GPU optimization reflect practical applications of his research. Academic Network : Collaborates with institutions including University of Patras , University of Manchester , and TU Dresden

Laure GonnordView profile

Professor

• Static Analysis
• Compilation
• Software Engineering
• +7 more

Laure Gonnord is a Full Professor in Computer Science at Grenoble INP , affiliated with the Esisar Engineer School in Valence, France, since September 2021. She is a member of the CTSYS research team at the LCIS laboratory and an external member of the CASH team at the University of Lyon / CNRS / LIP / Inria. Her research focuses on compilation , static analysis , and applications to safety , security in high-performance and embedded systems . Fields of Interest : Compiler Design Static Analysis for Safety & Security Abstract Interpretation Embedded Systems High-Performance Programming Hardware Security Engineering Research Trends (from recent publications): Her work explores modular verification through monadic abstract interpreters, complexity bounds in term rewriting , and educational tools for theorem proving . Notable contributions include compiler hardening schemes for hardware security and memory layout optimizations for algebraic data types. Academic Leadership : Scientific Director of the Summer School EJCP (École Jeune Compilation et Programmation) Board Member of the French national research group GDR GPL Teaching Responsibilities at Grenoble INP include courses in architecture , compilation , programming languages , algorithms , and databases . She has also taught at University of Lyon, ENS Lyon, Polytech'Lille, and INSA.

• Robotic Surgery in Urology
• Stem Cell Therapies for Prostate and Bladder Cancer
• Bladder Physiology
• +7 more

Professor Prokar Dasgupta serves as Chair in Robotic Surgery & Honorary Consultant Urological Surgeon at King's College London's School of Medicine, specifically within the Peter Gorer Department of Immunobiology. He is a pioneering figure in robotic urological surgery in the UK and serves as Editor-in-Chief of the British Journal of Urology International (BJUI) since 2013. As theme lead for Experimental Surgery within King's Health Partners, he oversees significant translational research initiatives within one of the UK's largest Academic Health Sciences Centers. Professor Dasgupta's research spans multiple cutting-edge domains in urological surgery. His primary focus includes robotics in urology with scientific evaluation of procedures, stem cell and cell-targeted therapies for prostate and bladder cancer, bladder physiology research focusing on receptors like TRPV1 and P2X3, and innovative applications of botulinum toxin for overactive bladders. His work integrates engineering principles with clinical practice, developing mechatronic sensors, augmented reality systems, and 3D planning tools to enhance robotic surgical precision. His research group employs advanced techniques including micro-array technology, real-time PCR, and immunohistochemistry in both human tissues and animal models. Analysis of Professor Dasgupta's recent publications reveals a strong trend toward integrating artificial intelligence with robotic surgery. His work increasingly focuses on surgical workflow analysis, video recognition systems, and overcoming technical limitations in telesurgery. The publications demonstrate his leadership in both clinical applications of robotics and the underlying technological innovations that enable more precise surgical interventions. His research bridges engineering, computer science, and clinical urology to address fundamental challenges in surgical practice. His scientific recognition includes the prestigious Karl Storz-Harold Hopkins Golden Telescope award from the British Association of Urological Surgeons for significant contributions to urology, along with multiple awards for educational contributions including Best Oral Presentations and Best Posters in surgical education. He has been consistently recognized as one of BJUI's top reviewers. Professor Dasgupta has secured approximately £70 million through 36 research grants from major funding bodies including EUFP7, MRC, MS Society, and BUF. He leads a 28-strong multidisciplinary team comprising basic scientists, engineers, and clinician-scientists at King's College London. His supervisory role extends across numerous PhD students and research fellows, contributing to the 84 PhD students supervised by the 41 principal investigators within his division. His educational contributions include serving as tutor for MSc and FRCS (Urol) courses and as an examiner for the University of London. His research environment includes active collaboration with the Wellcome/EPSRC Centre for Medical Engineering and leadership in several major projects including AI-driven surgical skills acquisition, international AI research ecosystems, and innovative prostate cancer treatment trials. His laboratory work integrates robotics, imaging technology, and molecular biology to advance precision surgery in urological oncology.

• Workflow Verification
• Ontology and Logic Reasoning
• Healthcare Information Systems
• +3 more

Wendy MacCaull is an Adjunct Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. Her scholarly activity focuses on formal methods for healthcare workflow verification, ontology reasoning, and temporal logic applications in process mining. Role: Adjunct Professor Institution: McMaster University Department: Computing and Software Research Interests: Workflow Verification, Ontology Reasoning, Healthcare Process Mining Her work bridges formal logic and healthcare IT , with publications on compensable workflows, timed BDI CTL logic verification, and ontology merging for clinical systems. She has contributed to Journal of Symbolic Logic , Lecture Notes in Computer Science , and IEEE Transactions on Knowledge and Data Engineering . Recent trends include contextual process mining (2024) and multi-context reasoning architectures (2023). Earlier works (2008-2012) explored non-classical logics, residuated logic models, and Kripke semantics.

• Automata Learning
• Security Testing
• Digital Twins
• +3 more

Andrea Pferscher is a Postdoctoral Research Fellow at the Department of Informatics at the University of Oslo , working in the Reliable Systems (PSY) group . Her research focuses on automata learning, digital twins, and formal methods for network protocol security testing. She has presented her work at premier conferences like Formal Methods, SEFM, and FMAS, and her research contributes to bottlenecks in service modeling, network security, and system verification. Her scientific achievements include winning the 3rd edition of the AIDOaRt Hackathon and participating in the GI Dissertation Prize Colloquium for her distinguished doctoral work. Andrea’s publications highlight interdisciplinary approaches combining formal methods, machine learning, and network protocol modeling, with applications in digital twins for the Oslo Fjord and Bluetooth Low Energy security. Scientific Awards GI Dissertation Prize Colloquium Participant AIDOaRt Hackathon Winner (3rd edition) Research Trends Her recent work emphasizes automata learning for networked environments, including constrained neural network architectures and comparative analysis of active/passive learning paradigms. Applications span digital twins (e.g., VPN servers, Oslo Fjord simulations), security testing, and formal verification of network protocols like Bluetooth Low Energy and MQTT.

Stavros TripakisView profile

Associate Professor

• Formal Methods
• Computer-Aided Verification and Synthesis
• Safety-Critical Systems
• +4 more

Stavros Tripakis is an Associate Professor at the Khoury College of Computer Sciences at Northeastern University , where he joined in 2018. He is on sabbatical during the 2024-2025 academic year. His research focuses on the foundations of software and system design , emphasizing formal methods , computer-aided verification and synthesis, with applications to safety-critical, embedded, and cyber-physical systems, security, and trustworthy AI. He leads a group developing theory and tools for designing better systems. Recent publications explore distributed protocol synthesis, neural network verification, and inductive invariant inference, reflecting trends in formal methods for AI and distributed systems. His work often intersects with automated reasoning, model checking, and tool development. Scientific awards include the Distinguished Artifact Award at TACAS 2018 for the Refinement Calculus of Reactive Systems (RCRS) toolset. He advises Derek Egolf , Daniel Melcer , and William Schultz (graduated 2025). Former postdocs include Rômulo Meira-Góes (now Penn State) and Eunsuk Kang (now CMU). Current projects include the NSF FMitF grant (2023-2027) on safe multi-agent reinforcement learning and the NSF SaTC grant (2018-2022) on protocol design.

Audun JøsangView profile

Professor

• Cybersecurity
• Artificial Intelligence
• Trust and Reputation Systems
• +4 more

Audun Jøsang is a Professor of Cybersecurity at the University of Oslo and holds a Visiting Professor position at Queensland University of Technology (QUT) . His work focuses on trust and reputation systems in digital environments, with notable contributions to subjective logic —a mathematical framework for reasoning under uncertainty. Education : MSc in Information Security from Royal Holloway, University of London , MSc and PhD in Telecommunications from Norwegian University of Science and Technology (NTNU) Books : Subjective Logic: A Formalism for Reasoning Under Uncertainty (2016), Cybersecurity: Technology and Governance (2011) His research spans cybersecurity , artificial intelligence , and risk assessment , with applications in online marketplaces , social media , and decision-making under uncertainty . He has developed mathematical models for uncertainty-aware influence propagation and competitive information spread using subjective logic. Audun Jøsang’s work bridges theoretical foundations and industrial applications of computational trust and security analytics . His recent publications explore ethical AI , fair federated learning , and dynamic intelligence assessment for artificial general intelligence development.

Sebastien PillementView profile

Lecturer

• Computer Engineering
• Embedded Systems
• Computer Architecture
• +3 more

Sébastien Pillement is a Lecturer at Polytech'Nantes, the College of Engineering of the University of Nantes, and a member of the ASIC research team within the IETR UMR 6164 laboratory. His career spans over 13 years at the IUT of Lannion (University of Rennes 1) before joining the University of Nantes in 2012. He holds a PhD in Computer Science from the University of Montpellier II (1998) and a Habilitation à Diriger des Recherches (HDR) from the University of Rennes 1 (2010). Current Research Focus: Dynamically Reconfigurable Architectures (DRA), Hardware Security, Fault-Tolerant Embedded Systems, NoC (Network-on-Chip), Design Methodologies. Teaching Areas: Digital Circuits, Computer Architecture, Operating Systems, Real-Time Systems, and Algorithms for Embedded Computing. His research explores flexible and efficient architectures for embedded systems, emphasizing real-time management, reliability, and security. Key article trends include RISC-V processors, neural network acceleration on MPSoC, formal verification of arithmetic circuits, and runtime FPGA scheduling. Collaborations span international institutions like the University of Toronto and CEA, as well as industrial partners such as STMicroelectronics and Thales. PhD Students : Current: Laureline Dubucq (Security & AI), Mustafa Ibrahim (Ultra-Low Power AI), Téo Biton (Runtime Anomaly Detection), Mohamed Amine Zhiri (Adaptive NoC), Juliette Pottier (RISC-V Protection). Graduates: Quentin Dariol (Neural Network Timing), Alexis Duhamel (FPGA Scheduling), Safouane Noubir (Security in Multi-Core Systems), Hai Dang Vu (Probabilistic Timing Analysis), David Pallier (Sensor Clock Synchronization). Projects : Current: ADAPTING (2023-2029), FITNESS (2023-2027), SEC-V (2022-2025), NOP (2021-2025). Past: SPARTE (2015-2018), ARDyT (2011-2015), FosFor (2008-2011).

Joseph A. AistrupView profile

Professor

• American Politics
• Elections and Voting Behavior
• Federalism
• +3 more

Joseph A. Aistrup is a Professor of Political Science in the College of Liberal Arts at Auburn University, where he served as Dean from 2013-2021. His academic career includes prior roles as Associate Dean at Kansas State University and Head of the Political Science Department at Kansas State starting in 2002. His educational background includes a PhD from Indiana University (1989), an MA from Virginia Tech University (1984), and a BA from Fort Hays State University (1982). Aistrup's research spans American politics with emphases on electoral behavior, federalism, and environmental policy. His work examines geographic sorting in presidential elections, voter ID laws, abortion policymaking post-Dobbs, and water governance in the Great Plains. He employs interdisciplinary approaches integrating political science with environmental systems analysis, particularly through coupled human-natural systems modeling for sustainability challenges. His recent publications reveal a strong focus on contemporary political conflicts including election security, resource distribution, and the intersection of climate change with agricultural communities. Key themes include institutional design in environmental governance and the evolving dynamics of regional political identities. OpenMI Award (2017) for Ogallala Aquifer modeling Robert Lineberry Award (2012) for best paper in Social Science Quarterly Aistrup has secured significant research funding for interdisciplinary environmental projects, particularly through collaborations with hydrologists and agricultural scientists on Great Plains sustainability. His leadership in the College of Liberal Arts involved strategic initiatives in faculty development and international programs. While no formal lab is specified, his work consistently involves team-based research on coupled human-natural systems with colleagues across engineering, agriculture, and social sciences.

Christine LargouetView profile

Associate Professor

• Artificial Intelligence
• Explainable AI
• Complex Systems Modelling
• +6 more

Christine Largouet is an Associate Professor in Computer Science at Institut Agro Rennes-Angers and a member of the IRISA Laboratory's LACODAM team. Her research focuses on Explainable AI, Complex Systems Modelling, and applications in Ecosystem Management and Agroecology. She leads the Computer Science Teaching Unit at Institut Agro Rennes-Angers since 2006 and has held academic roles at the University of New Caledonia (2003-2006) and IRD Nouméa. She holds a HDR (2019) and PhD (2000) from Université de Rennes 1. Education: Habilitation Defense (HDR): "Artificial Intelligence for Decision Support of Dynamical Complex Systems" (Université de Rennes 1, 2019) PhD: "Interpretation of a sequence of remote-sensing images" (Université de Rennes 1, 2000) Research Interests: Her work bridges AI and environmental/agricultural systems, with emphasis on: Explainable AI for decision-making Machine learning in precision agriculture Timed behavioral models & discrete event systems Data-driven approaches for ecosystem management Publications Trends: Recent work emphasizes: AI explainability in user-centric applications Livestock management using sensor-based machine learning Formal methods for system modeling (timed automata) Interdisciplinary applications in agroecology Teaching & Supervision: Supervised 17+ PhD/Master students since 2002 Teaches programming, AI, and data science at multiple academic levels Labs & Teams: Active contributor to: IRISA Laboratory's LACODAM team Collaborations with INRAE and INRIA

• Digital Forensics
• Malware Detection
• Adversarial Machine Learning
• +4 more

Yin Pan is a Professor of Cybersecurity at Rochester Institute of Technology (RIT), affiliated with the Golisano College of Computing and Information Sciences. She holds a Ph.D. in Systems Science and M.S. in Computer Science from Binghamton University (SUNY), alongside degrees from Shanghai Normal University. Dr. Pan specializes in digital forensics, malware detection, and adversarial machine learning, with over 45 publications and patents in network quality of service, VoIP, and AI. She actively teaches undergraduate and graduate courses in digital forensics and has secured grants from NSF, U.S. Air Force Research Lab, and RIT. Education Background: Bachelor's and Master's in Shanghai Normal University (China) Second Master's and Ph.D. in State University of New York at Binghamton Research Interests: Her work focuses on game-based approaches to digital forensics education, memory-based malware detection using machine learning, and cybersecurity audit methodologies. She explores adversarial examples in AI systems and has contributed to network protocols and data center routing optimizations. Grants & Awards: Notable funding includes NSF and Air Force grants supporting her research in cybersecurity education and malware analysis. She also holds four U.S. patents in network QoS, VoIP, and AI applications. Advising & Teaching: While no formal advisees are listed, she designs gamified curricula for cybersecurity education and leads courses like CSEC-464 Computer System Forensics and CSEC-730 Advanced Computer Forensics.

Niall HayesView profile

Professor

• Digital Innovation
• Digital Inclusion
• Information Technology and International Development
• +3 more

Professor Niall Hayes is Deputy Dean of the Faculty of Business at the University of Leeds, holding a Professorship in Technology and Organisation. Previously, he served as Executive Dean at Nottingham Trent University and spent 23 years at Lancaster University in various leadership roles including Professor of Information and Organisation. His expertise spans the social study of information systems, digital innovation, digital inclusion, international development, and participatory design. Dr. Hayes holds a PhD and MSc from Lancaster University and a BSc from Edge Hill University. He has led major projects such as the €2.98m EU Horizon 2020 Mobile-Age initiative and secured funding for research on digital poverty in rural areas. His work addresses technology's societal impact, including telecare systems for elderly independence, digital equity in developing regions, and pandemic-era technology adoption. His research outputs include over 50 peer-reviewed articles in journals like Human Relations and Organization Studies , with a focus on technology's role in social contexts. He has advised governments and international bodies, including presentations at the European Parliament, and contributed to Gold-rated Teaching Excellence Framework submissions at Lancaster and NTU. Hayes also serves as an External Examiner at the London School of Economics. Key achievements include his PFHEA fellowship, leadership in institution-wide strategic initiatives, and impactful work on digital poverty, eldercare technology, and global development. His interdisciplinary approach bridges management, computing, and social sciences to address contemporary challenges in technology and society.

Pieter-Tjerk de BoerView profile

Associate Professor

• Rare-Event Simulation
• Communication Systems
• Mathematical Performance Analysis
• +3 more

Pieter-Tjerk de Boer is an Associate Professor at the University of Twente , affiliated with the Electrical Engineering, Mathematics and Computer Science (EEMCS) faculty. He holds dual roles in the Design and Analysis of Communication Systems (Computer Science) and the Digital Society Institute . His research focuses on rare-event simulation, communication systems, and mathematical performance analysis. He earned his PhD in 2000 from the University of Twente with a thesis on queueing models for telecommunication systems. Key research areas include stochastic performance analysis (e.g., importance sampling techniques for queueing networks), computer networking (DNS analysis, IPv6 security), and radio technology (MIMO receivers, harmonic rejection mixers). His work bridges theory and application, addressing challenges in reliability, security, and efficiency of digital systems. Notable contributions include advancements in statistical model checking, automated rare-event simulation for stochastic Petri nets, and open-source intelligence analysis using radio receivers. His findings are published in journals like Simulation , IEEE Transactions , and Performance Evaluation , with over 98 research outputs since 1996. Collaborations span academia and industry, including work on cybersecurity, network management, and hardware-software co-design. Media engagements include discussions on radio receiver usage patterns during the Ukraine war and IPv6-related network vulnerabilities.

• Automated Program Repair
• Formal Verification
• Large Language Models
• +4 more

Yiannis Charalambous is a PhD researcher in the Department of Computer Science. His work focuses on the intersection of Large Language Models (LLMs) , Formal Verification , and Software Security . Key Research Areas: Automated Program Repair, Formal Verification, Large Language Models, Software Security, Artificial Intelligence, Neural Networks, Fuzzing His recent research explores self-healing software architectures by integrating LLMs with formal verification techniques. This work has significant implications for improving software reliability and security through automated repair mechanisms . Analysis of his publications reveals a consistent focus on leveraging neural architectures (e.g., transformers) for program verification and security enhancement. The research emphasizes both theoretical foundations and practical implementations of AI-driven software repair systems.