Jennifer Paykin is a researcher affiliated with Intel and previously with Galois, Inc., actively contributing to programming languages and quantum computing since at least 2016. Her work bridges formal verification, quantum circuit design, and type theory, with notable papers on QWIRE, modal types, and higher-inductive quantum lambda calculus. Key affiliations: Intel (current), Galois, Inc. (past) Active in conference committees: PriSC , PLanQC , CoqPL , and TyDe Research interests span programming languages, quantum computing, formal verification, linear logic, and type systems. Her contributions include: Quantum circuit languages (QWIRE) Phantom type applications for quantum programs Modal types in quantum SDKs Formalizing quantum lambda calculus Secure compilation models Higher-inductive type frameworks Trends in publications show increasing focus on quantum software infrastructure (2016–2025), with recurring themes of type-driven quantum verification, circuit compilation, and logical foundations. Key collaborations include work on the SAW scripting language and flow equivalence models.
Jay Bosamiya is a Senior Researcher at Microsoft Research (mapped to Researcher academic rank) and a PhD graduate from Carnegie Mellon University (advised by Bryan Parno). His research explores the intersection of Security , Systems , and Programming Languages , focusing on provably-safe software sandboxing and memory-safe execution of unsafe code. Education : PhD in Computer Science (CMU), BTech in Computer Science and Engineering (IIT Roorkee) Key Contributions : Lucet (high-concurrency sandboxing runtime), MSWasm (memory safety enforcement), and WebAssembly security frameworks His recent publications (2020-2023) emphasize compiler design , formal verification , and secure execution environments . Notable awards include four consecutive DEFCON CTF championships (2022-2025) as a member of MushMush (MMM) and Plaid Parliament of Pwning (PPP). Beyond research, he actively participates in open-source development, CTF competitions, and occasionally shares insights on JavaScript quirks, game development, and formal methods via social media.
Deming Chen is the Abel Bliss Professor of Engineering at the University of Illinois at Urbana-Champaign, holding appointments in the Electrical and Computer Engineering Department within the Grainger College of Engineering. He serves as a research professor in the Coordinated Science Laboratory and an affiliate professor in the Computer Science department. Additionally, he is the Director of the AMD-Xilinx Center of Excellence and the Co-Director of the IBM-Illinois Discovery Accelerator Institute. Dr. Chen earned his B.S. in Computer Science from the University of Pittsburgh in 1995, followed by his M.S. and Ph.D. in Computer Science from UCLA in 2001 and 2005, respectively. After working as a software engineer during two periods (1995-1999 and 2001-2002), he joined the University of Illinois at Urbana-Champaign in 2005 and became a full professor in 2015. His research spans reconfigurable computing, AI hardware acceleration, high-level synthesis, cloud computing, and hardware security. Dr. Chen's work has significant industry impact, with open-source solutions like Medusa being integrated into NVIDIA's TensorRT-LLM, improving LLM execution speed by 1.9-3.6x. His research group pursues system-level and high-level design automation, machine learning and cognitive computing, hybrid cloud systems, hardware/software co-design, and FPGA and GPU computing. His recent publications show a strong trend toward AI acceleration and large language model optimization, with projects like SnapKV and Medusa addressing critical challenges in LLM efficiency. His work consistently bridges theoretical innovation with practical implementation, as evidenced by numerous open-source projects that have been adopted by industry. IEEE Fellow (2019) Abel Bliss Professor of Engineering (2020-present) Google Faculty Award (2020) IBM Faculty Award (2014, 2015) NSF CAREER Award (2008) Ten Best Paper Awards TCFPGA Hall-of-Fame paper award DAC International System Design Contest wins (2017, 2019) Dr. Chen has served as PI/Co-PI on over 40 research grants from US Federal agencies and industry partners. He has led numerous open-source projects including FCUDA, DNNBuilder, SkyNet, ScaleHLS, and Medusa, many of which have been adopted by industry. As Editor-in-Chief of ACM TRETS (2019-2025), he increased the journal's impact factor by 3.8x. He actively mentors students and has been recognized as an excellent teacher by UIUC students in 2008 and 2017. His research group operates at the intersection of hardware and AI, with projects spanning from low-level hardware design to high-level AI applications. The AMD-Xilinx Center of Excellence and IBM-Illinois Discovery Accelerator Institute provide substantial infrastructure for his team's research in hybrid cloud systems and AI acceleration.
Francisco Tirado is a Full Professor of Computer Architecture at Complutense University of Madrid since 1986. He has held leadership roles including Vice-Chancellor for Research (2012-2015), Dean of the Faculty of Physics (1994-2002), and Director of the Complutense Supercomputing Center (2002-2007). He is a founding member of the Spanish Society for Computer Science (SCIE) and Spanish Society for Computer Architecture (SARTECO). His research focuses on power-aware computing, heterogeneous systems, bioinformatics, and hardware design automation. He has authored over 242 publications and supervised 15 PhD theses. His professional service includes chairing 138 international conferences and serving on numerous committees for EUROMICRO, IEEE, and national research agencies. Education: No explicit details provided, but has been active at Complutense University since 1978. Affiliations: Member of COSCE Executive Board (2012), IEEE Senior Member (2005), and EUROMICRO Board (1991-2004). Research Interests: - Optimizing energy efficiency in high-performance computing systems - Design of heterogeneous architectures and accelerators - Bioinformatics applications through hardware/software co-design - Parallel programming models for emerging architectures - Automation tools for FPGA and embedded systems development Conference Contributions: Played multiple roles (General Chair, Program Chair) for major events like ParCo, HPCA, and EUROMICRO PDP conferences. Delivered 64 keynote/plenary lectures globally. Scientific Awards: Doctor 'Honoris Causa' from universities in Spain, Paraguay, and Peru 2013 National Computer Science Award IEEE Senior Membership Advising: Supervised 15 PhD students. Active in technology transfer contracts with industry. Labs/Teams: Founder and leader of the ArTeCS research group at Complutense University, specializing in computer architecture and high-performance computing innovations.
Ellen van Wolde is a Full Professor of Exegesis of the Old Testament/Source Texts of Judaism at Radboud University Nijmegen (since 2009) and Chair of the Department of Source Texts of Judaism and Christianity. Previously, she held a Full Professorship at the University of Tilburg (1992-2008) and visiting positions at the University of South Africa and the University of Sheffield. She is an Academy Board Member of the Royal Netherlands Academy of Arts and Sciences (KNAW). Education includes a PhD (cum laude) from the Catholic University of Nijmegen, an MA in Semiotics from the University of Bologna under Umberto Eco, and advanced studies in Biblical and Theological disciplines at institutions including the Pontificium Institutum Biblicum in Rome. Her research focuses on Hebrew Bible exegesis Cognitive linguistics applied to ancient texts Biblical Hebrew syntax and semantics Narratology and semiotics in religious literature Cultural and cognitive contextualization of biblical narratives Notable publications include her 2009 monograph Reframing Biblical Studies , which revolutionized methodological approaches, and groundbreaking work on the Hebrew verb bara in Genesis 1. Her research has sparked interdisciplinary dialogue and media attention, including a documentary in the KNAW series The Magic of Science . Awards include the Radboud Science Award (2010), NIAS Fellowship (2012), and knighthood in the Order of the Netherlands Lion (2011). She has secured grants for projects like The Jacob Case: Text and Cognition in Context and supervised numerous students in research programs rated among the best in Dutch academia. Her leadership has fostered collaborative conferences uniting biblical scholars and linguists.
James Long is a Professor of Accountancy at the Harbert College of Business, Auburn University, where he serves as Assistant Dean of Global Programs. His career spans academic leadership, research, and teaching excellence in accounting, financial wellness, and international business. Education: PhD in Accounting, Virginia Polytechnic Institute and State University (2009) MAcc in Accounting, Auburn University (2002) BSBA in Accounting, Auburn University (2001) Dr. Long's research focuses on how task timing affects judgment, decision-making, and performance in accounting. His work intersects behavioral accounting, audit quality, and emerging technologies like blockchain and artificial intelligence, particularly in educational contexts. His scholarly output includes publications in top-tier journals such as Accounting, Organizations & Society , Auditing: A Journal of Practice & Theory , and Journal of Accounting Education . Recent studies examine AI's role in accounting education, cryptocurrency accounting challenges, and interruptions in financial decision-making. Scientific Awards: Gerald and Emily Leischuck Endowed Presidential Award for Excellence in Teaching Alumni Undergraduate Teaching Excellence Award Harbert College's Lowder and McCartney Teaching Awards School of Accountancy Outstanding Research Award (three-time recipient) National awards for educational research articles (four-time recipient) Dr. Long has also contributed to professional practice, including a Fulbright Scholar stint in Hungary (2017), and prior industry roles as a Staff Auditor and Internal Audit Manager. He holds certifications in CIA, CMA, CPA, ABV, and CGMA, and is active in major accounting associations.
Ana Cavalcanti is a Professor of Computer Science at the University of York, UK. Her research focuses on formal methods for safety critical systems, particularly in robotics and real-time software. She leads the SER research group and has secured major funding from EPSRC and the European Commission. Education 1987 - BSc in Computer Science, Universidade Federal de Pernambuco, Brazil 1990 - MSc in Computer Science, Universidade Federal de Pernambuco, Brazil 1997 - DPhil in Computer Science, Oxford University Her work bridges formal verification, concurrency, and object-orientation, with recent projects like RoboSapiens and DOMINOS addressing trustworthy autonomous systems. She has published extensively on robotic controller verification, adaptive architectures, and ethical requirements for AI. Selected scientific accolades include the Royal Society Wolfson Research Merit Award and a Royal Society Industry Fellowship. She has held academic positions at Universidade Federal de Pernambuco (1997-2002) and the University of Kent (2002-2004) before joining York in 2004.
Vadim Zaytsev is an Associate Professor at Vrije Universiteit, specializing in Formal Methods and Tools. His research spans software language engineering, program verification, and model-driven development, with a focus on legacy systems and modernization. PhD in Recovery, Convergence, and Documentation of Languages (2008) Master's in Combinatorial Test Set Generation (2004) and Modelling Distributed Systems (2003) Bachelor's in Python Programming E-Learning (2002) Zaytsev's work integrates software language engineering , program verification , and domain-specific languages to address legacy system modernization. His recent publications emphasize data enrichment , automated repair , and refactoring detection across languages like Kotlin and Python. His scientific contributions include the IFIP TC2 Manfred Paul Award (2020) and datasets for program verification, refactoring detection, and automated repair. He actively participates in editorial work, including peer-review for workshops like OOPSLE 2020.
Sukyoung Ryu is a Professor in the Department of Computer Science at KAIST's College of Computing, South Korea. Her research centers on programming languages and program analysis, with significant contributions to WebAssembly, JavaScript semantics, and language specification. She leads the Programming Languages Research Group (PLRG) at KAIST. Her research spans multiple critical areas including executable specification engineering, static analysis techniques, and language interoperability. Recent work focuses on WebAssembly conformance testing, C-to-Rust translation, and bridging real-world implementations with formal semantics. Her group develops practical tools like SpecTec for mechanized language specifications and JISET for JavaScript semantics extraction. Analysis of her 15 most recent publications reveals strong trends in executable specifications (7 papers), WebAssembly tooling (5 papers), and language translation (4 papers). Key methodological approaches include record-replay debugging, filtered-simulation for binary lifting, and algebraic data type transformations for memory safety. Ryu actively contributes to the programming languages community through leadership roles including Steering Committee Chair for APLAS, Program Co-Chair for SPLASH/OOPSLA, and committee positions at POPL, PLDI, and ICFP. She frequently organizes workshops on real-world language specification (RPLS) and presents keynotes on programming language research for social good. Her mentoring activities include co-chairing New Faculty Symposia and participating in RTFM panels on faculty mentoring. She advises students through KAIST's programs and supervises research in the PLRG lab, which focuses on building practical language tools with formal foundations. Current projects emphasize WebAssembly standardization, secure language interoperability, and specification-based testing frameworks.
Alastair Reid is a researcher at Intel (2021–present) focusing on formal instruction set architecture (ISA) specifications and model checking processor pipelines. His career spans roles at Google Research (2019–2021) developing Rust verification tools, Arm Ltd (2004–2019) working on formal ISA specifications and vectorizing compilers, University of Utah (1998–2004) on component-based operating systems, Yale University (1994–1998) contributing to Haskell functional reactive programming, and University of Glasgow (1988–1994) in formal specification and verification. Ph.D. in Defining interfaces between hardware and software: Quality and performance , Glasgow University M.Sc. in A precise semantics for Ultraloose Specifications , Glasgow University B.Sc., University of Strathclyde His research interests include formal verification, security analysis, functional programming languages (particularly Haskell and Rust), and computer architecture. He has contributed to the development of machine-readable ISA specifications for ARM, RISC-V, and Intel architectures, and worked on symbolic execution tools like KLEE for Rust verification. Key publications include work on RISC-V specification improvements (2024), formal methods for persistent programming (2023), PLARCH workshop contributions on ISA specification (2023), and foundational papers on ARM processor verification with ISA-Formal (2016). His technical blog posts cover topics in symbolic execution, SMT solvers, and practical verification challenges. Contributions to conferences include committee roles in PLDI (2024), PriSC (2024), and workshop organization in formal methods and programming language design.
Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.
Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.
Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology's College of Computing. His research focuses on making software more secure and reliable using techniques based on formal verification, programming languages, and type systems. Previously, he held postdoctoral positions at Boston University and Carnegie Mellon University after completing his Ph.D. at the University of Pennsylvania under Benjamin Pierce and co-advised by Cătălin Hrițcu. His educational background includes undergraduate studies in computer science and engineering at Unicamp and Polytechnique. He is also one of the authors of Software Foundations, an introductory textbook to the Coq proof assistant, and maintains an active blog about Coq. Dr. de Amorim's research spans several critical areas in programming languages and security. His work on cryptographic protocols leverages recent advances in program verification (particularly separation logic) to verify cryptographic protocols. His research on compartmentalization analyzes formal guarantees of techniques for limiting the scope of vulnerabilities in low-level languages like C and C++. These research areas reflect his commitment to bridging theoretical foundations with practical security applications. His recent publications demonstrate strong activity across multiple top-tier conferences including POPL, PLDI, CCS, and ICALP, with research spanning formal verification, secure compilation, differential privacy, and programming language theory. His work consistently combines theoretical rigor with practical applications in security and reliability. Dr. de Amorim has served on numerous program committees for major programming languages conferences including POPL, PLDI, ICFP, and CoqPL, demonstrating his active engagement with the research community. He has also contributed to important educational resources through his work on Software Foundations. He currently advises several graduate students at RIT working on various aspects of programming languages and security. His lab develops multiple open-source software projects including Cryptis (for verifying cryptographic protocols), Deriving (a Coq library for automating class instances), and Extructures (a Coq library of finite data structures).
James Cheney is a Personal Chair of Programming Languages and Systems at the University of Edinburgh, working in the Laboratory for Foundations of Computer Science within the School of Informatics. He leads the Principles of Provenance research group and has been a Turing Fellow from 2018 to 2023. His educational background includes a PhD in Computer Science from Cornell University (2004), an MS in Mathematics from Carnegie Mellon University (1998), and a BS in Computer Science and Mathematics from Carnegie Mellon University (1998). Cheney's research focuses on the intersection of databases and programming languages, with particular emphasis on data provenance. His work spans several key areas: Databases and data provenance Programming languages and compilers Generic programming Logic and automated theorem proving Compression and information theory XML and related technologies His recent publications demonstrate a strong focus on language-integrated query systems, type systems for programming languages, and formal approaches to data provenance. These works often bridge theoretical foundations with practical applications in database systems and programming language design. Cheney has received several notable awards and recognitions: Royal Society University Research Fellowship (2008-2016) Turing Fellow (2018-2023) ERC Consolidator Grant for the Skye project (2016-2021) Google Research Award for Language-integrated provenance As an advisor, Cheney has supervised numerous PhD students and postdoctoral researchers who have gone on to positions at institutions including New York University, LSE, University of Southampton, Meta, and others. His research has been supported by various grants from DARPA, EPSRC, AFOSR, EU FP7, and industry partners including Google, Microsoft Research, and Huawei. Cheney leads the Principles of Provenance group, which conducts fundamental research on data provenance and its applications in security, data curation, and scientific computing. The group has worked on projects including Skye (a programming language for scientific data curation), ADAPT (a DARPA-funded project on advanced persistent threat prevention), and language-integrated provenance systems.
Marco Guarnieri is an Associate Professor at the IMDEA Software Institute in Spain, where he leads research at the intersection of security, programming languages, and computer architecture. Prior to his current position, he completed his Ph.D. in Computer Science at the Institute of Information Security at ETH Zurich in 2017. His educational background includes: PhD in Computer Science, 2017, ETH Zurich MSc in Computer Engineering, 2012, Università degli Studi di Bergamo BSc in Computer Engineering, 2010, Università degli Studi di Bergamo Dr. Guarnieri's research spans multiple security domains with particular focus on: Security at the hardware-software boundary Microarchitectural side-channel attacks and countermeasures Database security and access control Formal methods for security verification Secure compilation and information flow control His publication record shows consistent contributions to microarchitectural security, especially regarding speculative execution vulnerabilities and hardware-software leakage contracts, combining theoretical foundations with practical implementations that have advanced secure systems design. Dr. Guarnieri has received significant recognition for his research: Distinguished paper award at CCS 2024 Distinguished paper award at CCS 2023 Distinguished paper award at CCS 2022 Best paper award at S&P 2021 He actively contributes to the research community through conference organization and program committees for PLDI, POPL, and other top venues. Dr. Guarnieri maintains an active research group at IMDEA Software Institute and is currently seeking talented researchers to work on security at the hardware-software interface.
