Eric Larson is an Associate Professor at Brown University's Department of Mathematics, specializing in algebraic geometry. His research focuses on moduli spaces, Brill-Noether theory, and algebraic curves. He collaborates with notable mathematicians such as Isabel Vogt and Izzet Coskun on topics like normal bundles, Chow rings, and stability conditions. Larson actively engages in academic outreach, organizing Putnam competition practices and undergraduate colloquia. He has developed computational tools for studying elliptic curves' Galois representations and contributed to expository works on interpolation problems and LaTeX accessibility.
Byron Yu is a Professor in Electrical & Computer Engineering and Biomedical Engineering at Carnegie Mellon University, with affiliations to the Neuroscience Institute and Robotics Institute. He is a core faculty member of the Center for the Neural Basis of Cognition. Research focuses on computational neuroscience , neural dynamics , and brain-machine interfaces . Key contributions include dimensionality reduction techniques and neural population activity analysis. Recent publications explore topics such as neural dynamics during motor imagery, BCI optimization, and attentional processing. His work has appeared in Nature Neuroscience , Neuron , and eLife , often as cover articles. Awardees include the Gerard G. Elia Career Development Professorship and AIMBE Fellowship . His lab has mentored numerous PhD and postdoctoral researchers, many now in academic and industry leadership roles.
Qianwen Wang is a tenure-track Assistant Professor in the Computer Science department at the University of Minnesota, Twin Cities. Her research combines interactive visualization with interpretable machine learning to foster intuitive, efficient, and reliable Human-AI collaboration. She actively seeks motivated students, research assistants, and interns to join her dynamic research team at UMN CS. Dr. Wang's research focuses on three primary themes: Human-AI Collaboration, where she designs tools to facilitate Human-AI interaction; Automatic & Intelligent Visualization, where she develops techniques to make visualizations accurately interpreted and easily used; and VIS+(X)AI in Biomed/Healthcare, where she studies how visualization and explainable AI can promote scientific discoveries in biomedicine and healthcare. Her work has made significant contributions to visualization, human-computer interaction, and bioinformatics, with particular applications in biomedical knowledge graphs and single-cell omics analysis. Her recent publications demonstrate a strong trend toward integrating visualization with large language models and graph neural networks for biomedical applications. She has published extensively at top venues including IEEE VIS, ACM CHI, and Nature Medicine, with a focus on making AI systems more interpretable and useful for domain experts, particularly in healthcare contexts. Her work often bridges theoretical advances in visualization with practical applications in genomics and healthcare. Two IEEE VIS Honorable Mention Awards (2022, 2024) Best Paper Award from IMLH@ICML 2021 Two Best Abstract Awards from BioVis ISMB (2021, 2022) HDSI Postdoctoral Research Fund Award Research covered by MIT News and Nature Technology Features Dr. Wang actively contributes to the academic community through service roles including General Chair for ISMB BioVis, VisNotes and Poster Chair for IEEE PacificVis, and Program Committee member for IEEE VIS, ACM CHI, and ACM IUI. Her research has been supported by various grants that enable her team to develop innovative visualization techniques and explore their practical applications in biomedical domains. Her research group maintains an active presence in the visualization and HCI communities, with members participating in major conferences and workshops. The lab focuses on creating tools that bridge the gap between complex AI models and human understanding, with particular emphasis on making these technologies accessible and useful for domain experts in biomedical research.
Anoosheh Heidarzadeh is an Assistant Professor in the Department of Electrical and Computer Engineering at Santa Clara University's School of Engineering. He holds a Ph.D. in Electrical and Computer Engineering from Carleton University (2012) and previously served as a Visiting Assistant Professor at Texas A&M University (2018-2022) and Associate Research Scientist at the same institution (2015-2017). His postdoctoral research was conducted at the California Institute of Technology (2013-2014). His research focuses on: Information and coding theory : Fundamental limits of data transmission and storage systems Private and secure computing : Protocols for confidential data processing in networked environments Fault-tolerant distributed systems : Resilient computation frameworks for large-scale applications Distributed machine learning : Scalable algorithms for collaborative learning architectures Recent publications (2021-2022) demonstrate strong emphasis on privacy-preserving computation (covering 73% of articles) and distributed coding techniques (67% of articles), with innovations in private information retrieval, matrix operations, and group testing methodologies. Theoretical contributions dominate (87%), while 13% address applied challenges like COVID-19 screening.
Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.
Paul Larson is a Professor of Mathematics at Miami University. His research focuses on set theory, topology, and model theory, with particular expertise in forcing axioms, descriptive set theory, and infinitary logic. He holds a Ph.D. in Mathematics from the University of California, Berkeley. His work bridges foundational mathematical logic with applications in topology and combinatorics. Key contributions include studies on canonical models under fragments of the Axiom of Choice, polar forcings, and cardinal characteristics. Larson has collaborated extensively with leading researchers such as Saharon Shelah and Jindřich Zapletal. His publications span prestigious journals like the Annals of Pure and Applied Logic and Transactions of the American Mathematical Society. Beyond research, he contributes to the academic community through editorial work and expository writings on historical developments in determinacy theory. Education: Ph.D., Mathematics, University of California, Berkeley Research interests emphasize foundational questions in set theory with applications to topology and model theory. His recent work explores advanced forcing techniques, square principles in Pmax extensions, and combinatorial properties of cardinal invariants. Publications reflect interdisciplinary engagement, including crystal structure prediction in high-pressure chemistry and operator theory in functional analysis. Despite an extensive publication record, no specific scientific awards are documented here. His advising and grant activities remain unspecified in the provided texts. Collaborations span international institutions, reflecting his role as a central figure in contemporary set theory research.
Ranjay Krishna is an Assistant Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he co-directs the RAIVN lab and leads the computer vision team at the Allen Institute for AI (Ai2). His research intersects computer vision , natural language processing , robotics , and human-computer interaction . PhD in Computer Science from Stanford University (2021) Bachelor's and Master's degrees from Stanford and Cornell His work has received best paper , outstanding paper , and orals at top conferences like CVPR, ACL, CSCW, NeurIPS, UIST, and ECCV. Media outlets including Science , Forbes , and PBS NOVA have covered his research. He has been supported by grants from Google , Apple , NFS , and others. Ranjay advises a diverse group of 15 PhD and postdoctoral researchers , including Jieyu Zhang, Benlin Liu, and Cheng-Yu Hsieh. His teams have developed benchmarks like MemoryBench and The Colosseum , and his PathFinder framework achieved 74% accuracy in skin melanoma diagnosis—surpassing human experts by 9%. Notable contributions include: Perception Tokens for visual reasoning in MLMs SAM2Act for robotic manipulation with memory Synthetic Visual Genome dataset with 5.6M relationships
Jonathan M. Baker is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin, holding the Advanced Micro Devices Chair in Computer Engineering. His research centers on quantum computer architecture with emphasis on practical quantum error correction implementation across the quantum computing stack. His educational background includes a Ph.D. in Computer Science from the University of Chicago (advised by Fred Chong) and dual B.S. degrees in Mathematics and Chemistry and Computer Science from the University of Notre Dame. Baker's research spans quantum compilation, logic synthesis, multi-radix architectures, and error mitigation for both near-term and fault-tolerant quantum systems. His work addresses critical challenges in quantum hardware-software co-design, with particular focus on optimizing quantum circuits for real-world hardware constraints and noise characteristics. Current projects emphasize qudit-based computing, neutral atom architectures, and efficient error correction implementations. His publication record shows strong focus on quantum architecture innovations, with recent work exploring qudit advantages, modular chiplet designs, and dynamic noise adaptation. Key trends include hardware-aware compilation techniques, communication optimization across quantum systems, and practical approaches to fault tolerance. Best Paper Award Runner Up, MICRO 2020 IEEE Micro Top Pick, 2020 (Virtualized Logical Qubits) IEEE Micro Top Pick, 2020 (Extending Frontier with Qutrits) IEEE Micro Top Pick, 2021 (Emerging Technologies) Best Poster Award, MICRO 2018 Baker actively mentors graduate students in quantum computing architecture research and serves on conference review committees including MICRO and ASPLOS. His teaching includes specialized quantum systems courses at UT Austin and online EdX modules covering quantum computation fundamentals and architecture. He collaborates with the Duke Quantum Center and maintains strong industry connections through the AMD Chair position, focusing on bridging academic research with practical quantum computing implementations.
Meng Cheng is an Assistant Professor of Physics at Yale University, specializing in condensed matter theory. He holds a B.S. from Nanjing University (2008) and a Ph.D. in Condensed Matter Theory from the University of Maryland (2013). After a postdoctoral position at Microsoft Research Station Q (2013–2016), he joined Yale in 2017. His research focuses on quantum criticality, fractonic phases, and symmetric topological phases, with a particular emphasis on classification and characterization of exotic quantum matter. He has received prestigious awards including the NSF CAREER Award (2019) and the Alfred P. Sloan Fellowship (2019). Key research interests include topological superconductivity, global symmetry interactions, and applications in quantum information. His work bridges theoretical frameworks with experimental implications, exploring topics like Wilson loop operators, disorder operators, and entanglement entropy in gapless systems. He has contributed to advancements in understanding symmetry-enriched topological phases and their surface topological order. Publications span high-impact journals and cover topics such as fractionalization in electronic insulators, quantum Hall effects, and topological stabilizer models. His talks highlight interdisciplinary approaches, including seminars at the Perimeter Institute and Université de Montréal on fractonic topological phases and infinite-component Chern-Simons theories. Awards and grants underscore his contributions to advancing theoretical physics, with a focus on fostering innovation in quantum materials and computational methods. Teaching and mentorship activities further his commitment to education within the Yale Physics Department.
Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.
Ruoyu (Fish) Wang is an Associate Professor at the School of Computing and Augmented Intelligence, Arizona State University (Tempe campus). He also holds affiliations as Associate Director of Impact at the Global Security Initiative, Center for Cybersecurity & Trusted Foundations, and with the Biodesign Center for Biocomputing, Security and Society. His educational background includes: Ph.D. in Computer Science, University of California, Santa Barbara Professor Wang's research focuses on system security, with an emphasis on automated binary program analysis and reverse engineering of software. He is the co-founder and core developer of the angr binary analysis platform, which won third place in the DARPA Cyber Grand Challenge (2018). His work spans vulnerability discovery, fuzzing, and security tool development for binary program analysis. His current research interests include: Binary program analysis and reverse engineering Automated vulnerability discovery and mitigation Fuzzing techniques and robust testing Phishing and fraud detection in e-commerce Security of firmware and embedded systems Application of machine learning to security problems His recent publications (2024-2025) demonstrate cutting-edge research in fraud detection for e-commerce using LLMs, advanced fuzzing methodologies, and binary decompilation techniques. Key trends include bridging theoretical program analysis with practical security tools, as evidenced by extensions to the angr platform, and addressing emerging threats in financial ecosystems and client-side security. Dr. Wang has received notable recognition: Third place in DARPA Cyber Grand Challenge (2018) with team Shellphish As an active educator, he supervises graduate research (CSE 599/799) and teaches core cybersecurity courses including Software Security (CSE 545) and Information Assurance (CSE 365). His teaching spans multiple semesters through 2025, covering practicums, internships, and special topics in computing security. Dr. Wang co-founded the angr binary analysis platform and contributes to Arizona State University's security research ecosystem through leadership roles in the Center for Cybersecurity & Trusted Foundations and Biodesign Center for Biocomputing, Security and Society.
Pratyush Mishra is an Assistant Professor at the University of Pennsylvania in the Department of Computer and Information Science, where he is affiliated with the Security and Privacy Laboratory. His research focuses on the intersection of cryptographic proof systems and computer security , particularly on efficient implementations of zero-knowledge proofs and secure computation protocols. Pratyush completed his PhD in Computer Science at UC Berkeley , advised by Alessandro Chiesa and Raluca Ada Popa , and holds a BSc in EECS from UC Berkeley, where he worked with David Wagner . His current research group includes PhD students Anubhav Baweja , Tushar Mopuri , Bharath Namboothiry , and Alireza Shirzad , along with Matan Shtepel , a former research assistant who moved to CMU for his PhD. His work spans advanced cryptographic techniques like zkSNARKs , accumulation schemes , and private delegation of provers , with applications in decentralized systems and secure inference. His recent publications focus on optimizing polynomial commitments , read-write streaming for SNARKs, and horizontally scalable proofs . Key awards include: ACM SIGSAC Doctoral Dissertation Award Runner-Up (2022) CSAW Applied Research Award (2016) for Hidden Voice Commands He teaches courses like CIS 5560: Cryptography and 7000-2: Theory and Practice of Succinct Zero Knowledge Proofs , covering topics such as symmetric cryptography, public-key encryption, digital signatures, zero-knowledge proofs, and secure multiparty computation. His lab contributes to the arkworks ecosystem for zero-knowledge proof libraries and co-founded the startup Aleo based on his research.
Thomas Bäck is a Professor at the Leiden Institute of Advanced Computer Science (LIACS) , Leiden University , Netherlands, and a member of the interdisciplinary programme Society, Artificial Intelligence and Life Sciences (SAILS) . His academic career spans roles at Leiden University (1996–present) and leadership positions at the Center for Applied Systems Analysis in Dortmund (1994–2000). Education : Diplom-Informatiker (Computer Science), Technische Universität Dortmund (1990) Dr. rer. nat. (Computer Science), Technische Universität Dortmund (1994) Research Interests : Dr. Bäck specializes in evolutionary computation , machine learning , and their applications in sustainable smart industry and healthcare . Recent work focuses on integrating large language models (LLMs) and quantum computing into optimization frameworks, with projects like CIMPLO (predictive maintenance), ECOLE (experience-based optimization), and SAPPAO (airline operations optimization). Scientific Contributions : His 526+ publications cover evolutionary algorithms, quantum optimization, and LLM-driven design, with recent trends including: Quantum computing (e.g., quantum approximate optimization, quantum advantage challenges) LLM integration (e.g., hyperparameter tuning, mutation control, code evolution graphs) Healthcare and industry (e.g., predictive maintenance, anomaly detection, melt quality prediction) Algorithm benchmarking (e.g., IOHprofiler, MA-BBOB, explainable benchmarking) Scientific Awards : IEEE Fellow (2022) Royal Netherlands Academy of Arts and Sciences (KNAW) member (2021) Academia Europaea member (2022) IEEE Computational Intelligence Society Evolutionary Computation Pioneer Award (2015) Fellow, International Society of Genetic and Evolutionary Computation (2003) Best Ph.D. thesis award, German Society of Computer Science (GI) (1995) Advising and Grants : He supervises Ph.D. candidates in evolutionary computation and machine learning and has secured 7 major grants from organizations like the Dutch Research Council , European Commission , and The Research Council of Norway . His editorial roles include Editor-in-Chief of the Evolutionary Computation Journal and associate editorships in leading AI journals.
Tanja Lange is a Full Professor at the Department of Mathematics and Computer Science at Technische Universiteit Eindhoven. She chairs the Coding Theory and Cryptology group and serves as scientific director of the Eindhoven Institute for the Protection of Systems and Information (Ei/Ψ). Additionally, she holds a visiting professor position at Academia Sinica, Taiwan. Research & Teaching Her research focuses on cryptography and number theory , with leadership in post-quantum cryptography (including code-based, lattice-based, hash-based, and isogeny-based systems). She has taught courses like Introduction to Cryptology and Selected Areas in Cryptology at TU/e, covering quantum algorithms, cryptographic protocols, and mathematical foundations. Key Contributions Co-author of 5 recent publications (2023-2025) on differential addition chains, ROLLO-I analysis, CSIDH fault injection, and KpqC evaluations Recipient of the Best Master Lecturer 2016 award Active in NIST Post-Quantum Cryptography competition (e.g., NTRU Prime) Affiliated with the Center for Quantum Materials and Technology Eindhoven Contact MetaForum 5.062, TU/e Email: tanja@hyperelliptic.org (primary) | t.lange@tue.nl (TU/e)
Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .
