Language Runtimes Professors and Supervisors | ApplySharif

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

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

نمایش ۷۰۶-۷۲۰ از ۱٬۱۲۴ استاد راهنما

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

Eric Koskinenمشاهده پروفایل

دانشیار

InriaFrance

Eric Koskinen is the Charles Berendsen Associate Professor (with tenure) of Computer Science at Stevens Institute of Technology in Hoboken, New Jersey. He is also a co-founder of the Commute Workshop at PLDI 2022 and has previously held positions as Researcher at Yale University and Visiting Professor at New York University. Education: Ph.D. in Computer Science, University of Cambridge (UK) Research Interests: Koskinen's research lies at the intersection of software verification , programming languages , and concurrency . He develops automated techniques to ensure reliable and efficient software, with a particular emphasis on commutativity analysis , parallelization , and language-level abstractions for multicore and distributed systems. His recent focus includes the Veracity programming language that introduces commute blocks to simplify concurrent programming. Scientific Awards & Honors: POPL 2023 Distinguished Paper Award Provost's Early Career Award for Research Excellence (2020) CAV 2011 Award Paper Advising & Funding: Prof. Koskinen currently advises three Ph.D. students—Adam Chen, Parisa Fathololumi, and Mihai Nicola—and has recently graduated Cyrus Liu (Ph.D. 2022). His research group has been generously supported by more than $5 million in competitive grants from the NSF, ONR, and DARPA. Recent awards include: NSF: Concurrent Objects ($593k, 2023) ONR: AVTA Transition ($215k, 2022) NSF: Dynamic Analysis ($399k, 2021) NSF: Commutativity Analysis ($495k, 2020) ONR: Temporal Alignment ($3.2M, 2017) Labs & Tools: His group maintains an active open-source tool suite including Veracity (interpreter for commute blocks), Servois2 (commutativity synthesizer), Dynamite (termination/non-termination checker), DarkSea (temporal verifier for binaries), CityProver (commutativity verifier), Knotical (trace-refinement synthesizer), and DrNLA (non-linear to linear integer arithmetic rewriter).

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

Lindsey Kuperمشاهده پروفایل

استادیار

InriaFrance

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. Her research focuses on programming languages, distributed systems, concurrency, parallelism, and software verification. Ph.D., Indiana University (2015) Research interests include: Programming-language-based approaches for concurrent/distributed systems Library-level choreographic programming (Haskell, Rust, TypeScript) Dependently-typed diagrams for inductive reasoning Causal message delivery with refinement types Key research projects: 2025: KameraBag (Kubernetes observability) 2024: Sender-side causal message protocol 2023: HasChor (Haskell choreographic programming) 2022: Liquid Haskell causal broadcast verification Scientific awards: NSF CAREER Award Stellar Development Foundation Grant Google Faculty Research Award Amazon Web Services gift Zulip in-kind sponsorship Teaching history includes courses on: Foundations of Programming Languages (CSE114A) Distributed Systems (CSE232/CSE138) SMT Solving and Solver-Aided Systems Programming Abstractions (Python) Service contributions: Co-founded !!Con and !!Con West Chaired: Choreographic Programming 2024, PLMW workshops, DSLDI, OBT ICFP/OOPSLA/PLDI program committee member Research group: CASL Group (Concurrency and Safety Lab) Languages, Systems, and Data (LSD) Lab Current members: 6 PhD students

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

Lionel Parreauxمشاهده پروفایل

استادیار

InriaFrance

Lionel Parreaux is an Assistant Professor at The Hong Kong University of Science and Technology (HKUST) in the Department of Computer Science and Engineering since February 2021. He is actively recruiting students for his research group focusing on programming languages, type systems, and compiler optimization. He earned his PhD in 2020 from École polytechnique fédérale de Lausanne (EPFL) under the Data Analysis Theory and Applications Laboratory (DATA), where he developed the Squid type-safe metaprogramming library for Scala. His research spans Programming Languages Type Systems Functional Programming Generative Programming Compiler Optimization Language Design Recent publications (2024) cover type inference, metaprogramming, and compiler optimization. Notable works include Scope-safe metaprogramming Deforestation techniques Conditional syntax design Subtyping constraints Lazy memory management These reflect his focus on theoretical and practical language implementation challenges. Current research projects include "A Lightweight Type System for Scope and Effect Safety" (2024, Huawei Technologies) "Optimizing Functional Programs by Building on Optimal Graph Reduction Techniques" (2022-2025, RGC Early Career Scheme) He supervises 8 PhD/MPhil students and serves on program committees for POPL, APLAS, GPCE, and SPLASH symposia.

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

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

استاد

InriaFrance

David Pichardie is a Professor of Computer Science at ENS Rennes (France) and a Researcher at Meta. He holds a part-time teaching position at ENS Rennes while working on sabbatical leave. His research spans formal methods, programming languages, program verification, software security, and static analysis. He specializes in machine-checked proofs using Coq and abstract interpretation, with significant work on the verified C compiler CompCert. He has served on program committees for SAS, OOPSLA, POPL, and other leading conferences. Research Interests: Formal Methods, Static Analysis, Compiler Verification, Security, Abstract Interpretation, Programming Languages Awards: ERC Consolidator Grant (2018-2021) His recent publications focus on verified JIT compilation, constant-time cryptography, SSA-based compiler optimizations, and concurrency verification. He has contributed to the formal verification of garbage collectors, WCET estimation tools, and information-flow architectures. His work often bridges theoretical formal verification with practical compiler design, emphasizing machine-checked proofs and integration into real-world systems like CompCert. He has mentored students and collaborated on formal verification of Java bytecode, defensive copying policies, and static analysis of self-modifying code. His teaching includes courses on static analysis, formal methods, and algorithms at institutions such as University Rennes 1, INSA engineering school, and ENS Cachan.

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

William J. Bowmanمشاهده پروفایل

استادیار

University of British ColumbiaCanada

William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC), within the Faculty of Science. His research focuses on programming languages, compilers, and type systems, particularly in areas like type-preserving compilation, dependently typed languages, and verified software. He is part of the Software Practices Lab and has supervised Master's theses on topics such as Redex-Plus (a metanotation compiler), sized dependent types, and ANF translation for dependently typed systems. Research Interests include programming languages, software engineering, compilers, type theory, dependent types, and formal verification. His work emphasizes preserving semantic guarantees through compilation and ensuring safety in low-level code. He has contributed to foundational research in dependently typed compilation and practical tools like Wasm-precheck for WebAssembly. Publications: Over 20 peer-reviewed articles in venues like POPL, PLDI, and ACM conferences. Awards: Distinguished Reviewer Award and teaching recognition as an Incredible Instructor. Interdisciplinary Collaboration: Open to collaborations in research grants and bridging theory/practice gaps. His research also addresses ethical considerations in compilation (e.g., ACM Profits Considered Harmful critique) and explores connections between type universes and memory allocation. He teaches courses such as Compiler Construction (CPSC 411) and advanced topics in programming languages.

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

Bjarne Stroustrupمشاهده پروفایل

استاد

Columbia UniversityUnited States

Bjarne Stroustrup is a Professor of Computer Science at Columbia University in New York City. He is renowned as the designer and original implementor of the C++ programming language. His work has profoundly influenced software development, emphasizing object-oriented and generic programming paradigms. Stroustrup authored influential books such as The C++ Programming Language , A Tour of C++ , and The Design and Evolution of C++ . He actively contributes to the ISO C++ Standards Committee, leading efforts to evolve the language through technical papers and proposals. His research focuses on improving C++'s safety, performance, and expressiveness, including work on concepts, move semantics, and concurrency features. He has collaborated with industry and academic partners to shape the language's future direction while maintaining its efficiency and flexibility. Stroustrup's technical contributions span compiler design, template metaprogramming, and standard library development. He advocates for programming practices that balance abstraction with low-level control, making C++ a cornerstone for systems programming and high-performance applications.

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

Marco Pavoneمشاهده پروفایل

دانشیار

Stanford UniversityUnited States

Dr. Marco Pavone is an Associate Professor of Aeronautics and Astronautics at Stanford University, directing the Autonomous Systems Laboratory and the Center for Automotive Research at Stanford (CARS). He is also a Distinguished Research Scientist at NVIDIA leading autonomous vehicle research. He holds courtesy appointments in Electrical Engineering and Computer Science, and affiliations with HAI and ICME. His research focuses on autonomous systems, including self-driving cars, aerospace vehicles, and mobility systems, emphasizing control methodologies and system design. Education: Ph.D. in Aeronautics and Astronautics from MIT (2010). Former roles include Research Technologist at NASA JPL and participation in the National Academy of Engineering’s Frontiers program. He teaches courses on optimal control, robotics, and autonomous systems. Research Interests: Development of methodologies for analysis/design/control of autonomous systems, with emphasis on self-driving cars, aerospace vehicles, future mobility systems, and integration with energy networks. His work spans robotics, AI, control theory, and transportation systems. Publications reflect expertise in autonomous vehicle coordination, energy systems optimization, real-time perception, and multimodal decision-making. Recent work explores generative models for scenario analysis, transformer-based control, and safety-critical systems. Awards: PECASE (2017), ONR YIP (2017), NSF CAREER (2015), NASA Early Career (2012), Hellman Scholar (2012) Labs: Autonomous Systems Laboratory (ASL) and CARS Grants: Extensive funding from NSF, ONR, NASA, and industry partnerships Students: Mentors over 30 graduate students and postdocs, focusing on robotics, control, and AI

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

Katherine A. Yelickمشاهده پروفایل

استاد

University of California, BerkeleyUnited States

Katherine A. Yelick is the Robert S. Pepper Distinguished Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, and Vice Chancellor for Research at UC Berkeley. She holds a joint appointment as Senior Faculty Scientist at Lawrence Berkeley National Laboratory, where she previously served as Associate Laboratory Director for Computing Sciences (2010-2019) and Director of NERSC (2008-2012). Her research spans high-performance computing, programming systems, parallel algorithms, and computational genomics, with leadership roles in projects like ExaBiome and Bebop. Ph.D. in EECS from MIT (1991) M.S. in EECS from MIT (1985) B.S. in EECS from MIT (1982) Yelick specializes in parallel programming languages , automatic performance tuning , and exascale computing , co-inventing Unified Parallel C (UPC) and Titanium. Her recent work focuses on genomic data analysis , GPU-accelerated algorithms , and communication-avoiding techniques for large-scale scientific computing. Her publications reveal trends in bioinformatics , GPU parallelism , and exascale-ready frameworks , with keywords spanning computational biology, algorithms, and cloud computing. Awards include the ACM-IEEE Ken Kennedy Award (2015), National Academy of Engineering (2017), and AAAS Fellowship (2018). Leadership : ExaBiome (exascale microbiome analysis), Bebop (optimization group) Mentorship : Co-advising Alok Tripathy and Reginald Frank As a key figure in Lawrence Berkeley National Laboratory 's Computing Sciences division, she oversees NERSC, ESnet, and CRD, driving interdisciplinary applications in climate, fusion, and biomedical research.

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

Juan Fumero Alfonsoمشاهده پروفایل

پژوهشگر

The University of ManchesterUnited Kingdom

Dr. Juan Fumero Alfonso is a Researcher at the University of Manchester, specializing in high-performance computing and hardware acceleration. He holds a PhD from the University of Edinburgh where he researched GPU acceleration of interpreted programming languages through JIT and runtime optimizations (2013-2017). His research focuses on: Developing runtime systems for heterogeneous hardware (GPUs, accelerators) Optimizing virtual machines and managed languages (Java) Advancing hardware abstraction through frameworks like TornadoVM Exploring cryptographic acceleration and privacy-preserving computation His 23+ publications demonstrate consistent focus on GPU programming, runtime optimization, and hardware abstraction, with recent work exploring RISC-V vectorization and fully homomorphic encryption acceleration. Awards: Best Outstanding Output by Research Staff Award 2022 (University of Manchester) Dr. Fumero contributes to academic communities as an expert member of oneAPI Language/Hardware SIGs, co-chaired the ACM SIGPLAN Dynamic Languages Symposium (2019), and develops the RISC-V ecosystem. He maintains active collaborations across Europe in computer systems research.

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

Maurice ter Beekمشاهده پروفایل

پژوهشگر

National Research Council of Italy (CNR)Italy

Maurice ter Beek is a Senior Researcher at the Formal Methods and Tools (FMT) Group of the Institute of Information Science and Technologies (ISTI) , part of the Italian National Research Council (CNR) in Pisa, Italy. He leads the FMT Lab since 2019 and coordinates critical projects like ADVENTURE (railway systems evaluation) and T-LADIES (typeful language adaptation). He serves as Editor-in-Chief of Formal Aspects of Computing and holds editorial roles in journals like Science of Computer Programming . His career spans academic leadership in international conferences (chair of ETAPS 2026 , RSSRail 2025 , etc.) and extensive collaborations in formal methods, railway systems, and software product lines. Research Interests: His work focuses on formal methods applied to industrial critical systems, particularly railways, with expertise in variability modeling, attack-defense trees, contract automata, and team automata. Publications address quantitative analysis of reconfigurable systems model checking for railway safety empirical studies on formal methods security risk modeling collaborative software engineering Scientific Awards: ERCIM Fellowship (2003, 2002) SegraVis Fellowship (2005) Best Paper at SPLC 2019 Best Paper at ICIW 2007 Socrates Grant (EU, 2000-2001) Additional Roles: He is a faculty member of the joint PhD program in Smart Computing (Florence, Pisa, Siena), member of ISTI’s Institute Council, and coordinates CNR’s involvement in the PNRR National Sustainable Mobility Centre . His global engagement includes over 50 conference organizing roles and editorial board memberships.

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

Martin Sachenbacherمشاهده پروفایل

پژوهشگر

University of LübeckGermany

Martin Sachenbacher is a member of the scientific staff at the Institute for Software Engineering and Programming Languages within the University of Lübeck . His work aligns with the institute’s focus areas in software engineering, formal methods, and verification. Email: sachenbacher@isp.uni-luebeck.de

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

Mohammad Alianمشاهده پروفایل

استادیار

Cornell UniversityUnited States

Mohammad Alian is an Assistant Professor at the School of Electrical and Computer Engineering, Cornell University. He earned his Ph.D. (2020) and MS (2015) from UIUC and UW-Madison, respectively. His research focuses on redefining data-delivery hierarchies in data centers through computer architecture and systems research. Current Projects: Near-Memory Acceleration, Accelerator Fusion, Micro-Service Co-Design, Compound AI Systems, Memory Specialization, Gem5 Simulation Tools. Recent Awards: MICRO Hall of Fame (2025), NSF CAREER (2022), Miller Faculty Scholar (2023), Open Innovation Contest placements. His research spans Computer Architecture , Memory Systems , and Networked Computation , emphasizing algorithm-hardware co-design for distributed and heterogeneous computing. Recent work includes accelerating large-context LLMs (LongSight), optimizing gem5 simulation (Userspace Networking), and designing cross-accelerator chains (Data Motion Acceleration). ARG (Alian Research Group) collaborates with industry leaders like NVIDIA, Samsung, and SRC/DARPA JUMP 2.0 ACE Center. He serves on PC/Organizing Committees for top conferences (MICRO, ISCA, HPCA) and teaches Data Center Architecture (ECE 6960) and Digital Logic (ECE 2300) . Scientific Awards Inducted into MICRO Hall of Fame (2025) NSF CAREER Award (2022) IEEE Micro Top Picks Honorable Mention (2017) Best Paper Nominee - HPCA 2017, MICRO 2018 Open Innovation Contest: 2nd Place (2022), Finalist (2021) As Principal Investigator, he leads NSF-funded projects (CCRI, AI-Assisted Scaffolding) and co-leads the $31.5M SRC/DARPA JUMP 2.0 ACE Center . His lab develops open-source tools like dist-gem5 and DPDK on gem5, with industry support from NVIDIA (equipment donation) and Samsung.

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

Debin GAOمشاهده پروفایل

استاد

Singapore Management UniversitySingapore

Debin GAO is a Full-time Professor of Computer Science at the Singapore Management University , affiliated with the School of Computing and Information Systems (SCIS) . He serves as Co-Director of the Centre on Security, Mobile Applications & Cryptography and Faculty Manager for the SMU BSc (IS)-CMU Fast-Track Programme . His research focuses on Android security , trusted execution environments , and malware detection . PhD from Carnegie Mellon University (2006) Supervisor to SCIS undergraduate instructors Research Advisor to EE Fook Ming GAO's research explores security vulnerabilities in mobile platforms , with emphasis on cache side-channel attacks and Android app debloating . His recent work investigates LLM-driven malware classification and secure code partitioning for smart contracts . His publications demonstrate a focus on mobile security (15/15), including malware analysis (9/15), trusted execution environments (5/15), and side-channel attack mitigation (4/15). Notable contributions include DynDebloater (2025), AutoTEE (2025), and CacheAlarm (2025). As Co-Director of the Centre on Security, Mobile Applications & Cryptography , GAO leads initiatives in trustworthy app delegation (AGChain, 2024) and user-centric security (OTO, 2012). His teaching covers Information Security & Trust , Networking , and Software Engineering .

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

Fabio Papacchiniمشاهده پروفایل

مدرس ارشد

Max Planck Institute for Software SystemsGermany

Dr. Fabio Papacchini is a Senior Lecturer in Computer Science at Lancaster University Leipzig, affiliated with the School of Computing and Communications and research groups Security Lancaster (Systems and Software Security). He holds a PhD from the University of Manchester, where he was awarded a Doctoral Prize Fellowship, and previously conducted research at the University of Liverpool on projects involving robotics, artificial intelligence, and software systems for nuclear and offshore energy applications. His research centers on non-classical logics in computer science, with key interests in model theory, automated theorem proving, knowledge representation and reasoning, ontological reasoning, and formal verification. He has made significant contributions to modal logic, spatial logics, and ontology-mediated querying, particularly through reduction techniques and finite model analysis. The recent publications highlight a strong trend in logical foundations for AI and formal methods, focusing on efficient translations in modal logic, runtime verification of multi-agent systems, and integration of formal techniques with robotics and autonomous systems. His work bridges theoretical logic with practical applications in safety-critical domains. Doctoral Prize Fellowship, University of Manchester Dr. Papacchini has collaborated extensively with researchers such as Ullrich Hustadt, Clare Dixon, Cláudia Nalon, Michael Fisher, and Alessandro Ferrando. While no direct mention of student advising or grants is found, his active publication record and leadership in research projects suggest significant involvement in mentoring and collaborative research. He is associated with formal verification of autonomous systems and has explored applications in robot inspection and battery health management. He has contributed to the development of declarative languages for agent platforms and has participated in the Multi-Agent Programming Contest, showcasing applied work in automated planning and agent coordination.

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

Erika Ábrahámمشاهده پروفایل

استاد

RWTH Aachen UniversityGermany

Erika Ábrahám is a University Professor in the Department of Computer Science at RWTH Aachen University, Germany, where she leads the research group on the Theory of Hybrid Systems. Her work is centered on formal methods for cyber-physical systems, with a strong focus on hybrid and probabilistic systems, SMT solving, and symbolic computation. Her research interests include Formal Methods, Hybrid Systems, Probabilistic Systems, Satisfiability Modulo Theories (SMT), Symbolic Computation, Cyber-Physical Systems, Model Checking, Reachability Analysis, Automated Reasoning, Verification of Safety-Critical Systems, Robotics, Energy Optimization, and Artificial Intelligence . She develops theoretical foundations and practical tools for the analysis and verification of complex systems, especially in safety-critical domains like automotive and robotics. Her recent publications demonstrate a consistent focus on advancing SMT solving techniques, particularly in real algebra and cylindrical algebraic decomposition, and on analyzing probabilistic hybrid systems, including reachability and hyperproperties. She frequently contributes to and organizes major conferences and workshops in her field. Scientific Awards: No specific awards were mentioned in the provided text. Erika Ábrahám actively supervises students and researchers, with advisees including Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies, Stefan Schupp, and others. She has been involved in projects related to railway timetables, energy load control, and AI-based robotics. She also contributes to academic service through editing conference proceedings and promoting gender equality in software engineering. She is a key contributor to the HyPro library for hybrid systems reachability analysis and continues to publish in top venues such as LNCS, Springer, and Elsevier journals. Her recent work spans from core theoretical advances in SMT to applied research in sonar object detection and robotics.

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