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

• Optimizing Compilers
• Program Analysis
• Embedded Systems
• +۴ مورد دیگر

Jens Knoop is a Full Professor at TU Wien, leading the Department of Information Systems Engineering (E194) and the Research Unit Compilers and Languages (E194-05). His roles include Head of Institute for Information Systems Engineering and membership in the Curriculum Commission for Informatics. He specializes in compiler design, program analysis, and embedded systems, with a focus on worst-case execution time (WCET) analysis and formal methods. His research interests span optimizing compilers, programming languages, and real-time computing. Notable contributions include the Platin tool suite for WCET analysis and contributions to the T-CREST project on time-predictable multi-core architectures. He has authored and edited multiple influential publications, including proceedings of international conferences such as Code Generation and Optimization (CGO) and ARCS. Professor Knoop has supervised numerous theses, including works on effect systems in Haskell, mutation testing in Rust, and robotic systems. He has received the Most Influential PLDI Paper Award (2002) for foundational work in compiler optimization.

• System-on-Chip (SoC) Design
• FPGA-Based High-Level Synthesis
• Real-Time Embedded Systems
• +۵ مورد دیگر

Timo Hämäläinen is a Professor of Computer Engineering at Tampere University, leading the Unit of Computing Sciences within the Faculty of Information Technology and Communication Sciences. He is a core member of the System-on-Chip research group and the Computer Engineering Team, actively contributing to the System-on-Chip Hub initiative. His research focuses on System-on-Chip (SoC) design methodologies, FPGA-based high-level synthesis, real-time embedded systems, and open-source hardware-software co-design frameworks like RISC-V and HEVC encoding. He has pioneered work on agile SoC development processes and validation techniques for large-scale hardware systems. Key research areas include: High-level synthesis (HLS) optimization for FPGAs Real-time processor architectures and context-switching latency reduction Formal verification of IP-XACT-compliant SoC designs Resilient RISC-V MPSoC implementations Hardware-accelerated algorithms for signal processing and networking His recent publications (2023-2025) emphasize agile SoC development frameworks, hardware-software co-design for real-time systems, and validation methodologies for large-scale embedded systems. He has contributed to open-source projects like Kvazaar HEVC encoder and the Kactus2 IP-XACT toolchain. Academic advising includes students such as Santéri Mäki-Äijö (formal verification), Arto Oinonen (RISC-V tooling), and Sakari Lahti (processor modeling). His work integrates academic research with industrial collaboration through frameworks like the Fault-slip-Through quality assessment methodology.

Jacques-Henri Jourdanمشاهده پروفایل

پژوهشگر

• Formal Verification
• Rust Programming Language
• Coq Proof Assistant
• +۵ مورد دیگر

Jacques-Henri Jourdan is a CNRS researcher at the Laboratoire Méthodes Formelles (LMF) , Université Paris-Saclay. His work focuses on formal verification and programming language design , particularly for Rust and OCaml , using proof assistants like Coq and the Iris framework. Current academic rank: Researcher (CNRS) Affiliation: LMF, Université Paris-Saclay Research highlights include: Developing Creusot , a deductive verification tool for Rust Contributing to the Iris concurrent separation logic Formalizing RustBelt for Rust's type system soundness Building a statistical memory profiler for OCaml Scientific awards: GdR GPL 2016 Thesis Prize for his PhD on formal verification Notable contributions to academia: Co-teacher of Advanced Programming at ENS Paris-Saclay Co-development of OCaml's runtime library and parser Active program committee member in POPL, ICFP, and WITS

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

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Derek Dreyerمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۶ مورد دیگر

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۵ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His primary affiliation is with Imperial College London's Department of Computing within the broader Faculty of Engineering structure. He serves as a Program Committee Member for major conferences including ASE, PLDI, and POPL. His research spans Programming Languages , Compilers , Verification , Testing , and Multicore Programming , with significant contributions to randomized testing techniques. He pioneered GraphicsFuzz (acquired by Google in 2018) and developed innovative approaches like grammar mutation for parser testing, metamorphic fuzzing for C++ libraries, and specialized tools for GPU API validation. His work bridges theoretical foundations with industrial impact, particularly in compiler correctness and GPU computing. Analysis of his recent publications reveals a strong trend toward fuzzing infrastructure development (40%), GPU/compiler testing (30%), and formal methods integration (30%). His research increasingly focuses on large-scale automated testing for complex systems including WebGPU, Dafny, and Rust, while maintaining rigorous theoretical grounding in concurrency models and memory semantics. Donaldson has held significant leadership roles including General Chair for PLDI 2020 and Program Chair for ECOOP. His research has been supported through conference organizational roles and industrial collaborations, notably the GraphicsFuzz spinout. He actively contributes to the PL community through mentoring initiatives like PLMW and community-building efforts such as The PLDI Song. He leads the Multicore Programming Group at Imperial College London, focusing on practical tools for compiler and GPU driver validation. The group's work combines theoretical program analysis with real-world testing frameworks, maintaining strong industry connections through projects adopted by Google and other technology companies.

Andrea Lattuadaمشاهده پروفایل

پژوهشگر

• Systems Verification
• Programming Languages
• Formal Methods
• +۱ مورد دیگر

Andrea Lattuada leads the Principled Systems Group at the Max Planck Institute for Software Systems. He co-founded the Verus project for verifying Rust programs and holds a PhD from ETH Zürich. His research develops tools for verifying systems software correctness, focusing on Rust-based verification frameworks and distributed systems reliability. He explores the intersection of formal methods and practical system design. Publications demonstrate advancements in automated verification techniques for concurrent systems and language design. Recent work establishes foundations for scalable system verification. Awards include distinguished paper awards at PLDI, SOSP, and OSDI conferences. He mentors PhD students and collaborates with VMware Research and Microsoft Research. He teaches Formal Verification of Systems Software at Saarland University and leads the Rust Verification Workshop.

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

استاد

• Programming Languages
• Software Engineering
• Verification
• +۷ مورد دیگر

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.

• Cryptography
• Computer Architecture
• Privacy-Preserving Systems
• +۳ مورد دیگر

Tom Godden is a Researcher at Vrije Universiteit Brussel's Faculty of Engineering specializing in cryptography and computer architecture, with expertise in zero-knowledge proofs and ARM processor optimization for privacy-preserving systems. His work bridges theoretical cryptography with practical embedded systems implementation. His research focuses on cryptographic optimization for resource-constrained devices, zero-knowledge proof systems, and decentralized access control frameworks. Key contributions include ARM-specific elliptic curve cryptography enhancements and zero-knowledge-based permission management architectures for peer-to-peer applications. Recent publications demonstrate a strong trend toward practical zero-knowledge applications in privacy engineering, particularly for mobile and embedded environments where computational resources are limited. Scientific recognition includes: 2nd prize at IACR RWC'21 Cryptohackathon on Functional Encryption Godden actively collaborates within VUB's cryptography research group led by Prof. An Braeken, presenting at major venues including Real World Crypto Symposium and CPDP. His conference participation spans implementation workshops and academic presentations on Rust programming for cryptographic systems.

• Hardware Security
• Internet of Things
• Embedded Systems
• +۵ مورد دیگر

Thibaut Vandervelden is a Researcher at Vrije Universiteit Brussel's Faculty of Engineering, Department of Electronics and Informatics. His work focuses on hardware security, embedded systems, and cryptographic implementations for resource-constrained environments. With an h-index of 4, he has produced significant research output since 2019, primarily in Sensors, IEEE Access, and Future Generation Computer Systems. His research interests center on practical security implementations for IoT devices and embedded systems, with particular expertise in Rust programming for secure embedded development, cryptographic protocol optimization, and network security for low-power wireless networks. His work bridges theoretical security concepts with practical implementation challenges in constrained environments. Analysis of his recent publications reveals a strong trend toward secure embedded systems development, with increasing focus on Rust programming language applications, zero-knowledge proofs for privacy-preserving systems, and optimization of cryptographic operations for IoT devices. His research demonstrates consistent collaboration with colleagues including Ruben De Smet, An Braeken, and Kris Steenhaut. Scientific recognition includes: IACR RWC'21 Cryptohackathon on Functional Encryption: 2nd prize (2021) Vandervelden actively participates in research community building through organizing workshops like RustIEC and presenting at events focused on embedded systems security. His work has been referenced in Wikipedia pages and garnered attention across academic and professional platforms, with media contributions on cybersecurity research in Flanders. He leads and participates in research teams focused on wireless community development and the Internet of Batteryless Things, contributing to both theoretical frameworks and practical implementations in hardware security.

Stefan Lankesمشاهده پروفایل

پژوهشگر

• Operating Systems
• System Software
• High-Performance Computing
• +۴ مورد دیگر

Dr. rer. nat. Stefan Lankes is an academic researcher at the Chair of Automation of Complex Power Systems, RWTH Aachen University's Faculty of Electrical Engineering and Information Technology. His work focuses on operating systems, high-performance computing (HPC), cloud computing, and lightweight virtualization techniques for embedded and real-time systems. Stefan holds a PhD in Electrical Engineering (2003) for his dissertation on real-time distributed platforms. His career spans roles from Scientific Assistant (1998-2004) to Academic Director (since 2019), with key contributions to HPC infrastructure and simulation environments. Research highlights include Rust-based OS development ( HermitCore unikernel ), GPU virtualization in distributed systems, and energy-efficient embedded computing paradigms. He pioneered the FlippedOS digital teaching platform using virtual workstations for operating systems education. Scientific awards include the 2016 Digital Teaching Fellowship and the 2021 RWTH Lecturer distinction. His publications cover topics from NUMA memory management to real-time CORBA protocols, with recent works addressing unikernel security and CUDA virtualization. Stefan leads simulation infrastructure and HPC virtualization projects, with affiliations to the E.ON Energy Research Center and involvement in European workshops like Euro-Par. His work bridges system software innovation with practical applications in energy systems and supercomputing.

Meng Wangمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Bidirectional Programming
• +۲ مورد دیگر

Dr. Meng Wang is a Professor at the School of Computer Science, University of Bristol, where he leads the Programming Languages Research Group. His career includes prior roles as a Lecturer at University of Kent and Assistant Professor at Chalmers University of Technology. Current Affiliation: University of Bristol Past Affiliation: University of Kent Past Affiliation: Chalmers University of Technology Research interests center on applying theoretical rigor to practical programming, with a focus on designing languages and tools for software development and testing. Key areas include: Bidirectional Programming Functional Programming Software Testing Type Systems Embedded Languages Publication trends show a strong emphasis on bidirectional programming, functional language design, and compiler techniques. His recent work explores large language model applications in code translation and formal verification of refinement types in object-oriented systems. Supervision and team leadership include mentoring 12 current PhD students and 1 Research Associate, while past mentees include notable researchers who have transitioned to industry and academic roles. He has organized workshops like VeTSS summer school and co-chaired PEPM 2024, demonstrating active community engagement.

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

دانشیار

• programming languages
• type theory
• gradual typing
• +۶ مورد دیگر

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

Kristin Yvonne Rozierمشاهده پروفایل

دانشیار

• Formal Methods
• Verification and Validation
• Safety-Critical Systems
• +۵ مورد دیگر

Kristin Yvonne Rozier is the Dennis and Rebecca Muilenburg Associate Professor in the Department of Aerospace Engineering and Computer Science at Iowa State University, joining the faculty in Fall 2016 after 14 years as a NASA Research Scientist and a brief tenure at the University of Cincinnati. She is an NSF CAREER Award winner and recipient of the Women in Aerospace Initiative-Inspiration-Impact Award, with affiliations including Associate Fellow of AIAA and Senior Member of IEEE/SWE. Her educational background includes a PhD from Rice University and MS/BS degrees from the College of William and Mary. PhD, Rice University MS, College of William and Mary BS, College of William and Mary Rozier's research centers on formal methods for safety-critical systems, specializing in verification and validation techniques for aerospace applications. Her work spans design-time checking of system logic, runtime monitoring, and safety analysis for autonomous systems, with specific focus on Unmanned Aerial Systems (UAS), mission-time linear temporal logic (MLTL), and specification debugging. She develops theoretical frameworks for model checking, property-based design, and linear temporal logic satisfiability, addressing challenges in biomedical privacy, secure protocols, and automated control systems. Her recent publications (2023-2025) demonstrate a concentrated effort on advancing mission-time logic verification, neurosymbolic AI applications, and hardware-verified runtime monitors. Key themes include MLTL validation through regular expressions, multimodal verification for cyber-physical systems, and practical tool development like R2U2 and MoXI, all targeting real-world deployment in aerospace and autonomous systems where safety guarantees are non-negotiable. Major recognitions include: NSF CAREER Award for theoretical foundations of UAS in the National Airspace Women in Aerospace Initiative-Inspiration-Impact Award (2013) Distinguished AIAA Award Elevation to Associate Fellow of AIAA As Principal Investigator, she leads significant grants including an ARMD Seedling project for UAS safety management and NSF-funded initiatives like CCRI for open-source model checking and CPS for resource-aware runtime verification. Her NASA work involved critical contributions to NextGen Air Traffic Management and CubeSat health monitoring, with R2U2 deployed on CySat-I and sounding rockets. She actively shapes the field through the NASA Formal Methods Symposium Steering Committee (since 2008) and promotes ethical research dissemination through reproducibility principles. Rozier directs the R2U2 research group developing runtime verification tools for embedded aerospace systems, with current projects integrating formal methods into UAS traffic management and autonomous space systems. Her team collaborates with NASA centers on safety-critical applications, maintaining strong industry ties through AIAA and IEEE forums while mentoring next-generation researchers in formal methods.

Chris Hawblitzelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Operating Systems
• Formal Verification
• +۵ مورد دیگر

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research's Systems Research Group . His work spans programming languages, operating systems, formal verification, and security, with a focus on integrating systems concepts into safe language environments. Research Themes : Systems verification, security, concurrent programming, and type systems Awards : Distinguished Artifact Awards (2025, 2024), Jay Lepreau Best Paper Award (2024), Best Paper Awards (PLDI 2010, EuroSys 2006) His recent publications (2025-2022) focus on Rust verification ( Verus ), storage/distributed systems verification ( PoWER , IronFleet ), and cryptographic systems ( EverCrypt ). He contributes to foundational work in linear types, ghost state, and automated proof generation for systems code. Notable collaborations include work with Bryan Parno , Jon Howell , and Jay Lorch on verification frameworks and security modules for modern computing environments.