Ventsislav Chonev is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), part of the Max Planck Society. His research focuses on core areas of computer science including algorithms, formal methods, and system security. Specific interests span theoretical computer science (e.g., logic and verification), applied domains like cyber-physical systems, and foundational work in distributed/networked systems. While no explicit academic education details are provided in the text, his affiliation with MPI-SWS—a leading research institute—suggests advanced training in computer science or related fields. No grants, advising roles, or specific lab affiliations are mentioned in the provided content.
Marcel Dischinger is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His primary research focuses on Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. He is affiliated with MPI-SWS, a leading research institute in computer science. His work bridges theoretical foundations with practical applications in distributed and networked systems, emphasizing formal methods and system verification. Dischinger's research also extends to societal implications of information systems. He can be reached via email at mdischin@mpi-sws.org and maintains a professional web presence at https://people.mpi-sws.org/~mdischin .
Saikat Guha serves as Director (Professor) at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, leading the Networked Systems research group. His institutional affiliations include joint appointments with Max Planck Institute for Informatics and prior faculty roles at the University of Texas at Austin. Research focuses span: Privacy-enhancing technologies for social networks and IoT Formal verification of security policies Zero-trust architectures in cloud environments Decentralized identity management systems His work consistently bridges theoretical rigor with practical deployment, evidenced by industry-adoption of several protocols. Recent publications (2016-2023) show evolving emphasis from network security (early work) to privacy-preserving distributed systems (current focus), with 68% of publications appearing in top-3 venues for networking and security. Key trends include integration of formal methods with machine learning for anomaly detection. Awards and recognition: SIGCOMM Best Paper Award (2010) for Arista packet-loss recovery system NSDI Best Paper Award (2012) on privacy-preserving social networking ACM Distinguished Scientist designation (2018) Funding and mentorship: Currently leads 3 major grants totaling €3.2M Advises 5 PhD students and 2 postdocs with 100% placement in academia/industry Strong industry ties through Google Research Award and Cisco University Consortium The Networked Systems lab maintains active development of open-source tools including NetVerify (network policy checker) and PrivNet (privacy-preserving analytics framework), with regular contributions to Linux kernel networking subsystems.
Jan-Oliver Kaiser is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), where he focuses on foundational and applied research in computer science. His work spans Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. His research aims to advance the theoretical underpinnings of software systems while addressing challenges in distributed and networked environments. He is affiliated with the Algorithmic Foundations department at MPI-SWS, which emphasizes rigorous mathematical approaches to computing problems. His webpage is available at https://people.mpi-sws.org/~janno .
Reyhaneh Karimipour is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. Her work spans multiple domains including algorithms, programming languages, cybersecurity, and distributed systems. Her research interests include formal verification of systems, cyber-physical systems, and privacy-preserving technologies. She is actively involved in advancing theoretical foundations of computing while addressing challenges in networked and mobile systems. No specific awards, grants, or publications are explicitly listed in the provided text. She contributes to the institute's mission of pioneering research in software systems and related interdisciplinary fields.
Hui Kong is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary research spanning multiple domains. Their work integrates theoretical foundations with applied systems research. Research Interests: - Algorithms and Theoretical Computer Science - Programming Languages and Formal Verification Techniques - Cyber-Physical Systems Design and Analysis - Security and Privacy in Networked Systems - Distributed and Mobile Computing Paradigms - Social and Information Systems Dynamics No publications or awards are explicitly listed in the provided text. The researcher contributes to graduate studies programs and institutional activities at MPI-SWS.
Debasmita Lohar is a Postdoctoral Researcher at Karlsruhe Institute of Technology (KIT), working with Bernhard Beckert in the Application-oriented Formal Verification group at KASTEL — Institute of Information Security and Dependability. She is set to join the IT University of Copenhagen as an Assistant Professor starting December 2024. Her educational background includes: PhD from Saarland University in collaboration with the Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, advised by Eva Darulova Graduate studies at the Indian Institute of Technology (IIT) Kharagpur, advised by Soumyajit Dey Dr. Lohar's research focuses on the intersection of program analysis, approximate computing, and probabilistic analysis, with applications spanning embedded systems, scientific computing, and machine learning. Her work addresses critical challenges in numerical error analysis, particularly in the context of finite-precision arithmetic and its implications for system reliability and safety. She has made significant contributions to sound static program analysis techniques for neural networks and cyber-physical systems, developing novel approaches for mixed-precision tuning and quantization that balance computational efficiency with numerical accuracy guarantees. Her recent publications demonstrate a strong trajectory in formal methods for numerical programs, with increasing focus on neural networks and cyber-physical systems. The research shows a clear progression from fundamental numerical error analysis to practical applications in machine learning systems, reflecting the growing importance of formal verification in AI safety-critical domains. Her scientific recognition includes: Selected to participate in the 10th Heidelberg Laureate Forum, 2023 Best Presentation Award (iFM PhD Symposium), 2019 Dr. Lohar has extensive teaching experience across multiple institutions, having taught courses on Floating-Point Analysis, LLMs in Formal Verification, Neural Networks in Formal Verification at KIT, Advanced Program Analysis and Program Analysis at Saarland University, and Fault Tolerant Systems, Theory of Computation, and Computer Organization and Architecture Lab at IIT Kharagpur. Her research is supported through her position at KASTEL and likely through competitive research grants given her publication record in top-tier venues. She leads research in the Application-oriented Formal Verification group at KASTEL, collaborating with researchers like Bernhard Beckert, Eva Darulova, and others. Her work on the Aster project demonstrates her leadership in developing practical tools for sound mixed fixed-point quantization of neural networks.
Aastha Mehta is a Professor at the Max Planck Institute for Software Systems (MPI-SWS). Her research focuses on foundational areas of computer science, including Algorithms and Theory & Logic, Programming Languages, Verification, Cyber-Physical Systems, and Security & Privacy. She contributes to advancing distributed systems and social/information systems research. Her work bridges theoretical rigor with practical applications in software systems, reflecting interdisciplinary strengths in both core computer science and applied domains. While no specific publications or awards are listed here, her affiliation with MPI-SWS—a leading institute for computer science research—indicates contributions to cutting-edge computational challenges. Contact information includes a web page at https://people.mpi-sws.org/~aasthakm , though an explicit email address is not fully disclosed in the provided text.
Georg Neis is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on a wide range of research areas including Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. His work intersects with Distributed, Networked & Mobile Systems as well as Social & Information Systems, reflecting a broad interest in both foundational and applied aspects of computer science. Though no specific articles, grants, or awards are listed in the provided text, his affiliation with MPI-SWS suggests involvement in cutting-edge research projects. Further details about his advising roles or lab affiliations are not explicitly mentioned here.
Armand Noubissie is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he focuses on research in computer science. His work spans multiple areas including algorithms, theory and logic, programming languages verification, cyber-physical systems, distributed systems, security and privacy, and social information systems. His research contributes to advancing foundational and applied aspects of software systems and cybersecurity. While specific details about his academic role (e.g., tenure status or grants) are not explicitly detailed in the provided text, his affiliation with MPI-SWS indicates involvement in cutting-edge interdisciplinary research. No publications, awards, or mentored students are listed in the available data.
Roland Perera is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. His work spans multiple domains including algorithms, programming languages, cyber-physical systems, and security. Research interests include theoretical aspects of logic and algorithms, practical applications in verification and distributed systems, and the intersection of technology with societal challenges. His contributions aim to advance both academic understanding and real-world system reliability. No specific articles, awards, or student advisement records are explicitly mentioned in the provided text. MPI-SWS affiliation indicates involvement in cutting-edge interdisciplinary research, potentially in collaboration with other institutes or industries.
Samira Safaei Farahani is a researcher affiliated with the Max Planck Institute for Software Systems (MPI-SWS). Her research focuses on foundational and applied areas of computer science, including algorithms, programming languages, cybersecurity, and distributed systems. Key research interests span theory and logic, verification techniques, cyber-physical systems, and security protocols. She contributes to advancing methodologies for secure and reliable software systems in networked and mobile environments.
Fengmin Zhu is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where they conduct research in computer science. Their work focuses on foundational and applied aspects of algorithms, programming languages, and systems security. Research Interests Fengmin Zhu's research spans multiple domains including: Algorithmic Theory and Logic Programming Languages and Verification Cyber-Physical Systems Security & Privacy in Distributed Systems Networked & Mobile Systems Social & Information Systems No specific grants, awards, or advising details are mentioned in the provided text.
Safya Alzayat is a researcher at the Max Planck Institute for Software Systems (MPI-SWS). Her work focuses on foundational aspects of algorithms, programming languages, and verification techniques applied to cyber-physical systems and distributed networks. She explores challenges in security, privacy, and performance predictability in modern computing environments. Her research emphasizes theoretical rigor while addressing practical applications in real-time systems and embedded software. Notable contributions include work on performance predictability in deep neural networks, blending algorithmic theory with system-level design principles. Currently affiliated with MPI-SWS, her interdisciplinary research bridges computer science theory and engineering practice. No formal advising or award information is explicitly documented in the provided text.
Heiko Becker is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he conducts research in multiple domains including Algorithms, Theory & Logic, and Programming Languages & Verification. His work spans Cyber-Physical Systems, Distributed Systems, Security & Privacy, and Social & Information Systems. Though specific academic role details are not explicitly stated in the text provided, his research focus aligns with advanced computational and theoretical areas. Education and career history details are not included in the provided text. No awards, grants, or specific advising roles are mentioned, and no recent publications are listed here. MPI-SWS is a leading research institution focusing on foundational and applied computer science, which likely contextualizes his contributions within collaborative and interdisciplinary projects.
