Find Academic Supervisors

Bentley OakesView profile

Assistant Professor

• Digital Twins
• Model Transformations
• Software Engineering
• +6 more

Bentley Oakes is an Assistant Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal. He holds a Ph.D. (2018) and M.Sc. (2015) from McGill University, and a B.Sc. (2013) from the University of Manitoba. His research focuses on Digital Twins , Model Transformations , and Knowledge Representation for cyber-physical systems. Ph.D. in Computer Science, McGill University, Canada M.Sc. in Science, McGill University, Canada B.Sc. in Computer Science, University of Manitoba, Canada His work bridges Model-Driven Engineering and Artificial Intelligence to advance the rigorous development of digital twins. Key research areas include: Digital Twin Engineering : Frameworks for systematic development, reporting, and validation. Knowledge Representation : Ontologies and contracts for modeling domain expertise. Model Transformations : Symbolic execution and debugging of ATL/DSLTrans transformations. Verification : Formal methods for cyber-physical systems and co-simulations. Oakes has published extensively in MODELS , MSR , TOSEM , and SoSyM . His recent studies on rationale extraction in open-source software and DevOps approaches for built assets highlight interdisciplinary innovations. He has been recognized for Outstanding Reviewing Contributions , receiving multiple Best Reviewer Awards at leading software engineering venues. At Polytechnique Montréal, he teaches courses such as: INF6900AE : Scientific and Technical Communication I INF7900AE : Scientific and Technical Communication II LOG6953FE / LOG6310E : Digital Twin Engineering LOG8371E : Software Quality Engineering

Baishakhi RayView profile

Associate Professor

• Artificial Intelligence
• Software Engineering
• Programming Languages
• +5 more

Baishakhi Ray is an Associate Professor at Columbia University leading research at the intersection of AI and Software Engineering. She serves as an Amazon Scholar collaborating with Amazon's Agentic AI team and heads the ARiSE Lab focused on making code smarter, safer, and more collaborative through neurosymbolic AI techniques. Her research centers on neurosymbolic approaches that blend machine learning with formal reasoning to enhance software reliability, security, and developer productivity. Key areas include AI for Code, language model development for code generation/transformations, and benchmarking frameworks for evaluating LLMs in software engineering contexts. She pioneers techniques for building trustworthy code through semantics-aware language models and agent-based systems. Recent publications (2024-2025) reveal a strong emphasis on neurosymbolic AI applications across the software lifecycle - from code generation (EditLord, Cycle) and vulnerability detection (Primevul) to test repair (UTFix) and kernel debugging (Kgym). Her work consistently bridges neural and symbolic paradigms to address fundamental challenges in code reliability and developer tooling. Major recognitions include: IEEE CS TCSE Rising Star Award NSF CAREER Award (2019) and IBM Faculty Award (2019) Multiple ACM SIGSOFT Distinguished Paper Awards (2023) NAACL 2025 Oral Presentation and ICSME 2023 Most Influential Paper VMware Early Career Faculty Award (2020) She mentors a dynamic research group including PhD students Yangruibo Ding (recent UCLA faculty hire), Vikram Nitin, Ira Ceka, Jinjun Peng, and Alex Mathai. Research is funded by: Government: National Science Foundation Corporate: Google, IBM, Amazon, Capital One, RedHat Institutional: Columbia Provost’s Grants for Junior Faculty The ARiSE Lab maintains active industry collaborations through Amazon Scholar role and corporate partnerships, driving neurosymbolic AI innovations from theoretical foundations to real-world software engineering applications with ongoing projects in coding agents and secure code transformation.

• Operating Systems
• Distributed Systems
• Reliable Systems
• +4 more

Christian Dietrich is a Professor for Reliable Distributed Systems at Technical University of Braunschweig since 2024, where he heads the Reliable System Software research group within the Institute of Operating Systems and Computer Networks, part of the Faculty of Electrical Engineering, Information Technology, and Physics. He previously held positions at Leibniz Universität Hannover where he completed his distinguished doctoral research. Professor Dietrich's research focuses on operating systems, distributed systems, and reliable systems with particular expertise in memory management, real-time systems, and embedded systems. His work spans both theoretical foundations and practical implementations, with significant contributions to system software reliability and efficiency. His research interests include operating system design, memory management techniques, real-time computing, embedded systems, fault tolerance, and compiler optimizations for system software. Dietrich's recent publications demonstrate a strong focus on memory management innovations (particularly for persistent memory), virtualization techniques, and reliability mechanisms for distributed systems. His work frequently bridges the gap between theoretical computer science and practical system implementation, with many contributions finding their way into production systems. The research shows increasing emphasis on hardware-software co-design and adapting operating systems to modern hardware capabilities. His scientific achievements have been recognized with numerous prestigious awards: USENIX ATC Distinguished Artifact Award (2023) for LLFree USENIX ATC Best Paper Award (2017) for cHash RTAS Best Paper Award (2015) for dOSEK Multiple Outstanding Paper Awards at ECRTS, OSPERT, and ISORC Wissenschaftspreis Hannover (2020, awarded in 2024) Professor Dietrich has secured significant research funding including multiple DFG projects (DI 2840/1-1, DI 2840/2-1) and has been involved in collaborative projects with industry partners. His teaching portfolio includes advanced courses on operating systems, programming languages, and compilers, for which he received teaching excellence awards. He leads an active research group focused on reliable system software with ongoing projects including ParPerOS (Parallel Persistency OS) and ATLAS (Adaptable Thread-Level Address Spaces). The Reliable System Software group maintains strong connections with both academic and industrial partners, contributing to open-source projects and collaborating on cutting-edge research in system software reliability. The group's work has practical impact, with some findings leading to more than 100 accepted patches in the Linux mainline kernel.

Daniel LohmannView profile

Professor

• Operating Systems
• Embedded Systems
• Real-Time Systems
• +4 more

Professor Daniel Lohmann leads the Systems Research and Architecture (SRA) group at Leibniz Universität Hannover since 2017, following his role as Associate Professor (Privatdozent) at Friedrich-Alexander-Universität Erlangen-Nürnberg (2009–2016). His work focuses on configurable system software, emphasizing embedded systems, real-time systems, and dependable architectures. Key projects include danceOS (dependability in embedded OS), Sloth (minimal-effort kernels), and AspectC++ (aspect-oriented C++ extension). His research is funded by DFG and addresses challenges in variability management, fault tolerance, and real-time scheduling. Research interests span operating systems design, software product lines, generative programming, and aspect-oriented development. Notable contributions include the CiAO OS family and the Sloth RTOS, leveraging aspect-oriented techniques for flexibility and efficiency. His work on configuration analysis (e.g., static variability in Linux) and fault mitigation (e.g., AN-Codes for soft errors) highlights his expertise in system reliability and optimization. Publications emphasize real-time systems, embedded software, and software engineering, with awards including the Best Paper Award at SPLC 2010 and an Outstanding Paper at RTAS 2017. He supervises theses on system software tailoring, fault tolerance, and industrial software ecosystems. His groups collaborate on invasive computing (SFB/TRR 89) and hardware-aware OS design.

Gabriele MencagliView profile

Associate Professor

• Parallel Programming
• Parallel Architectures
• Self-* Systems
• +3 more

Dr. Gabriele Mencagli is an Associate Professor in the Department of Computer Science at the University of Pisa, Italy. He holds a Ph.D. in Computer Science (2012) and has served as an Assistant Professor (2014–2018) and Tenure-Track Professor (2018–2021) before his current position. His research focuses on parallel systems, including architectures, programming models, and runtime systems for data stream processing. He leads work on the WindFlow stream processing library and has contributed to projects like TEXTAROSSA, ADMIRE, and EUPEX. He co-organized major conferences like HPDC 2024 and DEBS 2025 and serves on editorial boards for journals like Future Generation Computer Systems and Cluster Computing. Education: B.Sc. (2006, summa cum laude), M.Sc. (2008, summa cum laude), Ph.D. (2012) in Computer Science, all from the University of Pisa. Research Interests: Parallel programming, self-adaptive systems, data stream processing, GPU/FPGA acceleration, and high-performance computing. Over 80 publications in top journals and conferences, including IEEE TPDS, JPDC, and Euro-Par. Awards include Italian Habilitation as Full Professor (2025). Teaching: Courses on High-Performance Computing and Computer Architecture, including CUDA programming and parallel design patterns. Active in curriculum development for both bachelor’s and master’s programs. Grants & Projects: Principal investigator in EU-funded projects (e.g., TEXTAROSSA, NOUS) and collaborations with industry (e.g., List-group S.p.A., Autodesk). Focus on exascale computing, digital twins, and edge computing.

• Computer Engineering
• Multimedia Security
• Embedded Systems
• +4 more

Cem Taşkın is an Assistant Professor at the Department of Computer Engineering, Trakya University, and has served as Department Head since January 2023. Previously, he was Assistant Professor at Tunca Vocational School (2011-2014) and held administrative roles as School Director (2013-2017) and Deputy Director (2012-2013). He earned his PhD in Computer Engineering from Trakya University in 2010. High School: Kırklareli Anatolian High School (1999) Bachelor's: Trakya University, Computer Engineering (2003) Master's: Trakya University, Computer Engineering (2006) PhD: Trakya University, Computer Engineering (2010) His research focuses on Computer Engineering , Multimedia Security , and Embedded Systems , with a strong emphasis on encryption techniques for MPEG video streams and mobile/web application development. Recent work includes applying interactive mobile applications for pediatric chemotherapy treatment (2022) and optimizing embedded systems as dashboards (2016). Publication trends reveal expertise in video encryption (I-frames, byte alignment, XOR operations), chaotic algorithms for sound data security, and software development for educational and administrative systems. His work bridges theoretical cryptography with practical implementations in multimedia and embedded environments. Supervised Master's Theses: Altuğ Yiğit - Human Insight in Business Processes with Deep Learning Temel Yavuz - Corporate Content-Information Management Systems Murat Emre Yücel - Text Classification with Active Learning Projects: Led initiatives at Trakya University on mobile application development laboratories (2016), campus automation systems (2016), and MPEG audio querying (2008). Participated in KOSGEB's R&D Innovation Project for Dream Cash Register/Barkot Systems (2012).

Xueyuan Michael Han-VanbastelaerView profile

Assistant Professor

• Systems Security
• Privacy
• Data Provenance
• +2 more

Xueyuan Michael Han-Vanbastelaer is an Assistant Professor in the Department of Computer Science at Wake Forest University , focusing on systems-level security and privacy research. His work integrates data provenance, machine learning, and distributed systems to develop robust security mechanisms. Ph.D. in Computer Science (2022) from Harvard University Master of Science in Computer Science (2022) from Harvard University B.Sc. in Computer Science (2015) from University of California, Los Angeles His research interests span systems security , privacy , data provenance , and graph analysis , where he develops operating system infrastructures, language-level frameworks, and algorithms to enhance system transparency and detect sophisticated attacks. His publications reveal a trend of advancing provenance-based security solutions, including intrusion detection systems like KAIROS and Unicorn, eBPF security frameworks like SafeBPF, and data deletion techniques like Splice. He has contributed to 15 major publications since 2016, with recent work (2024–2025) focusing on hardware-assisted kernel security and real-time provenance auditing. His teaching includes courses like CSC 111: Introduction to Computer Science and CSC 250: Computer Systems I , covering programming fundamentals, system architecture, and memory management.

Luigi De SimoneView profile

Assistant Professor

• Dependability
• Fault Injection Testing
• Operating Systems Reliability
• +7 more

Luigi De Simone is an Assistant Professor (non-tenure track) in the Department of Information Technology and Electrical Engineering at the University of Naples Federico II. He is a member of the DESSERT (Dependable and Secure Software Engineering and Real-Time Systems) research group and collaborates with the CINI laboratory (Consorzio Interuniversitario Nazionale per l'Informatica). His academic journey at Federico II University spans from undergraduate studies through his PhD and into his current faculty position. His educational background includes: M.Eng. (2013): Master of Engineering in Computer Engineering (cum laude), University of Naples Federico II B.Eng. (2009): Bachelor of Engineering in Computer Engineering, University of Naples Federico II Luigi De Simone's research focuses on the dependability of computing systems, with particular emphasis on fault injection testing methodologies for operating systems and cloud environments. His work bridges theoretical foundations with practical applications in virtualization technologies, exploring how these technologies can enhance system reliability while addressing the challenges of mixed-criticality environments. He investigates the intersection of cloud computing, virtualization, and system dependability, with applications spanning from industrial systems to telecommunications infrastructure. His research often involves developing novel testing frameworks and analytical models to assess system behavior under fault conditions. His recent publications demonstrate a consistent focus on virtualization technologies and their application in critical systems. There's a clear trajectory from foundational work on fault injection in cloud systems to more specialized applications in 5G networks, railway systems, and Industry 4.0 environments. His research increasingly incorporates machine learning techniques for failure prediction and analysis, showing adaptation to emerging methodologies in the field. The work spans both theoretical modeling (queueing theory, performability analysis) and practical implementation (tools like ThorFI and IRIS). His notable scientific achievements include: Reusable and Available Badge (2019) for paper at ESEC/FSE PhD Thesis Award from Associazione GUFPI-ISMA (2019) Best Paper Award at NetSoft 2015 Best Student Presentation Award at ISSRE 2014 PhD fellowship from University of Naples Federico II (2014) As an educator, De Simone has taught a range of courses from fundamental computer science to advanced specialized topics, with a particular focus on virtualization technologies and advanced programming. His teaching reflects his research interests, creating a synergy between his scholarly work and educational contributions. He has been involved in numerous research grants related to dependable systems, cloud computing, and virtualization technologies, contributing to both national and international research projects. He is actively involved with the DESSERT research group, which focuses on dependable and secure software engineering and real-time systems. His work with the CINI laboratory extends his research impact into national collaborative efforts in computer science. These affiliations provide the infrastructure for his experimental work on virtualized systems and fault injection methodologies.

• Microarchitectural Side-Channel Attacks
• System Security
• CPU Security
• +6 more

Dr. Michael Schwarz is a tenured faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, where he leads the RootSec research group. Since 2020 he has been investigating microarchitectural side-channel attacks, system security, CPU security, transient-execution vulnerabilities, and corresponding defense mechanisms. He previously served as a post-doctoral researcher (2019–2020) and PhD student (2016–2019) at Graz University of Technology, after earning two master’s degrees in computer science and software engineering with a security focus. Education PhD, Graz University of Technology, 2019 — “Software-based Side-Channel Attacks and Defenses in Restricted Environments” (Advisor: Daniel Gruss) MSc, Computer Science, Graz University of Technology MSc, Software Engineering, Graz University of Technology Research Interests Dr. Schwarz’s work centers on microarchitectural side-channel attacks and system security , spanning: CPU security and transient-execution vulnerabilities (Meltdown, Spectre, Fallout, LVI, ZombieLoad, ÆPIC Leak, CacheWarp) Detection, mitigation, and formal guarantees against microarchitectural leakage Hardware–software co-design for secure operating systems and trusted execution environments Reverse engineering of CPU internals, cache architectures, and prefetchers Browser and web-platform security, including sandbox bypasses and fingerprinting Compiler security and constant-time programming enforcement Scientific Awards & Recognition 2022 Busy Beaver Award for “Foundations of Cybersecurity II” 2021 Busy Beaver Award for “Side-Channel Attacks and Defenses” 2020 EuroSys Roger Needham PhD Award 2019 IEEE S&P Distinguished Paper Award (Spectre) 2019 NSA Best Scientific Cybersecurity Paper Competition Honorable Mention (Meltdown) 2019 Open Exploit Award (Meltdown & Spectre) 2018 CSAW Best Paper Award (Meltdown) 2018 Pwnie Awards: Best Privilege Escalation Bug & Most Innovative Research 2023 USENIX Security Noteworthy Reviewer Award 2023 WOOT Best Paper Award (CustomProcessingUnit) 2022 Pwnie Award for Best Desktop Bug (ÆPIC) 2022 AI 2000 Security & Privacy Honorable Mention 2021 CCSW Best Paper Award & CSAW Best Paper 3rd Place Advising & Collaborations Dr. Schwarz currently mentors numerous PhD students and post-docs within the RootSec group. His collaborations extend across CISPA, Graz University of Technology, and an international network visible through extensive multi-author publications at top-tier venues including USENIX Security, IEEE S&P, ACM CCS, NDSS, ESORICS, DIMVA, ASPLOS, WWW, FC, and specialized microarchitecture security conferences. Labs & Teams He heads the RootSec Research Group at CISPA, whose core mission is to uncover, analyze, and mitigate microarchitectural and system-level security threats. The group maintains close links with industry partners, open-source communities, and policy makers to ensure that research findings are rapidly translated into practical defenses deployed in modern operating systems and processors.

• Microarchitectural Attacks
• Side-Channel Attacks
• System Security
• +3 more

Dr. Michael Schwarz is a tenured professor at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His research focuses on microarchitectural side-channel attacks and system security , with notable contributions to vulnerabilities like Meltdown , Spectre , and ZombieLoad . He leads the RootSec Research Group and is a regular speaker at top-tier conferences including Black Hat and IEEE S&P. PhD in Computer Science from Graz University of Technology (2019) Two master’s degrees in Computer Science and Software Engineering His work spans CPU security , transient execution attacks , and side-channel defenses , with 15 recent publications on topics like cache timing analysis, browser sandbox breaches, and compiler-induced vulnerabilities. Awards include multiple Busy Beaver Awards , Pwnie Awards , and recognition for foundational papers like Meltdown . Collaborated with Daniel Gruss (PhD advisor) Advises on hardware-software security interactions Publications reveal a trend toward microarchitectural attack surfaces and practical exploitation frameworks , often leveraging hardware features (e.g., CPU caches, prefetchers) for security analysis. He has also contributed to secure memory allocation and browser-based fingerprinting research.

Fabio PatriarcaView profile

Researcher

• Mobility Management in IP Networks
• Kernel Programming
• Business Development
• +3 more

Fabio Patriarca is a CNIT Researcher/Postdoc affiliated with the University of Rome Tor Vergata's Netgroup Lab. He holds a Ph.D. in Telecommunications and Microelectronics Engineering, focusing on Mobility Management in IP networks. His research spans kernel programming, business development strategies, and project management in technical contexts. His academic background includes a doctoral dissertation on mobility management solutions for IP networks, with publications demonstrating expertise in network performance measurement and interface selection in heterogeneous wireless environments. He has contributed to peer-reviewed journals like IEEE Transactions on Mobile Computing and presented at conferences such as MobiWac’12 and PE-WASUN’12. Currently based in Room C2-12, his work integrates technical innovation with business administration principles. Collaborations involve projects related to telecommunications infrastructure and mobile computing solutions.

Stefano SalsanoView profile

Assistant Professor

• Networking
• Telecommunications
• 5G Networks
• +7 more

Stefano Salsano is an Assistant Professor at the Department of Electronic Engineering at the University of Rome Tor Vergata since 2000. He holds a Laurea degree (1994) and PhD (1998) from the University of Rome. His research focuses on advanced networking technologies including Information-Centric Networking, SDN, Segment Routing (SRv6), 5G, and Network Function Virtualization (NFV). He has contributed to numerous EU-funded projects (e.g., INSIGNIA, ELISA, AQUILA) and led research in telecommunications at CoRiTeL until 2000. His work emphasizes scalable network architectures, performance measurement, and programmable data planes. Key projects include the OFELIA testbed, SRv6 implementation, and contributions to standards like RFC 9779. He has authored over 100 publications with an h-index of 17, addressing topics such as network programmability, cloud-native solutions, and hybrid SDN/IP systems. Research highlights include developing the DIDA framework for distributed machine learning, optimizing SRv6 for SD-WANs, and exploring 5G Superfluid Networks for dynamic service deployment. Collaborations include CNIT, Netgroup, and initiatives like the GEANT SDX project.

William JannenView profile

Associate Professor

• File Systems
• Storage Systems
• Write-Optimized Data Structures
• +7 more

William Jannen is an Associate Professor in the Department of Computer Science at Williams College. His research focuses on file systems and storage , with an emphasis on write-optimized data structures and storage stack improvements . He is a key contributor to the development of BetrFS , a Linux file system built using Bε-trees. Education: Ph.D. in Computer Science from Stony Brook University (2017) B.A. in Computer Science from Williams College (2009) Research Interests: Design and analysis of write-optimized file systems Block layer translation for shingled magnetic recording drives Application layer query models for read optimization RNA secondary structure prediction (past work) Key Projects: BetrFS: A write-optimized Linux file system OSCAR Lab (now at UNC Chapel Hill): Library operating system virtualization RNA visualization tools: RNAbows, Bindigo, Nestor Teaching: Courses include Introduction to Computer Science (CSCI 134), Algorithm Design (CSCI 256), and Storage Systems (CSCI 333). He has also taught advanced courses like Game Analysis & Aesthetics (CSCI 498).

Michalis FamelisView profile

Assistant Professor

• Software analysis
• Software design
• Empirical software engineering
• +3 more

Michalis Famelis is an Assistant Professor at the Department of Computer Science and Operations Research , affiliated with the Faculty of Arts and Sciences at Université de Montréal . He leads research in the GEODES Software Engineering Research Group , focusing on formal yet practical methods for software development. His work integrates formal verification, model-driven engineering, and empirical methods to address challenges in software design and uncertainty management. Educated at the University of Toronto (PhD 2016, MSc 2010) and the National Technical University of Athens (DiplEng 2008), he completed a postdoctoral fellowship at the University of British Columbia . He teaches courses such as IFT1025 Programming 2 and IFT6755 Software Analysis . His research projects include a Wellcome Trust-funded platform for climate-sensitive disease modeling and CRSNG grants for formal software design support. He has supervised 6 master’s students, focusing on topics like design uncertainty, API usage verification, and software product lines. Notable collaborations involve Climate-Sensitive Infectious Disease Modelling and Formal Support for Software Design . His work emphasizes improving developer workflows through tool development and empirical studies.

• Cloud Computing
• Edge Computing
• Network Functions Virtualization
• +12 more

Fulvio Giovanni Ottavio Risso is a Full Professor in the Department of Control and Computer Engineering (DAUIN) at Politecnico di Torino, where he is a member of the NETGROUP Computer Networks Research Group and leads research in cloud, edge, and software-defined networking. He is the Scientific Advisor of the European EIT Digital Partnership and serves as a representative for Politecnico di Torino in EIT Digital. He teaches core courses in Computer Engineering, including Cloud Computing Technologies, Enterprise Network Technologies, and Software Networking, and supervises several PhD students in advanced distributed systems. His research focuses on cloud computing, edge computing, network functions virtualization (NFV), software-defined networking (SDN), and high-speed packet processing. He has pioneered work in eBPF-based network functions through the Polycube framework and in computing continuum orchestration via the Liqo project. His interests extend to Kubernetes networking, real-time data plane optimization, and privacy-preserving infrastructure. He has led numerous EU, national, and industry-funded projects, including FLUIDOS (PNRR), NEWTON, RESTART, TOSHI, ASTRID, and NFV@EDGE. His recent work emphasizes liquid computing, borderless data spaces, and secure, scalable network services for 5G/6G. The recent publications reflect a strong trend in edge-to-cloud orchestration, secure and efficient data plane processing, and real-time performance optimization. Key themes include the use of reinforcement learning for scheduling in the computing continuum, Kubernetes-based edge orchestration, eBPF for in-kernel networking, and energy-aware task distribution. Projects like Liqo and Polycube are central to his vision of a programmable, fluid infrastructure. The integration of machine learning, real-time monitoring, and open-source frameworks underscores a commitment to practical, scalable solutions in modern distributed systems. Scientific Awards and Recognitions: No explicit awards listed in the provided text. Advising and Grants: Fulvio Risso supervises multiple PhD students including Attilio Oliva, Daniele Cacciabue, Davide Miola, Jacopo Marino, Stefano Galantino, Carlos Mateo Risma Carletti, and Federico Parola, whose research spans cloud-edge continuum, vehicular micro-clouds, and Kubernetes networking. He has led over 30 competitive and commercial research projects, including EU-funded initiatives (H2020, EIT), national PRIN projects, PNRR missions, and industry contracts with Rakuten Mobile. These grants focus on network programmability, edge computing, 5G/6G observability, anomaly detection, and secure orchestration, reflecting strong industry-academia collaboration. Labs and Research Groups: He is a key member of the NETGROUP - Computer Networks Group (DAUIN) and leads research activities in LAB 9 - Research Laboratory (DAUIN). He is also associated with the Interdepartmental Center PIC4SeR - PoliTO Interdepartmental Center for Service Robotics. His work is deeply integrated with open-source development, particularly through Liqo and Polycube, which are actively used in both research and industrial deployments.