Rust Programming Language Professors and Supervisors in Germany | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 59 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Nadia PolikarpovaView profile

Associate Professor

Max Planck Institute for Software SystemsGermany

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Official University Profile

Alexander PretschnerView profile

Professor

Technical University of MunichGermany

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Official University Profile

Ruben MartinsView profile

Assistant Professor

Max Planck Institute for InformaticsGermany

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

Official University Profile

Michael SammlerView profile

Assistant Professor

Max Planck Institute for Software SystemsGermany

Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.

Official University Profile

Jingling XueView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.

Official University Profile

Shaohua LiView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Shaohua Li is an Assistant Professor at The Chinese University of Hong Kong (CUHK), specializing in the correctness and security of critical software systems with emphasis on compilers. His research spans Software Engineering , Programming Languages , and Security , focusing on innovative compiler testing methodologies. Key areas include leveraging large language models for test generation, optimizing fuzzing techniques through prefix-guided execution, and decoupling sanitization mechanisms to reduce overhead in vulnerability detection. His work addresses fundamental challenges in ensuring reliability of systems programming infrastructure. Recent publications demonstrate a cohesive trajectory toward practical compiler validation: from empirical rustc bug analysis to SAND's low-overhead sanitization framework. The research consistently bridges theoretical formal methods with real-world implementation challenges in security-critical systems, showing particular strength in adapting AI techniques for traditional software testing problems.

Official University Profile

Wolfgang EckerView profile

Professor

Technical University of MunichGermany

Prof. Wolfgang Ecker is a Professor at the Technical University of Munich (TUM), affiliated with the Chair of Design Automation within the TUM School of Computation, Information and Technology . His research focuses on Electronic Design Automation (EDA), RISC-V processor architectures, and hardware-software co-design. He leads projects advancing EDA tools for embedded systems, neural network acceleration, and formal verification methodologies. Ecker's work bridges machine learning techniques with traditional EDA challenges, addressing topics like energy-efficient AI inference and automated documentation generation. His contributions span compiler optimization, FPGA implementations, and fault analysis in digital systems. Recent research highlights include contributions to the TRISTAN project for RISC-V ecosystem development, model-driven architecture frameworks, and AI-driven timing analysis. He actively collaborates on open-source EDA tools and explores Rust-based embedded systems development. Ecker’s lab emphasizes practical applications in edge computing and automotive microcontroller safety, with a strong emphasis on interdisciplinary collaboration across TUM’s CIT School. His publications (15 most recent listed) reflect a focus on EDA tool innovation, processor design, and leveraging machine learning for hardware optimization. While no specific awards are mentioned, his involvement in ERC-funded projects and leadership in international collaborations underscores his academic impact.

Official University Profile

Wenguang ChenView profile

Researcher

Max Planck Institute for Software SystemsGermany

Wenguang Chen is a researcher affiliated with Tsinghua University and Pengcheng Laboratory , specializing in computer science and high-performance computing . His work bridges theoretical advancements with practical applications in domain-specific languages , parallel programming , and machine learning . Research Interests include: Development of modular DSLs for numerical methods (e.g., Mat2Stencil) Performance optimization in distributed and parallel systems Compiler frameworks for privacy-preserving AI (e.g., FHE-based neural network inference) Graph algorithms scaling to trillion-edge datasets Applications of Rust in memory-safe pointer analysis Recent Publications span 2014–2025, focusing on: Parallelization strategies for supercomputing Compiler automation tools Extreme-scale data processing Performance variance diagnosis in production environments

Official University Profile

Ying WangView profile

Associate Professor

Max Planck Institute for Security and PrivacyGermany

Dr. Ying Wang is an Associate Professor and doctoral supervisor at the Software College of Northeastern University (China), where she has been working since February 2019. She serves as Assistant Dean at the School of Software and is an active member of several CCF committees including the System Software Committee, Software Engineering Committee, Open Source Development Committee, and Women's Committee. Dr. Wang received her Ph.D. in Software Engineering from Northeastern University in January 2019 under the supervision of Professor Zhiliang Zhu. She completed postdoctoral research at the Hong Kong University of Science and Technology (HKUST) from 2022 to 2023 under Professor Shing-Chi Cheung and was a visiting scholar at Microsoft Research Asia through the StarTrack Program in 2021. Her research focuses on intelligent software development technologies, large AI models, open source software big data analysis, and software supply chain security. She has made significant contributions to the governance of open source software ecosystems across multiple programming languages including Java, C#, Python, Go, JavaScript, Android, and Rust. Her work has led to the development of practical tools like 'League of Legends' for monitoring dependency defects in open source ecosystems, with several technologies commercialized by Huawei and Microsoft. Dr. Wang's recent publications demonstrate her expertise in cross-language dependencies, software component analysis, software refactoring, and the application of large language models in software engineering. Her work spans both theoretical foundations and practical applications, with a strong emphasis on real-world impact through industry collaboration. Among her notable achievements are the ACM SIGSOFT Distinguished Paper Awards at ICSE 2021 and ESEC/FSE 2023, making her the first researcher from Northeastern University to receive this honor. She has also received multiple awards for her doctoral dissertation and prototype implementations. Dr. Wang actively contributes to the academic community as an Associate Editor for IEEE Transactions on Software Engineering and serves on program committees for top conferences including ASE, ICSE, and ESEC/FSE. She mentors a large group of doctoral and master's students, with many alumni securing positions at major technology companies including Huawei, Microsoft, Alibaba, and Tencent.

Official University Profile

Michael CoblenzView profile

Assistant Professor

Max Planck Institute for Software SystemsGermany

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH

Official University Profile

Andreea CosteaView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Andreea Costea is an Assistant Professor in the Programming Languages Group within the Faculty of Electrical Engineering, Mathematics & Computer Science (EEMCS) at Delft University of Technology. She joined TU Delft in October 2024 after completing her PhD at the School of Computing, National University of Singapore (NUS), where she worked in the Programming Languages and Software Engineering lab collaborating with the Automated Program Repair team, Trustworthy and Secure Software group, and VERSE lab. Her primary research focuses on programming languages design and implementation, with particular emphasis on software verification for critical code, program synthesis, and automated program repair. She maintains strong connections with industry while pursuing formal methods research, especially in the context of Rust programming language safety and interoperability. Dr. Costea's publication record demonstrates consistent contributions to software engineering and programming languages research, with recent work focusing on automated program repair techniques, Rust language safety mechanisms, and communication protocol verification. Her research shows a clear trajectory from theoretical foundations in session types and separation logic toward practical applications in memory safety and program repair. She actively serves the research community as Program Committee member for major conferences including ASE, ICSE, ICFP, and APLAS. Her service includes chairing publicity committees for SPLASH and artifact evaluation for ESOP. Regular Journal Reviewer: CACM, TOSEM, TSE Panel discussions: PLMW @ POPL'22, PLDI'21, PLMW @ PLDI'21, POPL'21 Extensive reviewing for top-tier conferences including POPL, OOPSLA, CAV, VMCAI Dr. Costea supervises multiple Master's students working on Rust-related safety projects and is actively recruiting PhD students to work on software interoperability, particularly focusing on how to restore Rust's safety guarantees when integrating with legacy C code and ensuring correct interaction between components written in different languages.

Official University Profile

Chris HawblitzelView profile

Researcher

Max Planck Institute for Software SystemsGermany

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research , affiliated with the Systems Research Group – Redmond . His work bridges programming languages, operating systems, verification, and security, emphasizing the integration of safe programming language features into systems development. Research interests include: Programming Languages and Type Systems Formal Verification of Systems Software Language Design for Security and Safety Systems and Networking Recent publications highlight advancements in Rust verification, linear types for systems, proof automation in F*, assembly language verification, and tactic languages. Key trends involve leveraging type systems for safety, SMT-based automation, and cross-layer formal methods. He has contributed to academic communities as a committee member for conferences such as PLDI 2025 , OOPSLA 2023 , and CPP 2019 , alongside session chair roles.

Official University Profile

Vivek SarkarView profile

Professor

Max Planck Institute for Software SystemsGermany

Vivek Sarkar is currently the Chair of the School of Computer Science and the Stephen Fleming Chair for Telecommunications in the College of Computing at Georgia Institute of Technology. His career spans both industry and academia, with significant contributions to parallel computing, including programming models, compilers, and runtime systems. Ph.D. from Stanford University (1995-2007: IBM Academy of Technology member) 2007-2017: Chair of Computer Science Department at Rice University 2017-present: Georgia Institute of Technology Research Interests focus on programmability and productivity in parallel, heterogeneous, and high-performance computing systems. His work encompasses: Programming language design (e.g., X10, Habanero-C/C++) Compiler optimization and runtime systems Formal verification for parallel programs Education initiatives (Coursera specialization on parallel programming) Recent Publications highlight verification techniques in compilers, machine learning integration for code optimization, and Rust-based interfaces for distributed C++ systems. Scientific recognitions include: ACM Fellow IEEE Fellow 2020 ACM-IEEE CS Ken Kennedy Award He has mentored over 30 Ph.D. students/postdocs and leads the Habanero Extreme Scale Software Research Laboratory , which develops scalable parallel programming frameworks. Current advisory roles include: US Department of Energy’s ASCAC (2009-present) Computing Research Association (CRA) Board (2015-2022) Founding co-chair of CRA-Industry committee (2021)

Official University Profile

Jeff HuangView profile

Associate Professor

Max Planck Institute for Software SystemsGermany

Jeff Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, specializing in programming languages and software engineering with a focus on concurrency and runtime verification. His research develops advanced program analysis techniques and tools to enhance software performance and reliability. Programming Languages Software Engineering Concurrency Runtime Verification His work has been recognized with prestigious awards including the ACM SIGSOFT Early Career Researcher Award, NSF CAREER Award, Google Faculty Research Award, and DARPA Young Faculty Award. Notably, his research has earned multiple SIGPLAN Research Highlights and PLDI Distinguished Paper Awards. ACM SIGSOFT Early Career Researcher Award NSF CAREER Award Google Faculty Research Award Mozilla Research Award Facebook Research Award DARPA Young Faculty Award ACM SIGSOFT Outstanding Dissertation Award ACM SIGPLAN PLDI Distinguished Paper Award SIGPLAN Research Highlights Jeff Huang actively contributes to academic communities as a committee member in venues like SPLASH, ICSE, ISSTA, and PLDI. He has authored influential papers on concurrency bug detection, pointer analysis, and language translation tools, spanning both theoretical foundations and practical implementations.

Official University Profile

Stephanie BalzerView profile

Assistant Professor

Max Planck Institute for Software SystemsGermany

Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. She received her PhD from ETH Zurich under Thomas R. Gross and focuses on developing rigorous type systems and verification logics to build failure-free, secure software through compositional and practical methods. Education: PhD (ETH Zurich), Master's (University of Zurich), Semester Thesis (University of Zurich) Her research spans session types , logical relations , and separation logic to ensure correctness and security in concurrent systems. Recent work includes verifying timed message-passing protocols and disentanglement in type systems. Key publication trends include session-typed concurrency , noninterference , and deadlock freedom across programming languages, formal methods, and security domains. She has authored multiple distinguished papers at ECOOP and POPL. Scientific Awards: NSF CAREER Award, ACM SIGPLAN Distinguished Paper, ECOOP Distinguished Paper She advises PhD students including Yue Yao, Yinsen Zhang, and Zak Kent, and has supervised former PhD students like Jules Jacobs (now at Cornell). Her grants include NSF funding for IoT verification , heterogeneous applications , and real-time protocols .

Official University Profile