Tobias Langer is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg. His affiliation includes the Technische Fakultät and Department Informatik. He focuses on invasive computing systems, runtime support systems, and distributed architectures. Research interests include distributed systems, operating systems, parallel computing, and real-time systems. His work emphasizes runtime systems for many-core architectures, resource arbitration, and virtual shared memory solutions for MPSoCs. Recent publications explore iRTSS (invasive runtime support system) and system software for future computing architectures. His research trends address scalability, resource management, and real-time challenges in modern computing environments. No scientific awards are explicitly mentioned. He has advised multiple students on topics like OctoPOS operating system development and system monitoring units. Langer's work is affiliated with the SFB/TRR 89 Invasive Computing project and contributes to the OctoPOS kernel development. His lab is part of CS 4 at FAU, located in Room 0.041-113.
Dr.-Ing. Stefan Reif is a Researcher at the Department of Computer Science 4 (Systems Software) at Friedrich-Alexander-Universität Erlangen-Nürnberg. His research focuses on Energy-Aware Systems and efficient, scalable Parallel Systems, with a particular emphasis on Operating Systems, Real-Time Systems, and Network Latency optimization. He is involved in projects such as LARN (Latency- and Resilience-Aware Networking) and PAX (Power-Aware Critical Sections), funded by the German Research Foundation (DFG). His academic activities include reviewing for top conferences like EMSOFT, EuroSys, and ISORC. Teaching contributions include courses on Concurrent Systems. Supervised theses include work on energy implications of security mitigations (Meltdown/Spectre), system-call aggregation, and energy-demand estimation for neural networks. Publications highlight innovations in energy-efficient OS configurations, cross-layer pacing for edge systems, and synchronization algorithms for real-time multi-core systems. Key research tools include the NEON middleware and ANTILLAS benchmarking framework.
Dr. Gabor Drescher is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg. He holds a Dr.-Ing. (PhD) in Computer Science from FAU, where he has been a member of the research staff since 2012. His work focuses on operating systems for many-core architectures, real-time systems, parallel computing, and security mechanisms in distributed environments. Education: 2007–2010: Bachelor of Science in Computer Science, FAU 2010–2012: Master of Science with Honors in Computer Science, FAU 2021: Dr.-Ing. in Computer Science (PhD), FAU Research interests include: LAOS (Latency-Aware Operating Systems) Non-blocking synchronization algorithms Invasive Runtime Support Systems (iRTSS) Kernel-level security and encryption (e.g., RamCrypt) Custom OS design for many-core processors Teaching includes courses on operating systems, concurrent systems, and configurable system software engineering. He has supervised multiple student theses on topics like NUMA-aware memory distribution and kernel-level security mechanisms. His research contributes to improving the scalability and predictability of operating systems in many-core environments, with applications in embedded real-time systems and high-performance computing.
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.
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-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 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.
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.
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 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.
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.
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.
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 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ț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.
