Programming Languages (Type Systems) Professors and Supervisors | ApplySharif

Find Academic Supervisors

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

Showing 706-720 of 1,642 supervisors

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

D.M. GroenewegenView profile

Researcher

Delft University of TechnologyNetherlands

D.M. Groenewegen is a researcher at the Computer Science & Engineering department within the School of Electrical Engineering, Mathematics and Computer Science at Delft University of Technology. His work focuses on domain-specific languages, particularly WebDSL , for web application development and academic workflow optimization. Research interests include domain-specific languages (DSL) , web programming , conference management systems , and software engineering . He has contributed to improving the reliability and modularity of DSLs through case studies and runtime evolution. Recent publications explore the use of WebDSL to build systems like Conf Researchr for managing academic conferences, incremental computation in persistent object graphs (e.g., IceDust ), and the integration of validation and UI concerns in web applications. These works highlight trends in DSL design , linguistic abstractions , and software reliability . He collaborates with researchers such as Elmer van Chastelet and Eelco Visser, emphasizing peer-reviewed contributions to conferences like ECOOP and workshops under ACM and Dagstuhl Publishing. His work has been published in venues such as OpenAccess Series in Informatics and PervasiveHealth .

Official University Profile

Karine Even-MendozaView profile

Lecturer

Max Planck Institute for Security and PrivacyGermany

Karine Even-Mendoza is a Lecturer in Systems & Programming Languages at King's College London, working within the Department of Informatics in the Faculty of Natural, Mathematical & Engineering Sciences. Previously, she was a Research Associate at Imperial College London's Department of Computing, where she worked in the Software Reliability Group and Multicore Programming Group. She completed her PhD at King's College London, where she also spent four years working with the Software Systems (SSY) group. Dr. Even-Mendoza's research focuses on the intersection of software testing, verification, and programming languages, with recent work increasingly incorporating machine learning and quantum computing techniques. Her work addresses critical challenges in compiler testing, system simulation validation, and the application of large language models to software engineering problems. She has developed innovative approaches like ReFuzzer for enhancing the validity of LLM-generated test programs and SearchGEM5 for improving the reliability of system simulators through search-based testing. Her publication record demonstrates a strong trajectory in top-tier software engineering venues, with a notable shift toward incorporating large language models and quantum computing in recent years. She has become particularly active in applying AI techniques to traditional software engineering challenges, bridging the gap between classical software verification methods and modern AI approaches. Her work spans both theoretical foundations and practical applications, with implementations like CsmithEdge and GrayC contributing tangible tools to the software testing community. Dr. Even-Mendoza has been actively involved in the software engineering research community, serving on program committees for major conferences including ASE, ISSTA, ECOOP, and SPLASH. She has also contributed to artifact evaluation processes, demonstrating her commitment to research reproducibility and scientific rigor in software engineering.

Official University Profile

Lin ChenView profile

Associate Professor

Max Planck Institute for Security and PrivacyGermany

Lin Chen is an Associate Professor in the Department of Computer Science and Technology at Nanjing University, China, specializing in software engineering and programming languages with applications to AI-integrated systems. His work bridges theoretical foundations and practical tools for software analysis, testing, and ecosystem studies. Education: Ph.D. in Computer Software and Theory, Southeast University (2009) B.S. in Computer Science and Technology, Southeast University (2001) Visiting Scholar at Purdue University (2015-2016) His research spans software testing, programming language design (particularly gradual typing), and AI-enhanced software engineering. Key contributions include empirical studies of Python's dynamic features, mutation testing frameworks for AI systems, and defect prediction models. He investigates how programming language semantics impact software quality and maintenance in open-source ecosystems. Recent publications (2023-2024) reveal strong trends in applying software engineering techniques to AI systems, analyzing Python's typing evolution, and developing practical testing tools. There is significant emphasis on empirical validation, with 60% of recent work focusing on Python ecosystem analysis and 30% on AI/software integration. Scientific Awards: FSE 2016 Distinguished Artifact Award First Prize of Hubei Science and Technology Award (2015) First Prize of Jiangsu Science and Technology Award (2012) First Prize of Jiangsu Science and Technology Award (2007) Professor Chen has advised 14+ graduate students including PhD candidates Hao Ren and Wanwangying Ma, and master's students like Fan Yang and Yuanlei Han. He actively recruits self-motivated PhD and undergraduate researchers for projects in software analysis, testing, and intelligent engineering. His group collaborates with industry partners on tool development for defect prediction and type system analysis. His research team at Nanjing University focuses on four pillars: (1) Software Analysis and Testing for dynamic languages, (2) Technical Debt and Refactoring in evolving systems, (3) AI-driven defect prediction, and (4) Gradual typing semantics for multilingual ecosystems. Current projects include large-model-based test generation and knowledge graph applications for QA system validation.

Official University Profile

Earl T. BarrView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Earl T. Barr is a Professor of Software Engineering at University College London (UCL), where he heads the System Software Engineering Group and is a member of the Centre for Research on Evolution, Search and Testing (CREST). He received his Ph.D. in Computer Science from the University of California, Davis in 2009. His educational background includes: Ph.D. in Computer Science, 2009, University of California, Davis Barr's research focuses on software engineering, particularly program analysis, automated program repair, and the application of machine learning to code (AI4Code). He is renowned for his work on dual channel analysis, which examines how code combines natural language elements (in identifiers, comments, and stylistic choices) with formal programming language. His research also explores game theory applications to software development processes and how dual channel constraints can improve type inference and code understanding. His recent publications demonstrate a strong trend toward leveraging large language models for code understanding and modification, with particular emphasis on dual channel constraints and natural type inference. His work bridges traditional software engineering techniques with modern AI approaches, showing how machine learning can enhance program analysis and repair while maintaining rigorous theoretical foundations. Notable awards include: ACM SIGSOFT Distinguished Paper Award for Automated Software Transplantation (2015) ACM SIGSOFT Distinguished Paper Award for Learning Natural Coding Conventions (2014) ACM SIGSOFT Distinguished Paper Award for Collecting a Heap of Shapes (2013) Best Paper Award for TrustDavis: A Non-Exploitable Online Reputation System (2005) Barr actively supervises numerous PhD students and postdocs, with current research focusing on AI for code, software security, and program analysis. He collaborates extensively with Santanu Dash of Royal Holloway on dual channel program analysis, and they jointly supervise PhD students through the EPSRC Centre for Doctoral Training in Cyber Security for the Everyday. His work often combines theoretical rigor with practical tool development, resulting in several publicly available research tools that influence both academic research and industry practice. He leads the System Software Engineering Group at UCL, which focuses on developing novel approaches to software engineering challenges at the intersection of human and machine aspects of programming. Current research directions include dual channel analysis for vulnerability detection, game-theoretic approaches to development processes, and AI-assisted software development.

Official University Profile

Einar Broch JohnsenView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Einar Broch Johnsen is a Professor at the Department of Informatics, University of Oslo, where he has established himself as a leading researcher in formal methods and their application to distributed systems, cloud computing, and digital twins. His work bridges theoretical computer science with practical engineering challenges in complex systems. His research interests span formal methods, distributed and concurrent systems, programming models, digital twins, and robotics. He has made significant contributions to the ABS modeling language for asynchronous distributed systems and the SMOL programming language for digital twins. His approach emphasizes lightweight analysis techniques, type systems, testing, and deductive verification to ensure system reliability. His recent publications reveal a strong focus on applying formal methods to digital twin technology, with particular emphasis on healthcare applications, pandemic modeling, and robotics. His work demonstrates how formal verification techniques can enhance the reliability of AI-driven systems, especially in critical domains like underwater robotics and pandemic response. Johnsen actively contributes to the academic community through leadership roles including co-Editor-in-Chief of Formal Aspects of Computing , membership in IFIP WG2.2, and service on numerous conference program committees. He has chaired major conferences including FM 2015 and DisCoTec 2008. He leads and participates in numerous research projects including Sirius (as strategy director), Envisage (as coordinator), HyVar (as scientific coordinator), and REMARO (as co-initiator). His current projects include DART: Digital Arctic Twins, A Digital Twin for Vaccination Strategies, A Digital Twin of the Oslo Fjord, and NebulOuS: A Meta Operating System for Cloud Computing Continuums. Johnsen teaches courses including IN2031 – Project in Programming, IN2080: Computability and Complexity, and IN5170: Models of Concurrency, mentoring the next generation of computer scientists in formal methods and systems engineering.

Official University Profile

Siau-Cheng KhooView profile

Associate Professor

Max Planck Institute for Security and PrivacyGermany

Siau-Cheng Khoo is an Associate Professor at the Department of Computer Science, School of Computing, National University of Singapore (NUS). He serves as Co-Director of the Master of Science (Business Analytics) programme at the NUS Business Analytics Centre. His research focuses on program analysis, specification mining, software verification, and aspect-oriented programming. Education: PhD in Computer Science from Yale University (1992). Research Interests: His work spans scalable code analysis, bug signature mining, neural network verification, and software specification discovery. Key methodologies include static/dynamic program analysis, vector abstraction, and discriminative pattern mining for software dependability. Recent Research Trends: Publications emphasize automated verification techniques (especially for neural networks), scalable refactoring detection, and mining-based bug diagnosis. Earlier work pioneered parameterized partial evaluation and functional aspect-oriented programming. Grants & Supervision: vSCA: Scalable Code Analysis (AcRF Tier 1, 2014–2017, $130,000) Bug Signature Discovery (AcRF Tier 1, 2012–2015) Supervised 7 PhD and 6 MSc graduates; currently advising 1 PhD candidate.

Official University Profile

Jean Pichon-PharabodView profile

Assistant Professor

IMDEA Software InstituteSpain

Jean Pichon-Pharabod is a Tenure Track Assistant Professor at Department of Computer Science, Aarhus University , focusing on bridging programming language theory with industrial systems programming in areas like relaxed memory concurrency and formal verification. His work includes developing robust verification tools for WebAssembly and virtual machine security . Research Interests : Relaxed memory models, separation logic, capability safety, systems programming, and memory-safe execution environments. Scientific Awards : Amazon ARC Award (2024), Google ASPIRE Awards (2021-2023), AUFF Starting Grant. Key Contributions : Verified WebAssembly compilation, mechanised memory models, concurrency in ARM/RISC-V, and separation logic frameworks. Students : Zongyuan Liu, Maxime Legoupil, June Rousseau.

Official University Profile

Adam ChlipalaView profile

Professor

IMDEA Software InstituteSpain

Adam Chlipala is the Arthur J. Conner Professor of Computer Science at the Massachusetts Institute of Technology (MIT). His work bridges programming languages, formal methods, computer systems, and security, with a focus on building practical systems verified end-to-end using the Coq proof assistant. He has advised numerous PhD and Master’s students and leads research into verified compilers, hardware-software stacks, and dependent types for real-world applications through his startup Nectry. Undergraduate: Carnegie Mellon University, 2003 PhD: University of California, Berkeley, 2007 Postdoc: Harvard University, through 2011 His research revolves around verified compilers , hardware-software co-verification , and dependent types for enterprise software . Recent work explores high-performance parallel computing stacks and end-to-end machine-checked proofs for cryptographic systems. His publications span conferences like PLDI, POPL, and ICFP, emphasizing formal verification, optimization, and security. Current research trends highlight verified cryptographic code , concurrent hardware verification , and DSLs with formal guarantees . His students work on topics from state machines to network switches and parallel computing frameworks. Coq Proof Assistant Verified Compilation Cryptographic Security Dependent Types Hardware Verification High-Performance Computing Chlipala has served on program committees for CoqPL, Dafny, CPP, and PLDI. He co-created the MIT course Formal Reasoning About Programs and authored two books: Certified Programming with Dependent Types and Formal Reasoning About Programs .

Official University Profile

T. Daniel SeelyView profile

Professor

Eastern Michigan UniversityUnited States

T. Daniel Seely serves as Professor and Linguistics Program Coordinator in the Department of English Language and Literature at Eastern Michigan University. His research centers on biolinguistic theory, conceptualizing language as a biological 'organ' of the human brain, with expertise spanning syntax, semantics, and psycholinguistics. His academic credentials include a Ph.D. in Linguistics from the University of Massachusetts, Amherst, and a B.A. in Philosophy, Summa Cum Laude, from the University of Connecticut, Storrs. Seely's scholarly work pioneers minimalist syntax frameworks, particularly through his development of the 'Miracle Creed' and investigations into the Merge operation. His biolinguistic approach integrates cognitive science and theoretical syntax to explore language as a biological system. Recent publications emphasize labeling algorithms, workspace formalization, and third-factor constraints within Chomsky's Minimalist Program. Analysis of his 15 most recent publications (2021–2025) reveals consistent focus on syntactic minimization, with collaborative projects dominating 80% of output. Key thematic clusters include Merge refinements (40%), labeling theory (30%), and biolinguistic interfaces (30%), predominantly published in Cambridge University Press and Routledge venues. His academic honors include: Eastern Michigan University Graduate Mentor Award (2009) Holman Outstanding Faculty Classroom Instruction Award (2002) Ronald W. Collins Distinguished Faculty Teaching II Award (2004) EMU Ambassadors Certificate of Recognition for Excellence in Teaching (2002) Linguist of the Day, LINGUIST LIST (2007) Thank-an-Eagle Award (2020, 2021) As an educator, Seely mentors McNair Scholars (2011, 2021, 2025) and received EMU's top Graduate Mentor Award. His 'Project EKS' research collective with the late Samuel Epstein and Hisatsugu Kitahara has produced foundational minimalist literature, including two Routledge monographs. Current work involves extending the Miracle Creed framework through international collaborations in Japan and Korea. Project EKS operates as a transnational research consortium, coordinating biennial workshops between Keio University and Eastern Michigan University, with recent symposia in Tokyo (2024) and Göttingen (2023) advancing minimalist theory through experimental syntax methodologies.

Official University Profile

Yao LiView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Yao Li is a tenure-track Assistant Professor at Portland State University specializing in program verification and programming languages. His research bridges theoretical formal methods with practical software verification tools, focusing on advancing verification for real-world systems through programming language techniques. Dr. Li earned his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2022 under Stephanie Weirich. His academic journey includes undergraduate studies at Shanghai Jiao Tong University where he received multiple national awards including the China National Scholarship (2012, 2014) and the Outstanding Graduate award (2013, 2016). His research centers on two core objectives: (1) advancing verification for real-world software, and (2) making verification tools more accessible from a programming languages perspective. This manifests in work on proof assistants, functional programming semantics, lazy evaluation analysis, and recently the integration of large language models with formal verification. His publications consistently address foundational challenges in mechanized reasoning while targeting practical applications like HTTP server verification. Analysis of his 8 recent publications (2019-2025) reveals a strong trajectory in program verification, particularly for functional languages like Haskell. Key themes include semantics for lazy evaluation (2024), novel embeddings for mechanized reasoning (2022 Distinguished Paper), and verification of networked systems (2019, 2021). His latest work explores LLM-assisted verification (2025), indicating an evolving research direction at the AI-formal methods intersection. Dr. Li's honors include: Google Open Source Peer Bonus (Scala Forklift, 2018) Multiple China National Scholarships (2012, 2014) Intel Cup National Software Innovation Contest 1st Prize (2011) National Olympiad in Informatics Prizes (2007, 2008) He currently advises four PhD students (Ian Kariniemi, Yiming Lin, Grant VanDomelen, Nicholas Coltharp) and previously mentored Laura Israel (now at University of Konstanz). His grant involvement includes the NSF-funded DeepSpec REU program at UPenn (2021), where he served as mentor for the "Science of Deep Specification" Expedition. Conference service includes Program Committees for PLDI'25, POPL'25, and CoqPL'25, plus Publicity Chair roles for PLDI'24/'25. Dr. Li is actively associated with the DeepSpec research community, contributing to projects that develop deep specifications for critical systems. His work frequently involves collaboration with University of Pennsylvania's formal methods group and participation in workshops like WITS and PriSC, reflecting strong community engagement in programming language theory and verification.

Official University Profile

Zeyu SunView profile

Researcher

Max Planck Institute for Security and PrivacyGermany

Zeyu Sun is a researcher at the Institute of Software, Chinese Academy of Sciences, with an extensive publication record in premier software engineering conferences including ASE, ICSE, and ESEC/FSE from 2020 through 2025. Their academic service includes program committee membership for multiple conferences, demonstrating recognition as a domain expert in software engineering and programming languages. Dr. Sun's research program bridges traditional software engineering with artificial intelligence, focusing on neural program repair, software testing, and compiler optimization. Their work develops innovative techniques for code understanding and generation, with particular emphasis on type-aware repair systems, syntax-guided editing approaches, and context-enriched representations of code changes. Recent publications show increasing sophistication in integrating machine learning with software engineering tasks, moving from basic program analysis to specialized architectures that maintain structural integrity of code. Analysis of publication trends reveals a consistent focus on improving software quality through AI-enhanced methods, with expanding applications across compiler design, smart contract security, and fairness testing. The research demonstrates both technical depth in core software engineering challenges and breadth across multiple application domains, reflecting an evolving research trajectory that continually identifies new intersections between AI and software development practices. Dr. Sun actively contributes to the academic community through program committee service at major conferences including ASE, ICSE, and ESEC/FSE across multiple years. This sustained service commitment indicates peer recognition as a subject matter expert. While specific grant details aren't provided in available materials, the consistent publication output across multiple funding cycles suggests successful acquisition of research support for their work in software engineering and AI for code.

Official University Profile

Mitchell OlsthoornView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Mitchell Olsthoorn is an Assistant Professor in the Software Engineering Research Group (SERG) at Delft University of Technology. He is also a member of the Computational Intelligence for Software Engineering lab (CISELab) and the Delft Blockchain Lab (DBL). His academic career is built on a strong foundation from Delft University of Technology, where he earned all his degrees. Mitchell's research interests span a diverse range of topics including Network Security, Search-based Software Engineering, Pen-testing, Computational Intelligence, Software Testing, Security Testing, Fuzzing, and Blockchain. His work demonstrates a strong focus on applying computational intelligence techniques to solve complex software engineering problems, particularly in the areas of test case generation and security testing. His publication record shows a consistent research trajectory with a focus on developing innovative testing frameworks for various programming languages and blockchain technologies. His work bridges the gap between theoretical research and practical applications, with tools developed for JavaScript, Kotlin, and blockchain platforms. Cum laude distinction (top 5% in Netherlands) Mitchell actively contributes to the academic community through conference organization and program committee roles. His current position as Hot-off-the-Press Track Co-Chair for SSBSE 2025 demonstrates his growing recognition in the software engineering research community. He also serves on program committees for major conferences including ISSTA, ICST, and ASE. Mitchell maintains active research laboratories including the Computational Intelligence for Software Engineering lab (CISELab) and the Delft Blockchain Lab, where he continues to advance research in software testing and security.

Official University Profile

Guido SalvaneschiView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Guido Salvaneschi is a Professor and Head of the Programming Group at the Institute of Computer Science within the School of Computer Science at the University of St. Gallen, Switzerland. His work bridges theoretical foundations with practical applications in programming languages and software engineering, with a particular focus on distributed systems and infrastructure as code. His research interests span programming languages, software engineering, distributed systems, reactive programming, DevOps organizations, and secure software systems. He has made significant contributions to multitier programming languages, consistency models for distributed applications, and infrastructure as code testing frameworks. Salvaneschi's recent publications reveal a strong focus on infrastructure as code analysis and testing, with multiple papers accepted at top conferences in 2024-2025. His work demonstrates a consistent thread connecting programming language theory with practical systems challenges, particularly in cloud and distributed environments. His Programming Group at the University of St. Gallen includes several PhD students and researchers working on cutting-edge topics in software systems. Current projects include Consistency Programming for Local First Software (an SNF project), HORIZON-RIA for European edge computing infrastructure, and Multitier Programming above the Clouds (another SNF project). As an active member of the research community, Salvaneschi serves on program committees for major conferences including ASE, PLDI, and ICSE, demonstrating his standing within the programming languages and software engineering fields.

Official University Profile

Yingfei XiongView profile

Associate Professor

Max Planck Institute for Security and PrivacyGermany

Yingfei Xiong is an Associate Professor at Peking University specializing in Software Engineering and Programming Languages. His research focuses on program synthesis, automated program repair, and software analysis techniques with extensive contributions to top-tier conferences including ASE, ICSE, PLDI, and SPLASH/OOPSLA. Dr. Xiong's primary research interests include: Program Synthesis and Inductive Programming Automated Program Repair and Bug Fixing Static and Dynamic Program Analysis Machine Learning Applications in Software Engineering Compiler and Language Implementation Techniques Software Testing and Verification His publication trends show a strong shift toward neural approaches in program repair, with significant integration of large language models in synthesis tasks since 2023. His work bridges theoretical foundations with practical applications, evidenced by industrial collaborations such as the Alibaba case study on static taint analysis. Recent contributions include GrammarT5 for code generation, Tare for type-aware neural repair, and Equality Saturation techniques guided by LLMs. At Peking University, Dr. Xiong is affiliated with the School of Electronics Engineering and Computer Science (SEI) as indicated by his institutional website domain. He actively contributes to the academic community through program committee service for major software engineering conferences and mentoring student researchers.

Official University Profile

Weisong SunView profile

Research Fellow

Max Planck Institute for Security and PrivacyGermany

Weisong Sun is a Research Fellow at the Cyber Security Lab (CSL), School of Computer Science and Engineering, Nanyang Technological University, Singapore. His work bridges software engineering with artificial intelligence, focusing on developing reliable and secure AI-powered systems. His research centers on Trustworthy Intelligent Software Engineering and AI Model Security , with significant contributions in requirements engineering, code generation, and AI security. Dr. Sun employs multi-agent approaches to solve complex software engineering challenges, particularly in formalizing requirements for reliable code generation and securing AI models against watermarking attacks. His work addresses critical ethical concerns in software systems, examining the trade-offs in bias mitigation approaches. Dr. Sun's publication record shows a clear trend toward integrating knowledge representation with multi-agent systems to enhance software development processes while addressing security and fairness concerns. His recent work spans from practical type inference frameworks for Python to building generalizable testing scenarios for autonomous vehicles. As an active contributor to the software engineering community, Dr. Sun serves as a Program Committee member for multiple tracks at ASE 2025 and other major conferences including ICSE, FSE, and ISSTA, demonstrating his standing as a respected researcher in the field.

Official University Profile