Anastasia Ailamaki is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for her work in database systems and data management . Her research focuses on optimizing query processing for modern hardware, particularly GPUs and heterogeneous systems, and advancing cloud data analytics with serverless architectures like PixelDB . She has co-authored influential frameworks for adaptive query optimization , hardware-conscious database engines , and model-relational data management . Key research areas: GPU acceleration , HTAP , query approximation , spatial data processing , and cloud-native databases . Recent work emphasizes cross-task optimizations in distributed environments, efficient sampling , and context-aware joins integrating vector embeddings. In 2023, she contributed to adaptive recursive query optimization and speculative K-means clustering, while 2024 publications addressed proportional caching (HPCache) and model-relational systems . Her collaborations span institutions such as MIT, Microsoft, and ETH Zurich, with publications in top venues like SIGMOD , VLDB , and ICDE .
Naoki Yoshinaga is a tenured Associate Professor at the Institute of Industrial Science, The University of Tokyo, with extensive experience in natural language processing and computational linguistics. He has held academic positions since 2008 and currently leads research on pragmatic NLP models and multilingual systems. PhD in Computer Science, The University of Tokyo (2005-2008) MSc in Information Science (2000-2002) BSc in Information Science (1996-2000) His research focuses on mechanistic interpretability in NLP models, multilingual/multimodal NLP , and efficient model design using trie structures and conjunctive features. He also investigates knowledge acquisition from social data and evaluation metrics for language generation . Recent publications include work on neuron empirical gradient analysis (ACL-25), multilingual knowledge representation (EACL-24), and compact embedding methods (CoNLL-24). His research has been funded by multiple grants, including the University of Tokyo Excellent Young Researcher program and JSPS fellowships. Committee Special Award, Association for NLP (2023) JSAI SIG Research Award (2022) Best Interactive Award, DEIM Forum (2019, 2016) He developed widely-adopted NLP tools like pecco (fast classification library), RenTAL (LTAG-to-HPSG grammar converter), and J.DepP (Japanese dependency parser). His lab emphasizes strong equivalence in formalism comparisons and pragmatic model design .
Golan Levin is Professor of Electronic Art at Carnegie Mellon University's School of Art, with courtesy appointments in the School of Design, School of Architecture, School of Computer Science, and Entertainment Technology Center. From 2009 to 2022, he served as Director and Co-Director of CMU's Frank-Ratchye STUDIO for Creative Inquiry, a laboratory dedicated to supporting atypical, anti-disciplinary research at the intersection of arts, science, technology, and culture. Levin's research spans interactive art, digital fabrication, information visualization, and generative design. He explores the critical potential of visualization, generative computation for expressive form, and how abstraction connects to realities beyond language. His practice engages interactive gestural robotics, nonverbal interaction aesthetics, and tactical applications of personal digital fabrication through responsive artifacts and media provocations that highlight human-machine relationships. His publications reveal consistent innovation in real-time audiovisual systems, interactive fabrication interfaces, and pedagogic tools for artists. Key trends include slit-scan video techniques, tangible augmented-reality performance, and noise-based visualizations, demonstrating his commitment to expanding human action vocabulary through digital media while bridging artistic expression with computational systems. Levin's work has received significant recognition: Permanent collection inclusion at Museum of Modern Art (MoMA) Whitney Biennial exhibition "50 Designers Shaping the Future" by Fast Company (2012) Competitive grants from National Endowment for the Arts, National Endowment for the Humanities, Creative Capital, and Rockefeller MAP Fund As an educator, Levin teaches "studio courses in computer science" on interactive art, experimental capture, and generative design, emphasizing computation as a medium for critical inquiry. His research funding from major cultural institutions supports interdisciplinary exploration at the arts-technology nexus. The Frank-Ratchye STUDIO for Creative Inquiry, which he directed for 13 years, remains a vital hub for anti-disciplinary collaboration, continuing his legacy of fostering creative agency through technology-infused artistic practice.
Elias Jarlebring is a Professor in Numerical Linear Algebra at the Department of Mathematics, KTH Royal Institute of Technology, Stockholm. He has held the position of Full Professor since 2021, following his tenure as Associate Professor (2013-2021) and Dahlquist Research Fellow (2011-2013). His research focuses on numerical analysis, numerical linear algebra, matrix computations, and scientific computing. Jarlebring develops linear algebra algorithms to solve problems from various fields including systems and control, acoustics, electromagnetics, data science, quantum mechanics, and quantum chemistry. He is a core developer of NEP-PACK, a scientific computing software package for nonlinear eigenproblems. His recent publications demonstrate significant contributions to computational methods for nonlinear eigenvalue problems, matrix functions, and parameterized linear systems. The research shows a clear trajectory toward increasingly complex applications in quantum computing, data science, and wave propagation problems. Project grant, Swedish research council (2019) Ruth och Nils-Erik Stenbäcks foundation, junior grant (2019) Göran Gustafsson Prize for junior researchers (2014) Project grant for junior researchers, Swedish research council (2014-2018) Professor Jarlebring has supervised numerous PhD students including Vilhelm Peterson Lithell, Gustaf Lorentzon, Siobhán Correnty, Parikshit Upadhyaya, Emil Ringh, Antti Koskela, and Giampaolo Mele. He has received multiple research grants from the Swedish Research Council and serves as editor for BIT Numerical Mathematics, Linear and Multilinear Algebra, NACO Numerical Algebra Control and Optimization, and CALCOLO. He is actively involved in the numerical linear algebra community as a member of ILAS (International Linear Algebra Society), GAMM Activity Group on Numerical Linear Algebra, and the Nordic Numerical Linear Algebra Association. He also contributes to open source projects, particularly in the Julia programming language ecosystem.
Dr. Liam O'Connor-Davis is a Senior Lecturer in the School of Computing at The Australian National University (ANU). He holds a PhD and BSc (Hons) in Computer Science from the University of New South Wales (UNSW), awarded in 2019 and 2013, respectively. His research interests include type systems, formal methods, and systems programming, as evidenced by his doctoral work on 'Type Systems for Systems Types' and his undergraduate project 'Formalising GHC's Type System'. He has held an external affiliation as a Lecturer at the University of Edinburgh until July 2024. His academic background emphasizes foundational aspects of programming languages and software engineering. Despite no explicit publications listed here, his educational focus suggests contributions to theoretical computer science and practical system implementations.
Richard M. Stern is a Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), holding courtesy appointments in the Language Technologies Institute and Department of Computer Science, and serving as an Artist Lecturer in the School of Music since 2007. His interdisciplinary work bridges engineering and music technology through the School of Music's programs. Education: Ph.D. in Electrical Engineering from Massachusetts Institute of Technology (MIT), 1976 Professor Stern's research spans sound, speech, hearing, and music, with core emphases on robust speech processing in variable acoustic environments, music information retrieval, automated accompaniment, and foundational contributions to binaural perception theory. His work integrates psychoacoustic principles with machine learning to address challenges in speech recognition and human-robot interaction. Recent publications (2022-2025) reveal intensified focus on deep learning for speech enhancement in reverberant/noisy conditions, human-robot interaction scenarios, and music tagging—highlighting innovations in beamforming, source separation, and temporal modulation modeling. Awards and Honors: Fellow of the IEEE Fellow of the Acoustical Society of America Fellow of the International Speech Communication Association (ISCA) ISCA Distinguished Lecturer Allen Newell Award for Research Excellence (1992) Lutron Award for Teaching Excellence (2018) Professor Stern has advised numerous graduate students in speech and audio research, though specific names are unlisted in source materials. His grant portfolio includes significant National Science Foundation and industry-funded projects in speech technology, with leadership roles in initiatives like Interspeech 2006. He actively collaborates with CMU's Language Technologies Institute and Music and Technology program. He maintains strong ties to CMU's interdisciplinary ecosystem through the Language Technologies Institute and School of Music's Music and Technology program, contributing to research that merges acoustic engineering with musical applications.
Torsten Grust is a Professor of Computer Science at the University of Tübingen, leading the Database Systems research group since 2008. Previously, he held professorships at TU München and TU Clausthal. He earned his M.Sc. (Diploma) and Ph.D. in Computer Science from Universität Konstanz in 1994 and 1999, respectively. His research focuses on database languages, query and programming language technology, and scalable processing of non-relational queries. He bridges database and programming language research, emphasizing mutual benefits between the fields. **Education:** Ph.D. in Computer Science, University of Konstanz (1999) M.Sc. (Diploma), Computer Science, University of Konstanz (1994) Visiting Scientist, IBM Silicon Valley Laboratories (2000) **Research Interests:** Design and optimization of database languages Query compilation and execution engines Integration of functional programming with SQL Query provenance and debugging **Awards and Honors:** ACM SIGMOD Reproducibility Award (2021) University of Tübingen Teaching Award (2021/22) Winner of Dyalog 2019 APL Program Solving Competition Member of the VLDB Endowment Board of Trustees (2022–2027) **Advising & Grants:** Guided numerous students, including alumni such as Alexander Ulrich, Benjamin Dietrich, and Christian Duta Recipient of grants supporting research in query compilation, provenance analysis, and database language design **Labs & Teams:** Leads the Database Systems research group at University of Tübingen Collaborates with the National Institute of Informatics (Tokyo) on query and programming languages
David I. August is a Professor of Computer Science at Princeton University, affiliated with the Department of Electrical Engineering. He earned his Ph.D. from the University of Illinois at Urbana-Champaign in 2000. His research focuses on compilers and computer architecture, emphasizing synergistic design between compilers and microarchitecture. He leads the Liberty Research Group, which explores topics such as automatic parallelization, memory profiling, and speculative execution. August joined Princeton in 1999 as a lecturer, advancing to full professor in 2012. He has served as program chair for MICRO 2009 and on committees for ISCA, PLDI, and ASPLOS. His notable accolades include the IEEE Fellow designation, Best Paper Awards at PLDI and CGO, and teaching awards from Princeton's School of Engineering. His work spans compiler optimizations, hardware-software co-design, and security architectures like TrustGuard. Recent research includes GPU scheduling (GhOST), memory profiling frameworks (PROMPT), and instruction prefetching (PDIP). He advises over 20 graduate students, many now leading roles at tech companies and academia. August teaches courses such as COS-126 (Intro to CS), COS-375 (Computer Architecture), and graduate seminars. His projects often bridge theory and practice, with tools like NOELLE and Liberty Research Group initiatives advancing compiler infrastructure and parallelism extraction.
Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .
Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.
Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)
Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.
Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.
Steven Swanson is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego, within the Jacobs School of Engineering. He is the Director of the Non-Volatile Systems Laboratory (NVSL), where he leads cutting-edge research in non-volatile memory, storage systems, and hardware-software co-design. His work bridges computer architecture, systems, and software to develop efficient, reliable, and secure computing platforms. Ph.D., University of Washington, 2006 B.S., University of Puget Sound, 1999 Dr. Swanson's research centers on non-volatile and persistent memory systems , exploring how next-generation storage technologies can transform computing. His lab develops full-stack solutions including file systems like NOVA and Orion , programming models such as NV-Heaps , and hardware prototypes like Moneta and Onyx . The team also works on low-power co-processors (e.g., GreenDroid ) and tools for debugging and verifying persistent memory programs. Research spans system reliability, security, energy efficiency, and performance optimization. His recent publications reveal a strong focus on persistent memory safety , zero-copy I/O , RDMA-based distributed file systems , and real-world characterization of Intel Optane . These works appear in top venues including ASPLOS, FAST, MICRO, and USENIX ATC, demonstrating sustained innovation in storage and systems research. Scientific honors include: NSF CAREER Award Google Faculty Award Facebook Faculty Award NetApp Faculty Fellow Dr. Swanson has advised 15 PhD students and 4 postdocs , many now faculty or senior engineers at Google, Microsoft, Intel, and other leading tech firms. He has secured significant research funding and leads major community initiatives such as the annual Non-Volatile Memories Workshop and Persistent Programming In Real Life (PIRL) . His educational efforts include innovative courses on robotic system design, quadcopter building, and modern storage systems, emphasizing hands-on learning and real-world implementation. The Non-Volatile Systems Laboratory (NVSL) under his leadership fosters a collaborative, international research environment, hosting visitors and postdocs from around the world. The lab is recognized globally as a pioneer in storage systems research and a key contributor to the adoption of persistent memory technologies in industry.
