جست‌وجوی استاد و پژوهشگر

• Computer Science
• Information Security
• Computer Architecture
• +۳ مورد دیگر

Prof. Roland Hellmann is a Professor at the Faculty of Electronics & Computer Science of Hochschule Aalen . He specializes in computer architecture, IT security, and secure hardware design, with a focus on educating students through textbook publications and academic contributions. His research interests include foundational aspects of cybersecurity, modern computer system design, and mitigating vulnerabilities in hardware components. He authored key textbooks such as IT Security: An Introduction (2018), used in bachelor and master-level courses, and multiple editions of Computer Architecture (2013, 2016), which are standard references for hardware-related curricula. Prof. Hellmann’s publications emphasize practical applications, including exercises and solutions for students, ensuring alignment with academic and industrial needs. His work bridges theoretical concepts with real-world security challenges in digital systems.

• Cybersecurity
• Privacy
• Threat Modeling
• +۵ مورد دیگر

Wouter Joosen is a Professor at KU Leuven (Catholic University of Leuven) in Belgium, with an extensive research career spanning from 1988 to the present. His primary research focuses on cybersecurity, privacy, and secure software engineering, with significant contributions to threat modeling frameworks, particularly LINDDUN. Dr. Joosen's research interests center around privacy-enhancing technologies , security threat modeling , and machine learning applications in cybersecurity . His work bridges theoretical security concepts with practical implementations, focusing on real-world security challenges in cloud computing, authentication systems, and data protection. He has pioneered approaches to automate threat modeling processes and develop robust security mechanisms for modern distributed systems. His publication record shows a clear evolution from traditional software security in the 1990s-2000s to contemporary research on privacy-preserving machine learning, secure infrastructure as code, and advanced authentication systems. A notable trend in his recent work (2021-2025) is the integration of machine learning techniques to enhance security mechanisms while maintaining privacy constraints, particularly in access control systems and threat modeling frameworks. Dr. Joosen has collaborated extensively with researchers across Europe, particularly with Dimitri Van Landuyt, Davy Preuveneers, Danny Hughes, and Bert Lagaisse, indicating strong research group leadership and international collaboration. His research has significant practical applications in GDPR compliance, secure authentication, privacy-preserving technologies, and robust security frameworks for cloud-native applications. His work on OAuth 2.0 security, biometric authentication, and infrastructure security directly addresses current industry challenges in securing modern web applications and services.

• Cybersecurity
• Network Security
• Database Security
• +۴ مورد دیگر

Lukas Iffländer is a Professor of Information Security at the Dresden University of Technology and Economics (HTWD), affiliated with the Faculty of Computer Science and Mathematics. He concurrently serves as Research Group Lead and Research Assistant at the Chair of Software Engineering (Computer Science II) at the University of Würzburg under Prof. Samuel Kounev. His expertise spans cybersecurity, network security, and self-aware security systems with a focus on critical infrastructure like railway systems. Education includes a PhD in Computer Science (2015-2021), M.Sc. (2012-2016), and B.Sc. (2009-2013) from the University of Würzburg. He has held roles at Siemens and contributed to projects like the German Railway Sector Cybersecurity Study. Research emphasizes threat analysis, security forecasting, and emerging technologies in transportation systems. Over 15 students have been advised across Bachelor's and Master's theses. Key publications address cybersecurity challenges in railways, dynamic ransomware detection, and security forecasting methodologies. His work has been presented at conferences like CRITIS, ICINCO, and IEEE CNS. Professional memberships include the SPEC Research Group Security Working Group.

Alexander Haackمشاهده پروفایل

پژوهشگر

• Analytical Chemistry
• Mass Spectrometry
• Ion Mobility Spectrometry
• +۳ مورد دیگر

Dr. Alexander Haack is a researcher at the Institute of Electrical Engineering and Measurement Technology, Leibniz University Hannover. His work focuses on ion mobility spectrometry (IMS), mass spectrometry, and computational modeling of chemical systems. Key research areas include ion-solvent clustering dynamics, reaction mechanisms in IMS, and the development of advanced detection technologies for chemical and biological agents. He leads the EU-funded TeChBioT project (2022), developing miniaturized GC-IMS instruments for rapid detection of chemical/biological threats. His research integrates theoretical modeling (e.g., MobCal-MPI software) with experimental validation, emphasizing practical applications in environmental and security contexts. Recent publications (2023-2025) address topics like arrival time distributions in reacting systems, fragmentation mechanisms of protonated alcohols, and machine learning approaches to IR spectrum prediction. His work bridges fundamental chemistry with engineering innovations in analytical instrumentation. Research collaborations include institutions like the American Society for Mass Spectrometry (ASMS) and the International Society of Ion Mobility Spectrometry (ISIMS). His methodological contributions advance both theoretical understanding and practical tools for chemical analysis.

Jan Gugenheimerمشاهده پروفایل

استادیار

• Human-Computer Interaction (HCI)
• Virtual Reality (VR)
• Augmented Reality (AR)
• +۳ مورد دیگر

Jan Gugenheimer is an Assistant Professor (W2 TT) at TU Darmstadt, heading the Human-Computer Interaction group. Previously, he held positions at Institut Polytechnique de Paris (Télécom Paris) and completed his PhD at Ulm University in 2019. His research focuses on Mobile/Nomadic Virtual Reality (VR), exploring challenges and opportunities in ubiquitous mixed reality contexts. He has conducted research at MIT Media Lab and Microsoft Research, and his work bridges HCI, VR/AR, and context-aware computing. Education: PhD (Ulm University, 2019), MSc (Ulm University, 2013), BSc (Ulm University, 2011). Visiting studies at Hawaii Pacific University (2012). Research Interests: VR/AR Interaction Design, Nomadic Computing, Context-Aware Systems, and Security in Mobile Environments. Notable projects include FaceTouch, GyroVR, and ShareVR, addressing touch interaction, inertia simulation, and co-located VR experiences. Teaching: Courses on User Interface Software, Media Informatics, and HCI. Supervised over 20 thesis projects, including studies on VR collaboration, security, and assistive technology. Awards: Best Paper Honorable Mention (CHI 2020), Best Paper Award (CHI 2017, DIS 2018). Active in conference organization (e.g., CHI, UIST) and reviewing across top venues.

• Edge Computing
• Wireless Networks
• Cognitive Radio Systems
• +۳ مورد دیگر

Suzan Bayhan is an academic affiliated with the University of Twente in Enschede, The Netherlands. Her research focuses on edge computing, wireless networks, and cognitive radio systems, with a strong emphasis on energy efficiency and cross-technology communication. She has contributed significantly to the development of strategies for optimizing network performance, resource allocation in edge environments, and interference management in heterogeneous networks. Her work spans theoretical analysis and practical implementations, addressing challenges in cellular networks, federated learning, and smart infrastructure security. Bayhan has collaborated with leading institutions and researchers globally, contributing to conferences like MobiCom and SIGCOMM. Her doctoral studies at Boğaziçi University (Turkey) laid the foundation for her expertise in cognitive radio networks and spectrum management. While her current position isn't explicitly stated, her extensive publication record and academic contributions align with a senior researcher or faculty role. Education: PhD in Electrical and Electronics Engineering, Boğaziçi University, Turkey (2012) Research focus: Spectrum Sharing and Energy Efficiency in Cognitive Radio Networks Research Interests: Edge Computing and Federated Learning Energy-efficient networking strategies Interference mitigation in multi-technology systems Wireless communication protocols Cross-technology communication design Advising & Grants: While specific grants aren't detailed in the provided texts, her involvement in collaborative projects (e.g., EdgeSys, NFDI4DataScience) suggests active participation in funded initiatives. No student advisees are explicitly listed. Labs/Teams: Collaborates with interdisciplinary teams on edge computing and network research, including contributions to platforms like ExEC and Elastic Edge Cloud frameworks.

• Network Security
• Secure Software Engineering
• Virtual Private Networks
• +۲ مورد دیگر

Dr. Vassilis Prevelakis is a researcher at the Institute for Computer and Network Engineering within the Faculty of Electrical Engineering, Information Technology, Physics at Technische Universität Braunschweig. He works as part of Prof. Jukan's research group and maintains an office in room 1102 A at Hans-Sommer-Straße 66, Braunschweig, with contact number +49 531 391 5285. Dr. Prevelakis received his Ph.D. from the University of Geneva in Switzerland and completed his M.Sc. and B.Sc. degrees at the University of Kent in the United Kingdom, establishing a strong foundation in computer science and engineering. His research focuses on critical areas of computer security with particular expertise in network security , secure software design methodologies , and auto-configuration issues in secure VPNs . His work addresses fundamental challenges in protecting digital infrastructure through innovative security mechanisms and protocols. Dr. Prevelakis actively contributes to the development of security standards through his involvement with the Internet Engineering Task Force (IETF), helping shape the future of secure communications infrastructure. Dr. Prevelakis has secured significant research funding from prestigious international organizations including the European Union, German Research Foundation (DFG), Defense Advanced Research Projects Agency (DARPA), and National Science Foundation (NSF), demonstrating the high impact and relevance of his research agenda. NSF CAREER award recognizing early-career academic excellence Test of Time award at CCS'13 for pioneering work on Instruction Set Randomization As an active member of Prof. Jukan's research group, Dr. Prevelakis contributes to a collaborative environment focused on advancing network security technologies. His work bridges theoretical security research with practical implementations that address real-world security challenges faced by organizations and individuals globally.

• Database Systems
• Software Engineering
• Data Integration
• +۳ مورد دیگر

Roger King is a seasoned researcher with over 40 years of contributions to computer science, particularly in database systems, software engineering, and data integration. His work spans heterogeneous database management, semantic modeling, and distributed systems, often collaborating with leading institutions like University of Colorado and Springer. 1987: Co-authored foundational paper on semantic database modeling in ACM Computing Surveys 1992: Developed FaceKit database interface design toolkit 1994: Pioneered DIRECT query facility for multiple databases Research Interests: King's work focuses on database integration , semantic interoperability , and self-adaptive systems . Notable projects include Sybil for database evolution, Cactis for object-oriented databases, and COIL mediator definition language. Key Trends: His 15 most recent publications (2024-1999) address challenges in smart data systems , autonomous systems performance , and microgrid control , reflecting sustained expertise in data semantics and system architecture.

• Semantic Web Services
• B2B Integration
• Workflow Management
• +۳ مورد دیگر

Christoph Bussler is a prominent researcher with extensive contributions to Semantic Web Services B2B Integration Cloud Computing Workflow Management Enterprise Application Integration His work focuses on semantic technologies, data engineering, and optimization frameworks. Recent publications analyze Cloud storage tier optimization Graph-based cost modeling Taxonomy for cloud storage costs Serverless-container hybrid systems SQL for NoSQL databases These studies emphasize scalable solutions and semantic interoperability. He has collaborated with experts like Dumitru Roman, Radu Prodan, and Dieter Fensel on projects involving Triple Space Computing WSMX Architecture Peer-to-Peer Service Discovery Rule-Based Classification

Aamir Ahmadمشاهده پروفایل

استاد

• Aerial Robotics
• Multi-Robot Systems
• Deep Learning
• +۷ مورد دیگر

Aamir Ahmad is a Tenure-track Professor (Flugrobotik) and Deputy Director (Research) at the Institute of Flight Mechanics and Control, Faculty of Aerospace Engineering and Geodesy, University of Stuttgart. He also leads the Robot Perception Group (RPG) at the Max Planck Institute for Intelligent Systems in Tübingen. His research focuses on aerial robotics, multi-robot systems, deep reinforcement learning, formation control, and perception-driven navigation. He leads the Flight Robotics Group (FRG) and Robot Perception Group (RPG), which are part of the Cyber Valley and IMPRS-IS initiatives. His work includes developing autonomous aerial systems for tasks like motion capture, environmental monitoring, and cooperative target tracking. Key projects include AirCap (aerial human motion capture) and GRADE (generating dynamic environments for robotics). Research interests span reinforcement learning for autonomous systems, SLAM algorithms, and bio-inspired robotics. Notable contributions include autonomous multi-rotor landing on moving platforms, viewpoint-driven airship formations, and synthetic data-driven wildlife tracking. Ahmad has secured grants such as the EU H2020-funded DeepField project. He advises PhD students through the IMPRS-IS program and offers postdoc and research positions. His groups collaborate with institutions globally and engage in open-source software development for robotics.

Jana Hofmannمشاهده پروفایل

پژوهشگر

• Information Security
• Trust in Security Systems
• Microarchitectural Side Channels
• +۳ مورد دیگر

Jana Hofmann is a tenure-track faculty member at the Max Planck Institute for Security and Privacy (MPI-SP), leading the Foundations of Information Security and Trust group. Previously, she was a postdoctoral researcher at Microsoft Azure Research and completed her PhD at Saarland University (CISPA Helmholtz Center). Her research focuses on establishing strong security guarantees for systems through formal methods, with an emphasis on microarchitectural side channels and information leakage prevention. Education : PhD, Saarland University (2022), advised by Bernd Finkbeiner M.Sc., University of Edinburgh (2016–2017) B.Sc., Saarland University (2013–2016) Research Interests : Hofmann’s work combines formal methods, programming languages, and systems approaches to address information leakage in hardware/software systems. Key areas include: Microarchitectural side-channel detection/prevention Formal leakage models and verification techniques Smart contract synthesis and hyperproperties Publications : Her recent work emphasizes practical applications of formal methods to cloud CPU security, smart contracts, and automated testing. Notable contributions include Gaussian elimination-based memory coloring and isolation techniques for cloud CPUs. Awards : Dr.-Eduard-Martin Prize (2022) for best PhD thesis in computer science Distinguished Paper Awards at CCS’24 and CSF’23 Advising & Grants : Hofmann has advised five students on theses in formal verification and security. She actively contributes to program committees for conferences like CAV, CCS, and CSF. Labs/Teams : She leads the MPI-SP Foundations group, focusing on advancing trust in security-critical systems through interdisciplinary research.

Julian Haasمشاهده پروفایل

پژوهشگر

• Research Algorithms
• Theory & Logic
• Programming Languages & Verification
• +۵ مورد دیگر

Julian Haas is a Researcher affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. His work bridges theoretical and practical challenges in programming languages, verification, and cyber-physical systems. He contributes to advancing methodologies for ensuring system correctness and security in distributed and networked environments. Research interests include algorithm design, formal logic applications, and the integration of security protocols into modern systems. His work often addresses interdisciplinary challenges at the intersection of software engineering and societal information systems. Julian collaborates within MPI-SWS’s interdisciplinary environment, contributing to projects that prioritize rigorous theoretical foundations alongside real-world system implementations. His contact details are accessible via his institute profile: https://people.mpi-sws.org/~jhaas .

Marcus Pirronمشاهده پروفایل

پژوهشگر

• Cyber-Physical Systems
• Programming Languages & Verification
• Algorithms & Theory
• +۳ مورد دیگر

Marcus Pirron is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on research in algorithms, programming languages, and cyber-physical systems. His work spans areas such as robotic systems, autonomous driving, and software verification. He actively contributes to interdisciplinary projects combining hardware and software co-design, formal verification techniques, and safety-critical systems. His research interests include Cyber-Physical Systems , Programming Languages & Verification , Robotics , and Autonomous Driving . Key themes in his publications include the development of testing frameworks for autonomous systems, automated configuration synthesis, and formal methods for robotic interactions. Marcus' recent work emphasizes Paracosm —a framework for testing autonomous driving simulations—and PGCD —a system for robot programming and verification. His articles often address challenges in concurrency, safety, and the integration of geometry and dynamics in robotic applications. Despite his prolific output, no specific awards, grants, or student advisement details are explicitly mentioned in the provided materials.

Mahmoud Salamatiمشاهده پروفایل

پژوهشگر ارشد

• Formal Methods in Control
• Learning in Control Systems
• Cyber-Physical Systems
• +۲ مورد دیگر

Dr. Mahmoud Salamati is a Research Fellow at the Max Planck Institute for Software Systems, working in the Rigorous Software Engineering group under Professor Rupak Majumdar. His research bridges formal methods, control theory, and machine learning with applications in cyber-physical systems, energy grids, and autonomous vehicles. Salamati's work develops formal verification techniques for stochastic systems and data-driven control synthesis methods. Recent publications focus on regret-free reinforcement learning for temporal logic specifications, metastable failure analysis in distributed systems, and abstraction-based controller synthesis. His research addresses fundamental questions about decidability and scalability in formal control synthesis while maintaining practical applications in energy management and autonomous systems. Key contributions include novel approaches to time-bounded reachability problems in continuous-time Markov chains, symbolic control methods for multi-agent systems, and hybrid optimization techniques for power plant control. Salamati's work demonstrates consistent integration of theoretical computer science foundations with practical engineering challenges in critical infrastructure systems.

Scott Kilpatrickمشاهده پروفایل

استاد

• Programming Languages
• Software Systems
• Modularity
• +۳ مورد دیگر

Scott Kilpatrick is a Professor at the Max Planck Institute for Software Systems (MPI-SWS), where he leads research in programming languages and software systems. His work focuses on modularity, type systems, and language design, particularly in Haskell and related technologies. Research interests include modularity in programming languages, type system design, and the integration of advanced type systems with practical language features. He has contributed significantly to modular package management (Backpack) and type-checking methodologies for complex dispatch systems. Publications emphasize foundational work on Haskell modularity and type systems, bridging theory with practical compiler implementations. His work has implications for scalable software development and maintainability in large systems. He is affiliated with MPI-SWS's Programming Languages and Software Systems group, and his research aligns with broader efforts in distributed systems security and cyber-physical systems.