Gradual Typing Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۱۶-۳۰ از ۸۵ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

David Van Hornمشاهده پروفایل

دانشیار

University of Maryland, College ParkUnited States

David Van Horn is an Associate Professor in the Department of Computer Science and UMIACS at the University of Maryland, College Park. His research focuses on programming languages, formal methods, and security, with an emphasis on making software components reusable and trustworthy. He holds academic appointments in both Computer Science and UMIACS and is a co-author of Realm of Racket , an educational book on programming video games co-written with undergraduates. Education: PhD in Computer Science, Brandeis University, 2009 MA and BS in Computer Science, University of Vermont, 2004-2006 Research Interests: His work centers on program analysis, verification, static analysis, and security. He develops techniques to bridge scripting languages and formal verification, aiming to improve software reliability. Recent projects include gradual typing, contract verification, and program synthesis tools like RbSyn and Absynthe. Awards: He has received prestigious recognitions, including the NSF CAREER Award (2019), ICFP Most Influential Paper Award (2020), and OOPSLA Distinguished Paper Award (2018). His work on Abstracting Abstract Machines (2010) influenced static analyses for languages like JavaScript and Erlang. Service and Mentoring: Van Horn serves on the SIGPLAN Programming Languages Mentoring Workshop steering committee and advises Technica, the world’s largest hackathon for underrepresented genders. He mentors PhD students in areas like gradual verification and security. Labs and Teams: He directs the Programming Languages at UMD (PLUM) Lab with Prof. Mike Hicks, focusing on foundational and applied research in programming languages and verification.

پروفایل رسمی دانشگاه

Max S. Newمشاهده پروفایل

استادیار

Max Planck Institute for Software SystemsGermany

Max S. New is an Assistant Professor in Computer Science & Engineering at the University of Michigan, affiliated with the MPLSE research community . He works on the mathematical foundations of programming languages, focusing on Gradual Typing , Category Theory , Secure Compilation , and Effect Handlers . His research bridges formal methods with practical language design. Educational background : PhD in Computer Science, Northeastern University (2020) Postdoctoral Research, Wesleyan University (with Dan Licata) Max's recent work explores the intersection of Dependent Lambek Calculus and parsing verification, Synthetic Guarded Domain Theory for gradual typing semantics, and Relative Monads in computational models. His publications span top venues like PLDI , POPL , and ICFP , emphasizing formal verification and category-theoretic abstractions. He has served as Committee Member in OOPSLA and POPL, Session Chair for type systems tracks, and Program Co-Chair for HOPE workshops. His PhD students include Eric Giovannini, Steven Schaefer, and Jesse Slater (co-advised with Xinyu Wang).

پروفایل رسمی دانشگاه

Cyrus Omarمشاهده پروفایل

استادیار

University of Michigan-Ann ArborUnited States

Cyrus Omar is an Assistant Professor of Computer Science at the University of Michigan, affiliated with the Department of Computer Science and Engineering and the College of Engineering. He leads the Future of Programming Lab, which focuses on creating live programming environments and collaborative tools like Hazel and Grove. His research bridges programming languages, human-computer interaction, and education. Education and Mentorship: Omar redesigned EECS 490 (Programming Languages) and mentors over 150 undergraduates annually, many of whom co-author top-tier conference papers. He emphasizes structured onboarding for students and has trained researchers now in academia and industry. Research Interests: Develops live programming environments (e.g., Hazel) for working with incomplete code, collaborative editing systems (Grove), and AI-enhanced tools. His work emphasizes usability, creativity, and accessibility in coding. Recent projects include bidirectional typing, typed holes, and integrating large language models into IDEs. Awards: NSF CAREER Award (2023), 1938E Award (2025), and multiple Distinguished Paper Awards at OOPSLA, POPL, and SPLASH. His grants include NSF funding for live program sketching environments. Lab & Teams: The Future of Programming Lab explores programming experience design, with projects like Rustviz and structured editing frameworks. Collaborates on tools for test-driven scientific model validation and neural interface design.

پروفایل رسمی دانشگاه

Werner Dietlمشاهده پروفایل

دانشیار

University of WaterlooCanada

Werner Dietl is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His work focuses on programming languages, static analysis, software security, and formal verification techniques. He has contributed to type system design, low-power computing, and approximate data types through projects like EnerJ. His research also addresses challenges in compiler design, cryptographic protocol validation, and runtime enforcement mechanisms. Key research areas include: Type systems for imperative and domain-specific languages Static analysis of implicit control flow (e.g., Java reflection, Android intents) Approximate computing and energy-efficient computation Formal verification of security properties Publications span topics from unit measurement type inference to ownership-based security models, reflecting a focus on practical formal methods. His work emphasizes scalability and precision in type systems while addressing real-world software engineering challenges.

پروفایل رسمی دانشگاه

Amal Ahmedمشاهده پروفایل

استاد

Northeastern UniversityUnited States

Dr. Amal Ahmed is a Professor of Computer Science at Northeastern University's Khoury College, where she leads research on programming languages and compilers. Her work develops formal foundations for secure multi-language software systems. Core research areas: Compiler correctness for heterogeneous codebases Type-preserving compilation Secure interoperability (FFI/ABI semantics) Gradual typing theory Recent publications address WebAssembly security, probabilistic program verification, and ABI specification. Methodological innovations include logical relations for compiler verification and multi-language semantic frameworks. Honors and funding: NSF CAREER Award (2015) Google Faculty Research Award (2014) DARPA V-SPELLS grant NSF SHF grants Dr. Ahmed directs the SILC (Secure Interoperability, Languages, and Compilers) group and co-organizes programming languages mentoring workshops. She teaches graduate courses on type theory and compiler verification.

پروفایل رسمی دانشگاه

Anders Møllerمشاهده پروفایل

استاد

Aarhus UniversityDenmark

Anders Møller is a Professor and Vice Head of Department at the Department of Computer Science, Aarhus University, Denmark. He is a leading researcher in programming languages and software engineering, with a primary focus on static and dynamic program analysis. He serves as Chairman of the PhD Committee and holds leadership roles in the international research community, including Vice-Chair of ACM SIGPLAN and Associate Editor for ACM TOPLAS and ACM TOSEM. His research interests include programming languages, software engineering, static and dynamic analysis, program verification, and security. His work bridges theoretical foundations and practical applications, particularly in improving software reliability and security through advanced analysis techniques. The trends in his recent publications reflect a strong emphasis on static analysis for security, scalability, and real-world impact—especially in web applications, smart contracts, and open-source software supply chains. His research has evolved toward practical deployment, demonstrated by the founding and acquisition of Coana by Socket in 2025 for enhanced vulnerability detection. Recipient of the Danish Elite Research Prize 2020 ACM Distinguished Member He actively mentors students and contributes to the academic community through conference leadership (e.g., OOPSLA, PLDI, ICSE). He also co-authored the widely used textbook Static Program Analysis with Michael I. Schwartzbach. His work is deeply integrated into both academic and industrial advancements in software analysis and security.

پروفایل رسمی دانشگاه

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

دانشیار

Queen's University at KingstonCanada

About Jana Dunfield Jana Dunfield is an Associate Professor in the School of Computing at Queen's University, Kingston, Ontario. She holds a PhD in Computer Science from Carnegie Mellon University (2007) and a B.S. in Computer Science from Portland State University (2000). Her research focuses on programming languages, specifically type systems that enhance software correctness and performance through refinement types, bidirectional typing, and incremental computation. She has held academic positions at McGill University, MPI-SWS, and UBC before joining Queen's. Education Ph.D., Computer Science, Carnegie Mellon University (2007) B.S., Computer Science, Portland State University (2000) Research Interests Her work centers on type systems that improve software reliability and efficiency. Key areas include: Refinement types for precise property checking Bidirectional typing for sound type systems Incremental computation for optimized performance Gradual typing and modal logic integration Key Achievements Recipient of NSERC Discovery Grants ($26k–$33k/year) Co-developer of the Fungi framework for typed incremental computation Pioneer in focalization-based refinement typing systems Teaching & Advising Current graduate advisees include Dimitrios Economou (PhD), December Stuart (MSc), and Nick Mertin (MASc). She teaches courses like Programming Paradigms (CISC 360) and Semantics of Programming Languages (CISC 465), though she is on sabbatical from July 2025 to June 2026.

پروفایل رسمی دانشگاه

Anders Møllerمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Anders Møller is a Professor at the Department of Computer Science , Aarhus University , Denmark. His career spans roles as an author , committee member , and session chair in conferences like SPLASH, OOPSLA, ECOOP, ISSTA, ICSE, and PLDI. Affiliation: Aarhus University Co-founder: Coana Research Focus : Specializing in static and dynamic program analysis for JavaScript, TypeScript, Java, and Node.js applications, his work addresses: Pointer analysis precision in Java Race condition detection in Node.js Library evolution and semantic patching Soundness improvements in static analyzers Type safety in modern languages Concolic execution for web testing Publication Trends : Recent work (2021–2024) emphasizes security-critical static analysis (taint specifications, Node.js security), soundness optimization (approximate interpretation), and program verification (channel-based communication). Earlier work (2013–2018) includes foundational contributions to JavaScript refactoring , Dart type safety , and AJAX race detection . Scientific Recognition : ISSTA 2019 Distinguished Paper Award Leadership Roles : Active in steering committees for SPLASH, ECOOP, and SIGPLAN, with chairs in OOPSLA, ECOOP, and PLDI program committees.

پروفایل رسمی دانشگاه

Amal Ahmedمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Amal Ahmed is a Professor at Khoury College of Computer Sciences, Northeastern University, where she leads the SILC (Secure Interoperability, Languages, and Compilers) research group. She holds a Ph.D. in Computer Science from Princeton University. Her research focuses on programming languages, compilers, and software security, with emphasis on compiler verification, language interoperability, type systems, gradual typing, and secure compilation. She teaches courses including CS7470 (Seminar in PL: Logical Relations) and CS7400 (Intensive Principles of Programming Languages). Research Focus Dr. Ahmed's work bridges theoretical foundations and practical implementation, exploring: semantics and type systems for imperative/probabilistic languages; safe multi-language interoperability; compiler correctness; gradual typing; and provenance. Her recent publications demonstrate strong emphasis on secure compilation techniques, WebAssembly interoperability, and formal verification of compiler transformations. Professional Recognition NSF CAREER Award recipient Keynote speaker at major conferences including OOPSLA 2023, LICS 2022, and ESOP 2018 Program chair for POPL 2023 and OOPSLA 2022 Editorial board member for Journal of Functional Programming and Mathematical Structures in Computer Science Research Team & Students Dr. Ahmed leads an active research group with 7 PhD students and 1 postdoc. She has graduated 4 PhD students who now hold academic positions at University of Michigan, UBC, and Northeastern. Her mentorship extends to numerous MS students and undergraduates, with several receiving NSF GRFP awards.

پروفایل رسمی دانشگاه

Eijiro Sumiiمشاهده پروفایل

استاد

Tohoku UniversityJapan

Eijiro Sumii is a Professor at the Graduate School of Information Sciences, Tohoku University, where he has been employed since May 2014. Previously, he served as an Associate Professor at the same institution from May 2005 to March 2014, and as an Assistant Professor in the Department of Computer Science at the University of Tokyo from April 2001 to March 2003. He has also held research positions at the University of Pennsylvania under Professor Benjamin C. Pierce. Dr. Sumii's research focuses on the theoretical foundations and practical applications of programming languages and type systems. His work spans multiple domains including process calculi, partial evaluation, security foundations, and functional programming. He has made significant contributions to the field through his development of MinCaml, an educational compiler, and his Japanese translation of the seminal work "Types and Programming Languages" by Benjamin Pierce. His recent publications demonstrate a consistent focus on programming language theory, with particular emphasis on type systems for security applications, partial evaluation techniques, and functional programming paradigms. The publications reveal a trajectory moving from foundational theoretical work toward more applied security and distributed systems research. Dr. Sumii is highly active in the academic community, having served on program committees for major conferences including ICFP, POPL, PLAS, and ESOP. He has organized numerous workshops and conferences, including serving as program chair for ICFP 2016 and FLOPS 2014. He is the organizer of the PEPT (Partial Evaluation and Program Transformation) mailing list, which serves as an important forum for researchers in this specialized area. His leadership extends to membership in the Global Young Academy since May 2015 and the Young Academy of Japan since November 2010, where he served as Secretary from February 2015.

پروفایل رسمی دانشگاه

Jonathan Aldrichمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Jonathan Aldrich is a Professor at Carnegie Mellon University's School of Computer Science, with joint appointments in the Software and Societal Systems Department and Computer Science Department. He directs the Master of Software Engineering program (as of July 2025) and previously led the Software Engineering Ph.D. program. Aldrich teaches courses in programming languages, software engineering, and program analysis. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) M.S. in Computer Science and Engineering, University of Washington (1999) B.S. in Engineering and Applied Science (Computer Science), Caltech (1997) Research Focus: Aldrich's work bridges programming languages and software engineering to improve software quality and productivity. His research explores how structural and behavioral design aspects can be expressed in source code, enabling better tooling and error reduction. Key innovations include gradual verification systems, typestate-oriented programming, and ownership models for security. His projects span blockchain safety (Obsidian), concurrency (AEminium), and visualization (Penrose). Publication Trends: Aldrich's 15 most recent articles reflect a strong emphasis on language-based security, formal verification (especially gradual verification techniques), and human-centered language design. His work increasingly integrates empirical studies to evaluate usability in advanced type systems. Awards: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group (2007) William Chan Memorial Dissertation Award (2003) Leadership & Service: Aldrich directs graduate programs, co-authored the textbook 'Programming Language Pragmatics,' and serves on the ACM Publications Board. As CTO of Noteful, he develops educational music technology. He has chaired program committees for OOPSLA, ECOOP, and SPLASH conferences.

پروفایل رسمی دانشگاه

Bruno C. d. S. Oliveiraمشاهده پروفایل

دانشیار

InriaFrance

Associate Professor Bruno C. d. S. Oliveira is affiliated with the Department of Computer Science at The University of Hong Kong, where he leads the HKU PL Group. His research focuses on programming languages , particularly type systems for modularity and the integration of object-oriented and functional paradigms . He has contributed extensively to conferences like POPL, ICFP, ECOOP, and OOPSLA. Key Research Areas : Programming Languages Type Systems Modularity Polymorphism Subtyping Dependent Types His recent work explores bidirectional typing , iso-recursive subtyping , and intersection/union type applications . He has advised numerous PhD and MPhil students, including Wenjia Ye, Baber Rehman, and Yaoda Zhou. Awards include the Distinguished Artifact Award (ECOOP 2021) , Best Paper Awards (Modularity 2016) , and Distinguished Paper Awards (POPL 2020, ICFP 2019) . His teaching includes Functional Programming (CSIS0258/COMP3258) and Principles of Programming Languages (CSIS0259/COMP3259) .

پروفایل رسمی دانشگاه

Taro Sekiyamaمشاهده پروفایل

دانشیار

InriaFrance

Taro Sekiyama is an Associate Professor at the National Institute of Informatics in Japan. His research focuses on programming language theory and applications, particularly in type systems, gradual typing, and program verification with effects. Academic Rank: Associate Professor University: National Institute of Informatics His research interests span type theory , polymorphic algebraic effects , gradual typing , and temporal verification . His work combines theoretical foundations with practical applications, including Rust programming language verification and effect handling. The analysis of Taro Sekiyama's publications reveals a consistent focus on: Algebraic effect systems Refinement type theory Gradual typing semantics Temporal verification techniques Neural-guided program analysis Effect handler design

پروفایل رسمی دانشگاه

Jonathan Aldrichمشاهده پروفایل

استاد

InriaFrance

Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University in the School of Computer Science , jointly appointed in the Software and Societal Systems Department and the Computer Science Department . He is an internationally recognized expert in programming languages, software engineering, and verification, with a strong emphasis on human factors and usability in language design. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) B.S. in Computer Science, Caltech Research Interests: Prof. Aldrich's research lies at the intersection of programming languages and software engineering , focusing on how language design affects software quality and developer productivity. His work spans: Gradual verification and type systems Ownership and typestate checking Security and information flow control Usability of advanced type systems Domain-specific languages for blockchain and IoT Recent Work Trends: His recent publications emphasize gradual verification techniques, which allow developers to incrementally verify software correctness. He has also explored liquid types , information flow control , and usability barriers in advanced type systems. His work often combines formal methods with empirical studies to ensure practical impact. Awards & Recognition: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group Leadership & Service: Prof. Aldrich has held numerous leadership roles in the academic community, including: Director, CMU Software Engineering Ph.D. Program (2013–2019) General Chair, SPLASH 2015 Program Chair, OOPSLA 2017 Steering Committee Chair, SPLASH (2017–2019) Member, ACM Publications Board Industry Engagement: He is the Chief Technology Officer of Noteful , a startup he co-founded during his 2022 sabbatical, focused on music education through interactive apps.

پروفایل رسمی دانشگاه

Nicolas Tabareauمشاهده پروفایل

پژوهشگر

InriaFrance

Nicolas Tabareau is a researcher at Inria, France, and leads the Gallinette team ( http://gallinette.inria.fr/ ). His work focuses on enhancing tools for formal proof verification in computer science and mathematics. Research Interests : Proof Assistants, Homotopy Type Theory, Semantics of Programming Languages, Category Theory Tabareau's publications span type theory, gradual typing, and formal verification using Coq. His recent work (2025) explores gradual typing extensions and proof-irrelevant type systems. Earlier contributions (2024–2015) address OCaml extraction correctness, inductive types, and computational assumptions in proof assistants. He actively participates in conference program committees (CPP, ICFP, POPL) and has presented at workshops (CoqPL, PriSC) and symposia (LAFI, PADL). No scientific awards or part-time affiliations are mentioned in the provided data.

پروفایل رسمی دانشگاه