Find and connect with academic supervisors, professors, and scholars for your research journey.
Showing 736-750 of 1,446 supervisors
Profile data may be stale. It is sourced from public faculty pages.
Researcher
Alaa Megahed is a Faculty member at the Max Planck Institute for Software Systems (MPI-SWS) affiliated with the Algorithms, Theory & Logic department. Their research spans critical areas in computer science, including distributed systems, programming languages, security, and social systems.
Associate Professor
Dr. Azalea Raad is an Associate Professor (Reader) in the Department of Computing at Imperial College London, leading the Veritas Lab. She is also co-director of the UK Research Institute on Verified, Trustworthy Software Systems (VeTSS). Her research focuses on programming languages, formal verification, and weak memory models, with contributions to persistent memory technology and concurrency. Raad has held visiting roles at Facebook and Bloomberg, and has been recognized with awards such as the UKRI Future Leaders Fellowship and the SIGPLAN Distinguished Paper Award. Her work bridges theoretical foundations with practical tools for ensuring software correctness. Education & Roles: PhD (Imperial College London, 2016) Reader/Associate Professor (Imperial College London, 2021–present) Co-Director, UK VeTSS Institute (2023–present) Research Interests: Her research explores formal methods for persistent programming, including non-volatile memory semantics, weak memory models, and concurrency. She develops tools like Incorrectness Separation Logic and frameworks for verifying binaries (e.g., IsaBIL). Her work emphasizes practical applications in industrial settings, such as Intel PMDK transactions and RDMA robustness. Grants & Awards: EPSRC Research Grant: Safe and Secure Remote Direct Memory Access (2023) UKRI Future Leaders Fellowship (2021) Meta Research Gift (2022) Imperial College President’s Award (2021) Professional Activities: Program Committee Member: ESOP (2024), CAV (2022), ICFP (2022) Keynote Speaker: MFPS (2022), PLDI (2021) Labs & Teams: Leads the Veritas Lab, focusing on verified software systems, and collaborates with industry partners like Intel and Bloomberg through applied research initiatives.
Researcher
Saurabh Agarwal is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), specializing in theoretical and applied computer science. His research focuses on algorithms, programming languages, cyber-physical systems, and security/privacy in distributed and networked environments. He contributes to the MPI-SWS academic community through graduate studies programs and collaborative research initiatives. Education details are not explicitly provided in the text, but his affiliation with MPI-SWS suggests advanced academic qualifications in computer science. Research interests include formal verification, distributed systems architecture, and interdisciplinary applications of software systems in social and information contexts. No specific articles, awards, or student advisement records are listed here. MPI-SWS provides a collaborative environment for his work, with potential involvement in labs or teams focused on cutting-edge computing challenges.
Researcher
Carlo Angiuli is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he holds the role of Researcher in the Department of Algorithms, Theory & Logic. His research focuses on foundational computer science areas including programming languages, formal verification, and theoretical aspects of distributed systems. He contributes to advancing methodologies for ensuring correctness in complex software systems, particularly in contexts like cyber-physical systems and security. His work bridges theoretical computer science with practical applications in distributed networks and mobile systems. While specific awards or grants are not detailed in the provided text, his involvement with MPI-SWS underscores a commitment to cutting-edge research in these domains.
Researcher
Miguel Ferreira Alves is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on advanced computational research. His work spans multiple critical areas including Algorithms, Theory & Logic , Programming Languages & Verification , and Cyber-Physical Systems . He is deeply involved in exploring Distributed and Networked Systems , with a strong emphasis on Security & Privacy and Social & Information Systems . As part of the MPI-SWS community, he contributes to graduate studies and research infrastructure. His research aligns with the institute's mission to advance software systems science, though specific grants, lab affiliations, or advising roles are not documented in the provided text.
Researcher
Min Gao is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where they conduct research in multiple areas including Algorithms, Theory & Logic, and Cyber-Physical Systems. Their work spans Distributed Systems, Security & Privacy, and Social & Information Systems. Research interests prominently feature Programming Languages & Verification, reflecting a focus on foundational aspects of software and systems. While no specific publications, awards, or academic roles beyond 'Researcher' are explicitly detailed in the provided text, their involvement with MPI-SWS indicates engagement with cutting-edge computational research.
Research Professor
Ehsan Goharshadi is a Research Professor at the Max Planck Institute for Software Systems (MPI-SWS), a leading research institute in computer science. His work focuses on theoretical and applied aspects of computing, including algorithms, programming languages, and system security. He is part of the institute's faculty, contributing to its mission of advancing foundational and applied research in software systems. His research interests span Cyber-Physical Systems, Distributed and Networked Systems, and Privacy-Preserving Technologies. He is involved in shaping graduate studies at MPI-SWS, where the program emphasizes interdisciplinary collaboration and rigorous academic training. The institute also offers postdoctoral and internship opportunities, reflecting its commitment to fostering talent in computer science. While specific grants, awards, or lab affiliations are not detailed in the provided text, his role at MPI-SWS underscores his involvement in cutting-edge research and education in software systems.
Researcher
Divya Gupta is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where she conducts research in key areas such as Algorithms, Theory & Logic, Programming Languages & Verification, and Cyber-Physical Systems. Her work also spans Distributed and Mobile Systems, Security & Privacy, and Social & Information Systems. She contributes to the Institute's academic and research initiatives, potentially involved in graduate education programs. While specific details on her educational background, grants, or lab affiliations are not explicitly provided in the text, her research profile aligns with the interdisciplinary focus of MPI-SWS, emphasizing foundational computer science and applied systems research.
Professor
Einar Horn is a faculty member at the Max Planck Institute for Software Systems (MPI-SWS), specializing in theoretical and applied computer science. His work bridges multiple domains within computing, including algorithm design, formal verification, and cybersecurity. Research Focus: Algorithms, Programming Languages, Cyber-Physical Systems, and Distributed Systems. Affiliation: Department of Computer Science at MPI-SWS. His research explores foundational issues in software systems, with applications to networked and mobile systems, privacy, and social informatics. Despite no articles or awards explicitly listed here, his position at MPI-SWS underscores his contributions to advancing theoretical and practical challenges in computing.
Researcher
Nicolas Loosen is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His research focuses on Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and related areas such as Distributed Systems, Security & Privacy, and Social & Information Systems. He contributes to the academic community through his work at MPI-SWS, though specific details about his advising, grants, or lab affiliations are not explicitly mentioned in the provided text.
Researcher
Ankit Malik is a faculty member at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. His primary affiliation is with the Department of Computer Science, where he contributes to the institute's mission in advancing software systems research. His research interests span a broad range of areas including Algorithms and Theory, Programming Languages, Cyber-Physical Systems, Distributed Systems, Security, and Social Information Systems. He actively participates in shaping graduate studies at MPI-SWS, which offers a structured doctoral program emphasizing interdisciplinary collaboration and innovation. While specific publications or awards are not detailed in the provided text, his involvement in the institute’s research initiatives and faculty role underscores his contribution to cutting-edge advancements in software systems and related fields.
Researcher
Mohan Matteplackel is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on research in Computer Science. His work spans multiple disciplines including Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. He is part of the research community at MPI-SWS, contributing to advancements in distributed systems and information security. His research interests emphasize cutting-edge topics such as formal methods for software verification, resilient cyber-physical systems, and the societal implications of information systems. While specific grants, awards, or publications are not detailed here, his involvement with MPI-SWS underscores a commitment to interdisciplinary and foundational computing research.
Researcher
SubbaReddy Oota is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary research in computer science and systems engineering. His work spans multiple domains including algorithms, programming languages, cybersecurity, and distributed systems. Research interests include theoretical foundations of logic programming, verification techniques for cyber-physical systems, and privacy-preserving distributed computing. While specific academic roles beyond 'Researcher' are not explicitly detailed in the text, his affiliation with MPI-SWS indicates active involvement in cutting-edge research initiatives. No specific publications, awards, or student advisees are listed in the provided text, suggesting this may be a truncated or navigational page snippet.
Researcher
Pratyush Ashesh Patel is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he conducts research in key areas such as Algorithms, Theory & Logic, Programming Languages & Verification, and Cyber-Physical Systems. His work also spans Distributed, Networked, and Mobile Systems, alongside Security & Privacy and Social & Information Systems. While specific academic roles like tenure-track positions or postdoctoral appointments are listed in the institute's career opportunities, no explicit details about his personal academic rank, grants, or awards are provided in the text. He contributes to the institute's research and possibly advises doctoral students or interns, though no student names are listed here. His research interests reflect a strong focus on foundational computer science disciplines, with applications to real-world systems and societal challenges. MPI-SWS provides a collaborative environment for such pursuits, supported by its structured graduate studies and interdisciplinary teams.
Researcher
Hasnain Ali Pirzada is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he contributes to research in computer science. His work focuses on areas such as algorithms, theory, programming languages, cyber-physical systems, security, and distributed systems. The institute is part of the Max Planck Society, a leading research organization in Germany.
Showing search results up to the first 750 matches. Narrow your search with filters to find more specific results.
