Nobuko Yoshida is a Professor in the Department of Computer Science at the University of Oxford. Her research centers on theoretical foundations of concurrent and distributed systems, with a focus on type theory and programming languages. Affiliation: University of Oxford Research Interests: Theory of Computing, Concurrency, Type Theory, Programming Languages, Distributed Systems Conference Involvement: Active in POPL, ECOOP, ICFP, OOPSLA, PPDP, and ST30 tracks Her recent work analyzes multiparty session types, asynchronous/synchronous communication models, timed protocols, and type refinements for distributed systems. Key contributions include advancements in protocol specification, endpoint projection, and formal verification of concurrent systems. Yoshida has authored or co-authored publications at leading venues including ECOOP, ST30, and OOPSLA. Her articles emphasize compositional reasoning for multiparty sessions, hybrid protocol designs, and robustness in distributed environments with crash-stop failures. These works intersect with subfields such as session type theory, formal verification, and specification-agnostic implementation techniques.
Benjamin Delaware is an active Associate Professor in the Department of Computer Science within Purdue University's College of Science. His research focuses on programming languages and formal verification, with significant contributions to relational verification, proof automation, and oblivious computation. His research interests span Programming Languages , Program Verification , Formal Methods , Relational Verification , and Proof Automation . Delaware develops techniques for verifying program correctness using type systems, automated reasoning, and language-based security approaches. His work bridges theoretical foundations with practical tools for secure and reliable software systems. Analysis of his recent publications shows strong trends in leveraging large language models for verification tasks (2025), advancing relational verification through E-graphs (2023-2025), and developing type-based approaches for security and privacy (2022-2024). His work consistently addresses fundamental challenges in program equivalence, test generation, and oblivious computation. Distinguished Reviewer (PLDI 2023) Delaware actively serves as committee member and session chair across major programming language conferences (POPL, PLDI, SPLASH). His grant activities focus on NSF-funded research in programming language theory and verification tools. He has mentored students through research papers and conference contributions, though specific advisees aren't listed in the source material. His work involves collaboration with research groups focused on formal methods and programming language design, particularly in developing verification frameworks like KestRel and Taypsi. Current projects explore LLM-assisted verification and policy-agnostic oblivious computation.
Sukyoung Ryu is a Professor at KAIST, focusing on programming languages and static program analysis. Her work spans JavaScript analysis, WebAssembly, Rust translation frameworks, and language specification verification. Education : Not explicitly mentioned Research Focus : Programming languages, static analysis, JavaScript, WebAssembly, Rust, Android hybrid apps, type systems Conference Roles : Co-chair (OOPSLA Review Committee, New Faculty Symposium), Committee Member (ICFP, ECOOP, ASE, PLDI, ICSE), Session Chair (SCAM, Type Systems, Keynotes) Keynote Talks : PLDI 2021, ICFP 2020, Scala 2019 Tool Development : SAFE framework, SpecTec, Wasm-R3, HybriDroid, WALA extensions Her recent publications focus on WebAssembly benchmarks, language specification verification, and memory/concurrency safety in cross-language translation. She contributes to open-source analysis tools and standards development. As a committee member and session chair for conferences like PLDI, ICFP, and SPLASH, she actively shapes research directions in programming language design and analysis. Her lab at KAIST develops tools like SpecTec for mechanized language specifications.
Professor Kenneth J Linton serves as Professor of Protein Biochemistry, Director of Graduate Studies, and Molecular and Cellular Medicine Theme Lead at Queen Mary University of London's Blizard Institute within the Faculty of Medicine and Dentistry. His research focuses on membrane transport proteins and their pathophysiological roles in human disease, with particular expertise in ATP-binding cassette (ABC) transporters. His academic foundation includes a BSc in Biological Sciences with honours in Microbiology from the University of Edinburgh and a PhD in Genetics from the University of Glasgow. His doctoral work first described the molecular mechanism of antibiotic self-protection via ABC transporters in soil bacteria. Linton's research program investigates structure-function relationships in membrane transport proteins through: Molecular mechanisms of multidrug resistance P-glycoprotein (ABCB1) ABCB4/ABCB11 mutations in cholestatic liver disease CD36's role in atherosclerosis and obesity Fatty acid transport protein function in lipid metabolism Protein:protein interactions at plasma membranes His work integrates structural biology, molecular modeling, and cell biological approaches to elucidate disease mechanisms. Analysis of his 2018-2024 publications reveals sustained focus on cholestatic liver disease genetics (including South Asian population studies), cancer drug resistance mechanisms involving ABCB1/ABCC3, and CD36's implications in metabolic disorders. Recent work emphasizes translational applications like iPSC-derived hepatocyte models and novel transporter inhibitors. Professor Linton actively mentors postdoctoral researchers including J.J. Wharton, M. Snippe, J.K. Zolnerciks, E.J. Andress, and T.K. Ritchie, while supervising Masters, PhD, and BMedSci students. His teaching encompasses Cell Biology module coordination for first-year medical students, problem-based learning sessions, and laboratory instruction. He leads the Membrane Transport Biology research group within the Centre for Cell Biology and Cutaneous Research, maintaining collaborations with clinicians at Imperial College and King's College London to bridge basic science with clinical applications in liver disease and cancer therapeutics.
Stephanie Balzer is an Assistant Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. Her office is located in 9004 Gates-Hillman Center, and she can be reached at balzers@cs.cmu.edu with administrative support from Oliver Moss. Dr. Balzer received her PhD from ETH Zurich under the supervision of Thomas R. Gross. Her academic trajectory shows consistent focus on formal methods and programming language theory from her early work on object relationships through to her current research on verification systems. Her research program aims to enable the construction of failure-free software that is correct by design and secure to run. She deploys rigorous reasoning methods such as type systems and verification logics to formally prove adherence to desired properties. Her work emphasizes compositional methods for scalability and addresses verification needs arising from real-world problems. Dr. Balzer's interests span Programming Languages, Pure and Applied Logic, Software Verification, Type Theory, and Security . A driving force underlying her research is the belief that powerful solutions are fundamentally based on simple ideas that can be conveyed to and appreciated by non-experts. Analysis of Dr. Balzer's publication record reveals a sustained focus on session types, logical relations, and concurrent systems verification. Her recent work shows increasing sophistication in handling timed protocols, information flow control, and heterogeneous applications. She consistently publishes in top-tier venues including POPL, PLDI, ICFP, and ECOOP, often receiving distinguished paper awards for particularly impactful contributions. NSF CAREER Award on "A Semantic Framework for Verifying Heterogeneous Applications" (2024) ACM SIGPLAN Distinguished Paper Award (2023) ECOOP Distinguished Paper Award (2022) Supervised PhD student Jules Jacobs received Cum Laude distinction (2024) Dr. Balzer has secured significant research funding including an NSF CAREER Award (2025), an NSF Award on Integrated Verification of IoT and Real-time Communication Protocols (2022), an AFOSR Award (2021), CyLab Seed Funding (2020), and previous NSF and Mozilla Research Grants. She actively mentors a diverse research group including PhD candidates Yue Yao, Yinsen (Tesla) Zhang, and Zak Kent (co-advised with Guy Blelloch), as well as M.S. and undergraduate researchers. Her supervision extends to postdoctoral fellows and thesis committee roles for other students. Dr. Balzer leads research activities within CMU's ForML Lab and maintains active collaborations with researchers at ETH Zurich, Radboud University Nijmegen, and Cornell University. She plays significant leadership roles in the programming languages community including as founder of the PL Scholars Network, steering committee chair of the Programming Languages Mentoring Workshop (2023-2025), and co-organizer of the Oregon Programming Languages Summer School (2023).
Dejan Vukobratovic is a Full Professor in the Department of Power, Electronic and Communication Engineering at the Faculty of Technical Sciences, University of Novi Sad, Serbia. He serves as Editor for IEEE Transactions on Communications (Coding and Information Theory area), ITU Journal on Future and Emerging Technology, and Associate Editor for Frontiers in Communications and Networks, with extensive involvement in international conference organization including upcoming roles as General Chair for IEEE CSCN 2024 and Special Session Chair for IEEE ICMLCN 2025. His research spans Wireless Communications, Machine Learning for Communications, and Internet of Things with emphasis on 5G/B5G networks and AI integration. Current projects include Serbian Science Fund's REWARDING (water quality monitoring using IoT/Edge/Cloud systems) and Horizon Europe's REMARKABLE (rural environmental monitoring in Africa), reflecting his focus on practical applications of massive machine-type communications and large-scale information processing. Dr. Vukobratovic received the 2016 Award for Research Excellence from the Faculty of Technical Sciences. His team's PhD students won the IEEE Vehicular Technology Society UAV Innovation Challenge in 2021, demonstrating applied research impact. He leads the ICONIC research centre (established 2017) coordinating H2020 Twinning project INCOMING with Aalborg University, Chalmers University, and DLR. His advisory roles include serving on PhD committees at Aalborg University and University of Strathclyde, while upcoming 2025 engagements feature keynotes on ML/AI integration at BalkanCom, WISPNET, and ASMS conferences.
Dr. Ananda Mondal is an Assistant Professor in the Knight Foundation School of Computing and Information Sciences at Florida International University (FIU). He previously held roles at Claflin University (2012-2018), where he was tenured and promoted to Associate Professor, and at the Bangladesh University of Engineering and Technology (1991-1997). He earned his Ph.D. in Computer Science from the University of South Carolina (2011). His research focuses on Big Data Analytics , Machine Learning (with emphasis on Deep Learning ), and Bioinformatics , particularly in cancer genomics, protein network analysis, and health disparity studies. He has developed undergraduate courses integrating research into bioinformatics and big data, mentoring students who published in IEEE BIBE, BIBM, and BIOCOMP conferences. Dr. Mondal’s work has garnered significant recognition, including the NSF CAREER Award (2017-2022) , the Innovative Scientific Research Award (2017), and multiple Research Excellence Awards (2015, 2017). His lab (Mondallab) focuses on interdisciplinary applications of machine learning in healthcare and genomics. Education : Ph.D. in Computer Science, University of South Carolina (2011) Professional Activities : Session Chair (IEEE BIBM, BIBE), Peer Reviewer (Bioinformatics, IEEE BIBM) Affiliations : ACM, IEEE, ISCB His recent publications highlight advancements in interpretable AI for cancer survival prediction, multi-omics integration frameworks (MOGAT), and studies on health disparities in lung cancer and skin tone classification.
Steni Sackiriyas is an Assistant Professor at the University of Wisconsin-La Crosse in the Department of Health Professions - PT. They specialize in biomedical and rehabilitation science with a focus on physical therapy, teaching courses like Pathophysiology, Pharmacology, and Research Practicum at the doctoral level. Education includes a Doctor of Science (DSc) from Loma Linda University and advanced degrees from Vinayaka Missions University and Tamil Nadu Dr. M.G.R. Medical University in India. Their teaching history spans courses in physical agents, clinical research, and applied clinical practice. Research interests center on osteoarthritis management, biomechanics of movement, and rehabilitation techniques. Their recent work explores joint load reduction strategies, gait analysis in knee arthroplasty patients, and the impact of external focus instructions on motor coordination in athletes. Publications span peer-reviewed journals in physical therapy and biomechanics, with a focus on innovative interventions and clinical applications. Active in academic presentations, including sessions at the American College of Sports Medicine and American Physical Therapy Association conferences.
Ankush Das is an Assistant Professor in the Computer Science Department at Boston University. His research focuses on programming languages with applications in cryptographic protocols, distributed systems, probabilistic models, and machine learning. He holds a PhD from Carnegie Mellon University (2021) and a Bachelor of Technology from Indian Institute of Technology Bombay (2014). Prior to academia, he worked as an applied scientist at Amazon AWS and as a research fellow at Microsoft Research and Meta. Research interests include formal verification of distributed systems, session types for resource management, and probabilistic programming models. His work bridges theory and practice through tools like the Rast language for resource-aware session types and Nomos for smart contracts. Notable contributions include advancements in gas-cost analysis, protocol verification, and automated analyses of IoT systems. His publications emphasize formal methods applied to real-world systems like blockchain smart contracts and distributed protocols. Academic background includes collaborations with Prof. Jan Hoffmann and Prof. Frank Pfenning at CMU, and internships at Microsoft Research and Meta. No formal awards are listed, though his work has been presented at venues like FSCD and various conferences.
Jorge A. Pérez is an Associate Professor in Software Foundations at the University of Groningen, Netherlands. He leads the Fundamental Computing group and serves as Head of Computer Science at the Bernoulli Institute. His research focuses on rigorous programming models for concurrent and message-passing systems, with emphasis on session types and formal verification techniques. Education: PhD in Computer Science (2007-2009), University of Bologna, Italy Postdoc at NOVA University of Lisbon (2010-2014) Visiting Professor at University of Buenos Aires (2012) Research Interests: Programming languages, formal verification, session types, concurrency theory, and logic-based approaches to software correctness. His work bridges foundational theory with practical applications in distributed systems. Grants & Awards: NWO VIDI grant (2018) Member of Young Academy Groningen (2019-2024) NWO TOP2 grant (2018) Advising: Supervises PhD students in concurrency theory and session types. Notable advisees include Juan C. Jaramillo and Bas van den Heuvel. Teaches core courses on formal methods, automata theory, and programming language semantics. Labs/Teams: Leads the Fundamental Computing group, focusing on logical foundations of computation and their application to concurrent systems. Collaborates with international networks like the EU COST Actions on Behavioral Types and Runtime Verification.
Dr. Raymond Hu is a Lecturer in Computer Science at Queen Mary University of London's School of Electronic Engineering and Computer Science (EECS). He holds a BA from the University of Cambridge and an MSc/PhD from Imperial College London. His research focuses on programming languages, distributed systems, type systems, and session types, with applications in concurrent and fault-tolerant systems. He collaborates with industry partners like Google, Red Hat, and the Ocean Observatories Initiative. Dr. Hu is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS, and actively contributes to academic conferences and workshops. Education: BA, University of Cambridge MSc, Imperial College London PhD, Imperial College London Research Interests: Dr. Hu's work spans programming language design, distributed systems, and formal methods. Key areas include session types for safe communication protocols, type systems for concurrency, and fault tolerance in distributed environments. His recent projects involve rate-based session types for IoT devices and generics in the Go programming language. Grants & Collaborations: He collaborates with industry leaders such as Google (on Go generics) and Cognizant, and has secured grants supporting projects like session-based protocols for embedded systems. He also organizes academic events like TIME 2025 and co-chairs workshops such as PLACES '24. Labs & Teams: Member of the Theory Group and Centre for Fundamental Computer Science, actively involved in protocol design and verification initiatives.
Luís Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa. He is also a Core Researcher at INESC-ID and holds the ERA Chair under the H2020 BIG initiative. Previously, he served as a Full Professor at the Department of Computer Science, NOVA FCT, and was the founding Director of the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theory and practice of programming languages, emphasizing trustworthy concurrent, distributed, and decentralized systems. Key areas include type systems for resource management in concurrent systems, integration of foundational concepts (types, logics, process algebra) with systems building (compilers, type-checkers), and interdisciplinary themes like computational theories of mind and quantum programming models. Recent work includes the development of the Linear Session Abstract Machine (LSAM) and the CLASS language, which ensure safety properties in concurrent programming. He actively participates in academic communities, serving as a PC member for ECOOP, FoSSaCS, and LICS. His contributions span software tools like the SLMC model checker for spatial logics and DIFT for dependent information flow types. His research bridges theoretical foundations with practical implementations, emphasizing both correctness and practical usability. Key Projects: LSAM, CLASS, DIFT, SLMC Grants: H2020 BIG (ERA Chair) Labs/Teams: INESC-ID, NOVA Laboratory for Computer Science and Informatics
Mark Utting is an Associate Professor at The University of Queensland, Australia, with a strong research focus on software verification, model-based testing, and AI for testing. He has held academic positions at several Queensland universities, Waikato University in New Zealand, and the University of Franche-Comté in France, and has industry experience in genomics and manufacturing software development. His research interests include software correctness, theorem proving, language design for parallel computing, and blockchain-based software verification. He is the author of the influential book Practical Model-Based Testing: A Tools Approach and has published over 80 papers in formal methods and software engineering. Recent publications highlight his work in verifying compiler optimizations using Isabelle/HOL, differential testing of verification frameworks, and empirical studies on TypeScript’s evolution. These works reflect a strong trend toward formal verification, empirical analysis of programming languages, and the integration of AI in software testing. PC Member, IEEE AITest 2025 Artifact Evaluation Committee, PLDI 2021 Mark Utting has extensive experience managing software development teams in both academia and industry. He leads research projects involving formal verification tools such as VeriOpt and VeriSmart and contributes to open-source initiatives on GitHub, including the Agilkia toolkit for AI-for-testing. He has supervised multiple research students and is actively involved in software engineering conferences as author, reviewer, and session chair. He is affiliated with the UQ Cyber group and contributes to projects on blockchain smart contract verification and model-based testing frameworks. His work bridges theoretical formal methods with practical software engineering challenges, aiming to improve software reliability in real-world systems.
Philip Wadler is a Professor of Theoretical Computer Science in the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh, a position he has held since 2003. He is also a Senior Research Fellow and Area Leader in Programming Languages at IOHK. His career includes prior academic roles at the University of Glasgow and research positions at Bell Labs and Avaya Labs. He is a principal designer of the Haskell programming language and a leading figure in programming language theory. Education: B.S. Stanford University (1977), Ph.D. Carnegie-Mellon University (1982), Postdoc Oxford University (1983–1987) Wadler's research focuses on the intersection of logic, types, and programming languages. His work has profoundly influenced functional programming, type systems, concurrency, and formal methods. Key contributions include the design of Haskell, the development of the blame calculus for gradual typing, Featherweight Java as a formal model, and the Links language for web programming. He has also worked extensively on XML standards (XQuery, XSLT) and the Curry-Howard correspondence, most notably through his widely acclaimed article "Propositions as Types". His current research, supported by an EPSRC Programme Grant, explores session types and concurrency. His recent publications (2015–2025) reveal a consistent focus on type theory, particularly blame calculus, gradual typing, session types, and formal verification for blockchain and smart contracts. There is a strong emphasis on logical foundations, parametricity, and the application of theoretical concepts to practical systems, especially in the context of modern programming challenges like concurrency and distributed systems. SIGPLAN Distinguished Service Award, 2016 ACM Fellow, 2007 Fellow, Royal Society of Edinburgh, 2005 Wolfson-Royal Society Research Merit Award, 2004–2009 Most Influential POPL Paper Award 2003 (for 1993) Best Paper Award, SBMF 2018 Wadler has advised numerous PhD and Master's students and has been actively involved in the academic community through editorial roles (e.g., Journal of Functional Programming, Journal of Financial Technology), program committees for major conferences (POPL, ICFP, HOPL), and leadership in ACM SIGPLAN. He has led significant research projects such as the EPSRC Programme Grant 'From Data Types to Session Types' and has contributed to outreach and education through extensive lecturing, tutorials, and public talks. He is associated with key research groups including the Laboratory for Foundations of Computer Science at Edinburgh and the ABCD project, and collaborates with institutions and industry partners on topics ranging from programming language design to blockchain technology.
Kuen-Bang Hou (Favonia) is affiliated with the University of Minnesota and is an active contributor to the programming languages and formal methods research community. He has served on program committees, chaired sessions, and presented research at major conferences including POPL, ICFP, CPP, and WITS. Research Interests: Mechanized Reasoning Programming Language Theory Type Theory Formal Verification Proof Assistants Compiler Design His recent work explores advanced topics in type systems, universe polymorphism, program testing, and compiler diagnostics. The publications reflect a strong theoretical foundation combined with practical tool development, particularly in enhancing developer experience through better diagnostics. Conference Leadership and Service: Session Chair, Type Theory at POPL (2022, 2024) Session Chair, Formalizing Mathematics at CPP (2022, 2024) Program Committee Member, POPL, CPP, WITS, TyDe, ICFP Co-Chair, ICFP Student Research Competition (2024) Organizing Committee, PLMW @ POPL (2023) He is also involved in mentoring and diversity efforts through participation in PLMW and DEI initiatives. Labs and Research Groups: While not explicitly named in the text, his work on mechanized reasoning and type theory suggests involvement with formal methods or programming languages research groups, possibly associated with his GitHub activity (https://github.com/favonia) and tool development like the asai library.
