Find Academic Supervisors

Jens SchedelView profile

Researcher

• Distributed Systems
• Operating Systems
• Invasive Computing
• +3 more

Jens Schedel is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander University Erlangen-Nuremberg. His academic activities focus on invasive computing, distributed systems, and operating systems. He is affiliated with the Faculty of Engineering and collaborates with the ergoo group (Erlangen Research Group on Distributed Objects and Operating Systems). Education: 2010: Diploma Thesis: 'Design and implementation of a system abstraction layer for the I4Copter framework (QC_OSAL)' 2009: Study Thesis: 'Design and implementation of a distributed management and control software for projectors' Research Interests: Invasive Runtime Support Systems (iRTSS), aspect-oriented operating systems (CiAO), interdisciplinary quadrocopter projects (I4Copter), resource-aware programming, and embedded systems. His work emphasizes adaptive algorithms, parallel computing, and type-safe migration in safety-critical environments. Teaching: Taught courses (SP1/SP2) across multiple semesters (2010–2015), including FITS (Formal IT Systems) and PASST (Programming and Software Systems). Labs/Teams: Member of the ergoo group and contributes to the SFB/TRR 89 Invasive Computing project.

• Neurobiology
• Learning and Memory
• Neuronal Plasticity
• +3 more

Dr. Alessio Attardo is a researcher at the Department of Cellular Neuroscience, Leibn3iz Institute for Neurobiology, leading the A-Lab which focuses on the neurobiology of learning and memory. His work integrates molecular, computational, and behavioral approaches to study neuronal plasticity in the hippocampus, a brain region critical for episodic memory. His research investigates how neuronal plasticity at both single-cell and network levels enables the brain to encode and recall information, with particular interest in stress-related influences on these mechanisms. The A-Lab is affiliated with the Master program for Integrative Neuroscience at Otto von Guericke University and utilizes advanced optical imaging and core facilities. Research in the A-Lab is generously funded, though specific grants or awards are not mentioned. The lab actively seeks interdisciplinary researchers (biology, physics, engineering) to contribute to its collaborative, international environment.

Anjo Vahldiek-OberwagnerView profile

Adjunct Professor

• System Security
• Operating Systems
• Trusted Execution Environments
• +7 more

Anjo Vahldiek-Oberwagner is a Research Scientist at Intel Labs and an Adjunct Lecturer at TU Munich, where he contributes to both industrial R&D and academic education in systems and security. His work bridges hardware and software security, focusing on confidential computing, in-process isolation, and secure cloud deployments. PhD in Computer Science, Max Planck Institute for Software Systems & Saarland University, 2019 B.Sc. in Applied Computer Science, Cooperative University State University Baden-Wuertemberg, 2009 His research centers on system security, particularly techniques for protecting data confidentiality and integrity at rest, in-flight, and in-memory. He explores operating systems, distributed systems, and hardware-assisted security mechanisms such as Intel MPK and SGX. His work on ERIM, HFI, Endokernel, and Graphene has advanced secure in-process isolation and trusted execution environments. He has published extensively in top venues like USENIX Security, ASPLOS, and IEEE S&P. His recent publications reflect a strong trend toward practical, deployable security solutions for modern computing environments, including secure AI/ML deployments, efficient in-process isolation, and hardware-accelerated sandboxing. Themes include memory safety, performance optimization, and real-world applicability of security primitives. Scientific awards include: Distinguished Paper Award and Internet Defense Prize, USENIX Security 2019 (ERIM) Distinguished Paper Award, ASPLOS 2023 (HFI) IEEE Micro Top Picks 2024 (HFI) Intel Hardware Security Academic Award (Honorable Mention) DARPA Riser 2022 Intel Labs Gordy Award Honorable Mention He actively mentors and serves on program committees (EuroSys, USENIX Security, ASPLOS), chairs artifact evaluation (USENIX Security, EuroSys, SC), and is an Associate Editor for ACM TOPS. He has advised no formal students listed, but collaborates widely across Intel and academia. His work is supported by Intel and DARPA, and he holds multiple patents in secure computing and TEEs. He leads research on memory-safe architectures and secure cloud deployments at Intel Labs. He is involved in several research projects, including: Secure In-Process Memory Isolation, Shielding Applications in Untrusted Clouds via SGX, Memory-Safe Hardware and Software Architecture, and Research Artifacts and Evaluation. He is also a key contributor to the Graphene Library OS and works on validation and endorsement services for confidential computing.

Catalin HritcuView profile

Associate Professor

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +13 more

Catalin Hritcu is a Tenured Faculty member at the Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), where he leads the Formal Security Verification group. He is also an APL Professor at the Faculty of Computer Science and a member of the Horst Görtz Institute for IT Security. His research lies at the intersection of programming languages, formal methods, and cybersecurity, with a strong emphasis on building verifiably secure systems. His research focuses on formal methods for security , including secure compilation, compartmentalization, memory safety, and information flow control. He also works extensively on programming languages , particularly program verification, proof assistants, dependent types, formal semantics, and property-based testing. His applied work involves the design and verification of security-critical systems , such as compilation chains, reference monitors, tagged architectures, and high-assurance cryptography. The 15 most recent articles reflect a consistent trajectory toward machine-checked secure compilation, with a focus on mitigating undefined behavior in C through compartmentalization. His work bridges theory and practice, using formal semantics and proof assistants like F* to verify real-world systems. Key themes include software fault isolation, tagged architectures, capability machines, and scalable verification techniques for realistic languages. Scientific awards include: ERC Starting Grant for formally secure compilation Distinguished Paper Award at CSF 2019 Distinguished Paper Award at CSF 2021 Catalin Hritcu has held leadership roles in major academic venues: he is Chair of the Steering Committee of the Certified Programs and Proofs (CPP) conference, founder of the Principles of Secure Compilation (PriSC) workshop, and has served as Track PC Chair for CCS 2024, PC and Conference Chair for CPP 2020–2021, and General Chair of EuroS&P 2017. He has received competitive research grants such as the ERC Starting Grant, which supports high-risk, high-reward research in secure compilation. He leads the Formal Security Verification group at MPI-SP, which conducts cutting-edge research in secure compilation and formal verification. The group actively contributes to the development of verification tools like F* and SECOMP, and collaborates with leading institutions including Inria, Microsoft Research, and academic partners in Europe and the US.

• Affective Neuropsychology
• Emotion Processing
• Clinical Neuroscience
• +12 more

Prof. Dr. Johanna Kißler is a full Professor of General Psychology and Affective Neuroscience at Bielefeld University, affiliated with the Faculty of Psychology and Sport Science and the Department of Psychology. She leads the Affective Neuropsychology research unit (Unit 02) and is a key member of the Center for Cognitive Interaction Technology (CITEC), where she serves on the Board of Directors and leads a participating research group. She is also involved in the Center for Interdisciplinary Research (ZiF) as a board member and co-leads a subproject in the Collaborative Research Center SFB 1646 on linguistic creativity. Her research focuses on the neural mechanisms underlying emotion and language processing, particularly in clinical populations such as patients with epilepsy and disorders of consciousness. Using EEG, fMRI, and behavioral methods, she investigates emotional face and word perception, memory, emotion regulation, and verbal fluency. Her work often examines the impact of brain lesions, especially in the temporal and frontal lobes, on cognitive and affective functions. She has led numerous third-party funded projects from the German Research Foundation (DFG), federal agencies, and foundations, including the NeuroCommTrainer project aimed at developing brain-computer interfaces for severely brain-damaged patients. Her recent publications reflect a strong trend in affective neuroscience, clinical neuroimaging, and neurolinguistics, with a focus on EEG/ERP markers, gamma-band activity, hemispheric specialization, and multimodal assessment of emotional and cognitive processing. Themes include emotion regulation in epilepsy, social feedback processing, and the neural basis of linguistic creativity. German Research Foundation (DFG) Federal Government (Bund) Foundations (Stiftungen) She has received research funding for projects on memory in epilepsy, emotion processing, and brain-computer interfaces. She has supervised students and contributed to academic governance, having served as Dean of the Faculty of Psychology and Sports Science (2016–2019) and Dean of Graduate Studies (2013–2016). She teaches courses in psychology and medicine, including clinical neuropsychology and communication in medical contexts. Prof. Kißler is actively involved in interdisciplinary research teams, including CITEC, SFB 1646, and ZiF, where she collaborates on advanced topics in cognitive interaction, linguistic creativity, and consciousness research. Her lab focuses on affective neuropsychology, utilizing electrophysiological and neuroimaging methods to explore emotion-language interactions and clinical applications in neurorehabilitation.

Franz KreuplView profile

Professor

• Nanotechnology
• Materials Science
• Graphene Applications
• +5 more

Prof. Franz Kreupl is a Professor of Electrical Engineering and Head of the Department of Hybrid Electronic Systems at the Technische Universität München (TUM) since 2011. He holds a Diploma in Physics (1994) and a Dr. rer. nat. in Physics (1999) from the University of Regensburg. His research focuses on carbon-based materials (nanotubes, nanowires, graphene) for electronic components, sensors, interconnects, and energy storage. Key contributions include pioneering work on graphenic carbon for DRAMs, 3D storage technologies, and X-ray transmission windows. Prof. Kreupl has held roles at Siemens, Infineon, Qimonda, and SanDisk, leading R&D in nanomaterials and memory systems. He is a Senior Member of IEEE, member of the German Physical Society (DPG), and contributed to the International Technology Roadmap for Semiconductors (ITRS). His awards include the Rohde & Schwarz Prize (2017), SanDisk Patent Awards (2011/2010), and the Qimonda Innovation Award (2008). Key Projects: First integrated carbon nanotube vias (2001), graphene-based DRAM (2005), graphenic carbon X-ray windows (2015). Professional Roles: Vice Chairman of the Supervisory Board of Erlus AG, reviewer for Science/Nature, and expert for EU and BMBF initiatives. His research spans nanomaterials integration into semiconductor devices, with over 100 publications, 390+ patents (110 granted), and citation index h=44.

Jan KretinskyView profile

Professor

• Verification
• Synthesis
• Probabilistic Model Checking
• +7 more

Jan Kretinsky is a full professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic, and holds an affiliated professorship at the Chair for Foundations of Software Reliability and Theoretical Computer Science at Technical University of Munich (TUM), Germany. He specializes in formal methods, focusing on verification and synthesis of probabilistic systems, applications of machine learning in verification, and explainable AI. His research bridges theoretical foundations with practical tools, including the Automata Tutor teaching platform and the Rabinizer tool for LTL-to-automata translation. Education: PhD from TU Munich (advisor: Javier Esparza) and Masaryk University (advisor: Antonín Kučera), both with distinction. Previously an IST Fellow at IST Austria and a tenure-track assistant professor at TUM. Research interests span verification of neural networks, probabilistic model checking, temporal logics, and automata theory. He leads the LiVe Lab and collaborates on EU projects like the ERC grant InOVationCS. Active in organizing workshops (LiVe series, Dagstuhl seminars) and serves on program committees for conferences like CONCUR, LICS, and TACAS. Teaching includes courses on complexity, automata theory, and quantitative verification at both institutions. Supervised numerous PhD and master's students, with notable projects in decision tree controllers, runtime monitoring, and attack-defense analysis. Key grants include DFG projects (e.g., GOPro, ConVeY) and EU initiatives. Tools developed: Automata Tutor, Rabinizer series, dtControl, SeQuaiA, and QUADTool. Research highlights include PAC guarantees for MDPs, semantic abstraction for motion planning, and formal methods for cybersecurity.

Paul ScifleetView profile

Associate Professor

• Information Governance
• Enterprise Information Management
• Digital Economy
• +5 more

Dr. Paul Scifleet is an Associate Professor of Information Systems at Swinburne University of Technology's Department of Business Technology and Entrepreneurship, affiliated with the School of Business, Law and Entrepreneurship. He holds a PhD in Information Systems from the University of Sydney. As Co-Director of the Information Systems for Social Impact (IS4SI) research group, his work focuses on socio-technical dimensions of information governance, digital economy challenges, and AI ethics in enterprise contexts. He is a Chief Investigator at the Australian Research Council's Centre for Information Resilience (CIRES) and a Visiting Research Fellow at the University of Koblenz, Germany. Research Interests: Scifleet's expertise spans information governance frameworks, AI explainability, digital ethnography, and the societal impacts of emerging technologies. His recent projects include studying digital self-tracking in sports, AI-driven emissions monitoring, and workplace surveillance ethics. He applies interpretive methodologies to explore how technologies reshape human information behaviors and organizational practices. Awards & Grants: Notable recognitions include an Outstanding Reviewer Award (2015) and Emerald Literati Network Awards. He leads ARC-funded initiatives like the CIRES Centre and projects on AI explainability in information architecture. Previous roles include visiting scholarships at the University of Sheffield and Charles Sturt University. Professional Contributions: Scifleet advises on information systems audit standards (ISACA) and chairs committees for conferences like DOCAM 2015. His collaborations extend to industry partners like Astral Consulting and Tableau, driving initiatives to enhance data literacy and analytics education.

• Art History
• Digital Humanities
• Ornamentation Analysis
• +3 more

Ines Röckl, MA, is a Lecturer at the Institute of Art History within the Faculty of Philosophy, Arts, History and Social Sciences at the University of Regensburg. She specializes in digital methodologies for analyzing ornamental forms and public art, collaborating with computer vision experts in interdisciplinary projects. Her research focuses on 18th-century Rocaille prints and the intersection of art, architecture, and technology. She is a core researcher in the DFG-funded project Digital Morphology of Ornamentation , supervising the art history component. Recent lectures include discussions on architectural mobility (Hamburg, 2022), Zaha Hadid’s design processes (Regensburg, 2021), and 20th-century art spaces (Düsseldorf, 2020). Publications include analyses of illuminated church structures, such as the Stephansdom’s Himmelsleiter and the Köln Dom’s 2018 installation. Her work bridges historical art analysis with contemporary digital tools, emphasizing material exploration and morphological research.

• Social Inequality
• Gender Inequality
• Modern Antisemitism
• +6 more

Stefan Munnes is a Research Fellow at the Work, Family and Social Inequality research professorship of the Wissenschaftszentrum Berlin für Sozialforschung (WZB), where he has worked since May 2023. He holds a degree in Sociology from the University of Potsdam and has been involved in computational social science research since 2018, initially as a data analysis assistant and later as a research assistant in the junior research group Work and Care. Research Interests: Analysis of social inequality (particularly gender inequality and modern antisemitism) Computer-assisted methods for inequality research Text data analysis and computational social science Care work dynamics and pandemic impacts Academic Activities: Pursuing a PhD since May 2023 on automated classification methods in creative arts inequality Organizing the Berlin Summer Institute in Computational Social Science (since 2023) Contributing to comparative studies on digital labor markets Methodological Expertise: Specializes in processing internet and text data, with a focus on machine learning applications for social science research. His work includes pandemic-related data collection challenges and home office impact analyses.

Amal AhmedView profile

Professor

• correct and secure compilation
• linking types for multi-language software
• typed compilation of dependent types
• +5 more

Amal Ahmed is a Professor in the Department of Computer Science at Northeastern University's College of Computer and Information Science. She is an active researcher and academic leader in programming languages, with significant contributions to type systems, compiler verification, and language interoperability. Her work bridges theoretical foundations with practical systems applications, particularly in the areas of gradual typing and secure compilation. Dr. Ahmed's research focuses on correct and secure compilation , linking types for multi-language software , typed compilation of dependent types , semantics and logical relations , gradual typing , and safe language interoperability . Her work explores how to formally verify compilers and ensure type safety across language boundaries, with applications to modern systems like WebAssembly. She has developed novel semantic approaches to application binary interfaces and language interoperability that provide strong security guarantees. Her recent publications show a consistent focus on formal methods for language design, with increasing attention to probabilistic programming and separation logic. She has made significant contributions to understanding how gradual typing systems can maintain parametricity and how borrowing concepts from Rust can be formally modeled. Her work on RichWasm demonstrates practical applications of her theoretical research to web technologies. Dr. Ahmed actively serves the programming languages community through leadership roles in major conferences. She has chaired program committees, organized workshops, and mentored students through the Programming Languages Mentoring Workshop (PLMW). Her involvement spans POPL, ICFP, PLDI, SPLASH, and related conferences, where she regularly presents research and participates in steering committees. As an educator and mentor, she has presented numerous talks on managing research, working with advisors, and navigating academic careers, particularly through the PLMW series. She has chaired doctoral symposia and served on review committees, demonstrating her commitment to developing the next generation of programming languages researchers.

Cătălin HrițcuView profile

Adjunct Professor

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +12 more

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, and an Adjunct Professor at Ruhr University Bochum's Faculty of Computer Science. He is involved in the CASA Cluster of Excellence and HGI at RUB. PhD in Computer Science from Saarland University Habilitation in Computer Science from École Normale Supérieure (ENS) Paris Former Tenured Researcher at Inria Paris Postdoctoral Research Associate at University of Pennsylvania Visiting Researcher at Microsoft Research Redmond His research spans formal methods for security , focusing on secure compilation, memory safety, compartmentalization, information flow control, and security protocols. In programming languages , he explores program verification, proof assistants like F*, dependent types, formal semantics, and mechanized metatheory. He also works on verifying security-critical systems such as reference monitors, compilation chains, and tagged architectures. His recent publications (2015–2025) emphasize secure compilation techniques, relational program logics, memory safety, and proof automation in F*. Key trends include formal verification of IO programs, high-speed cryptography, and cross-component security analysis. Scientific Awards : ERC Starting Grant on Formally Secure Compilation Distinguished Paper Awards at CSF Symposium (2019, 2021, 2025) Hrițcu has advised numerous PhD students and collaborated on F* verification system development. He has served on program committees for CPP, POPL, PriSC, and ICFP, and organized artifact evaluation committees. He leads the Formally Verified Security group at MPI-SP and contributes to the CASA Cluster of Excellence, focusing on formal verification of security-critical systems and advancing secure compilation frameworks.

Marco VassenaView profile

Assistant Professor

• Programming Languages
• Security
• Language-based Security
• +7 more

Marco Vassena is an Assistant Professor in the Department of Information and Computing Sciences at Utrecht University, Netherlands. His research bridges Programming Languages and Security, developing principled methods to build systems with reliable security guarantees through language-based techniques. Previously, he served as a visiting assistant professor at Stanford University and as a postdoctoral researcher at CISPA Helmholtz Center for Information Security, where he co-founded the CISPA-Stanford Center for Cybersecurity. Education PhD in Computer Science, Chalmers University of Technology (supervised by Alejandro Russo) Dr. Vassena specializes in language-based security, with core expertise in memory safety (particularly for WebAssembly via his MSWasm framework), constant-time programming for cryptographic code, information flow control, and defenses against microarchitectural attacks like Spectre. His work applies type systems, compilers, program analysis, and formal verification to create practical security solutions for real-world systems, often targeting low-level vulnerabilities in hardware and software interactions. Analysis of his 15 most recent publications reveals a clear evolution: starting with foundational work on information flow control for concurrent and lazy programs (2016-2019), progressing to memory safety for WebAssembly (2019-2023), and culminating in robust constant-time cryptography (2021-2025). A consistent theme is addressing hardware-level vulnerabilities through compiler and language techniques, with increasing focus on practical implementations for WebAssembly and cryptographic systems. Scientific Awards Veni grant (2023) - Prestigious Dutch Research Council award for early-career researchers Dr. Vassena actively mentors future researchers through Utrecht University's PhD program, currently advertising open positions for candidates interested in applying compilers and program analysis to security challenges. His Veni grant funds these efforts while supporting his research on verified security techniques. He contributes extensively to the academic community as program committee member for POPL, PLDI, and PriSC conferences, and has organized workshops including PLMW@PLDI and PriSC sessions. His collaborations span institutions like CISPA Helmholtz Center and Stanford University, often focusing on WebAssembly security and microarchitectural attack defenses.

Dimitrios VytiniotisView profile

Researcher

• Machine Learning
• Functional Programming
• Array Programming
• +3 more

Dimitrios Vytiniotis is a researcher at Google DeepMind , with a strong focus on programming languages and machine learning. His work bridges the gap between functional programming and practical applications in differentiable programming and memory management. Active PC member in OOPSLA (SPLASH 2023), POPL (2025), and ICFP tracks Contributed to compiler optimization and type system design Research spans: Machine learning infrastructure with programming language integration Safer manual memory management in .NET environments Impredicative polymorphism and type inference techniques His recent publications reveal expertise in combining array programming with differentiable computation, while actively shaping academic discourse through committee participation.

Gerald HempelView profile

Researcher

• Computer Architecture
• Embedded Systems
• High-Performance Computing
• +4 more

Dr.-Ing. Gerald Hempel is a researcher at Dresden University of Technology (TU Dresden) with active contributions to computer architecture and embedded systems from 2015–2023. His work bridges hardware/software co-design through domain-specific languages and compiler techniques, primarily within the Faculty of Electrical and Computer Engineering context. His research spans: Domain-Specific Languages for hardware acceleration Memory optimization in high-performance computing Reconfigurable computing using FPGAs Many-core and heterogeneous system design Bio-inspired algorithms for robust system mapping Racetrack memory applications in brain-inspired cognition Publication analysis reveals consistent focus on compiler-driven hardware acceleration, particularly for computational fluid dynamics and cognitive systems. His work emphasizes memory architecture innovations (e.g., high-bandwidth memory, caching) and bio-inspired robustness techniques, often through collaborations like the EVEREST consortium for compilation frameworks. No scientific awards were documented in the source material. No student advising or grant information was provided in the available texts. Dr. Hempel collaborates within TU Dresden's research ecosystem, notably with the EVEREST consortium and chairs including Compiler Construction and Emerging Electronic Technologies. His work on tools like Mocasin demonstrates active participation in teams developing rapid prototyping frameworks for heterogeneous multi-core systems and FPGA-based accelerators.