Matthew D. Potts is the S.J. Hall Chair in Forest Economics and Professor at UC Berkeley's Department of Environmental Science, Policy, & Management. He also serves as Associate Director for Sustainable Development at the Blum Center for Developing Economies. With interdisciplinary training in mathematics, ecology, and economics, his research focuses on nature-based climate solutions and ecosystem service co-production. Research addresses carbon sequestration through forest management, biodiversity conservation, land use planning, and sustainable development in tropical ecosystems. Recent work examines cost-effectiveness of reforestation, climate-driven migration patterns, and plantation carbon modeling. Publications demonstrate strong focus on quantitative analysis of land-use impacts, with methodological innovations in remote sensing applications and spatial modeling for carbon accounting. Awards include recognition for young faculty research and leadership in international environmental assessments. Leads the Potts Research Group, mentoring graduate students working on tropical ecology, restoration, and climate adaptation projects.
Yiping Lu is an Assistant Professor in the Department of Industrial Engineering and Management Sciences at Northwestern University's McCormick School of Engineering. His research focuses on developing interdisciplinary approaches combining domain knowledge (differential equations, stochastic processes), machine learning, and experiments. Key interests include scientific machine learning (AI4Science), stochastic simulation, and robust machine learning. Education: Ph.D. in Applied and Computational Mathematics, Stanford University (2023) B.S. in Computational Mathematics, Peking University (2019) Research Highlights: Hybrid research integrating ML with scientific domains like PDEs and inverse problems Development of Physics-Informed Learning frameworks Contributions to deep learning theory (ResNets, neural collapse) Advances in kernel operator learning and adversarial robustness Awards: CPAL Rising Star Award (2024) University of Chicago Data Science Rising Star (2022) Stanford Interdisciplinary Graduate Fellowship (2021) Labs/Teams: SCALE Lab (Scientific Computation and Learning at Northwestern) Collaborations with NYU's Courant Institute and Stanford
Elaine M. Huang is an Associate Professor of Human-Computer Interaction at the Department of Informatics, University of Zurich, where she has served since 2010. She also leads the People and Computing Lab, focusing on the dynamic interplay between human practices and technological advancements. Her academic background includes: PhD in Computer Science, Georgia Institute of Technology (2006) Dr. Huang's research centers on human-computer interaction, examining the bidirectional relationship between technology and human practices. She is particularly known for her work on gender equality in technology, challenging assumptions about innate gender differences and investigating how AI systems may perpetuate biases. Her research also spans sustainable interaction design, mental health technologies, and chronic disease management, always emphasizing empirical data over intuition. Analysis of her recent publications (2023-2025) reveals a strong trajectory toward socially impactful HCI, with significant focus on health technologies (diabetes management, mental health), cultural sensitivity in design, and the ethical challenges of AI. Her methodology often involves field studies to understand real-world technology use, countering the industry's reliance on intuition. As head of the People and Computing Lab, Dr. Huang oversees a research group dedicated to designing and evaluating technologies that address complex human needs. The lab's work frequently involves co-design with diverse user communities to ensure relevance and inclusivity in technological solutions.
Sebastian U. Stich is a tenured faculty member at the CISPA Helmholtz Center for Information Security , where he has been since December 2021. He is also a member of the European Lab for Learning and Intelligent Systems (ELLIS) since June 2020. His research focuses on optimization methods for machine learning, collaborative learning algorithms, privacy and security in distributed systems, and theoretical foundations of deep learning. Stich received his PhD in Theoretical Computer Science from ETH Zurich (2014), following a Master's in Mathematics at the same institution (2010-2014). Prior to CISPA, he worked as a research scientist at EPFL (2016-2021) and held positions at ETH Zurich and ICTEAM/CORE. He has been awarded the ERC Consolidator Grant 2024 , Google Research Scholar Award (2023), and Meta Privacy-Enhancing Technologies Research Award (2022). His team includes Dr. Anton Rodomanov (since 2023), Dr. Rotem Mulayoff (since 2024), Xiaowen Jiang (2023), Yuan Gao (2023), and notable alumni like Anastasia Koloskova (defended 2023). Stich actively organizes workshops (e.g., NeurIPS OPT 2024) and serves on editorial boards ( Journal of Optimization Theory and Applications , Transactions on Machine Learning Research ). He teaches advanced courses in optimization at Saarland University and has held visiting positions at MIT. Key scientific contributions include: Developing ProgFed for progressive federated learning (2021) Creating ProxSkip to accelerate communication in federated settings (2022) Formalizing SCAFFOLD with control variates for FL (2020) Introducing RelaySum mechanism for decentralized learning (2021) Proposing Lookahead-Minmax for GAN training (2021) His work addresses fundamental challenges in: Decentralized optimization theory Communication-efficient algorithms Privacy-preserving model training Handling heterogeneous data distributions Stochastic gradient dynamics Second-order optimization methods
John DeNero is the Giancarlo Teaching Fellow and Associate Teaching Professor in UC Berkeley's Electrical Engineering and Computer Sciences (EECS) department. He joined UC Berkeley in 2014 to focus on undergraduate education in computer science and data science. He teaches and co-develops introductory courses like CS 61A (Computer Science) and Data 8 (Data Science), which serve thousands of students annually. His research spans natural language processing and education innovation, with notable contributions to textbooks like Composing Programs and Computational and Inferential Thinking . Education: Ph.D. in Electrical Engineering and Computer Science, UC Berkeley (2010) M.A. in Philosophy, Stanford University (2002) B.S. in Mathematical & Computational Science and Symbolic Systems, Stanford University (2001) Research interests focus on advancing AI education and curriculum design. His work emphasizes scalability, equity, and student success in large courses. Notable contributions include the Pac-Man projects for AI education and the Berkeley Data Science Education Program. Recent trends in publications highlight AI-assisted education tools, machine translation improvements, and large-scale student feedback systems. Awards include the UC Berkeley Distinguished Teaching Award (2018) and multiple accolades for teaching excellence. Advising and grants: While currently not taking new students, his team supports massive course infrastructures. Labs include the Berkeley Artificial Intelligence Research (BAIR) Lab and contributions to Data Science undergraduate studies.
Dr. Amin Sakzad is an Associate Professor in the Department of Software Systems & Cybersecurity at Monash University's Faculty of Information Technology. His research focuses on lattice-based cryptography, wireless communications, and post-quantum security protocols. He holds a PhD in Applied Mathematics from Amirkabir University of Technology (2011) and has held academic roles at Carleton University and Monash since 2012. Dr. Sakzad’s expertise spans lattice coding theory, MIMO systems, and privacy-preserving technologies for genomic databases and blockchain applications. He leads multiple ARC-funded projects, including work on secure databases (SRDBMS) and post-quantum cryptographic primitives for FinTech and energy sectors. His research has been recognized through awards such as the FIT Dean’s Award for Teaching Excellence (2021). Key collaborations include projects on blockchain security (CollinStar Lab), genomic data privacy, and energy market cybersecurity. His work addresses UN SDGs through contributions to quality education (SDG 4) and industry innovation (SDG 9). Recent publications highlight advancements in lattice-based cryptography (e.g., CRYSTALS-Kyber variants), privacy-preserving energy trading, and secure blockchain protocols like FPPW watchtower systems. His research bridges theoretical cryptography with practical implementations in embedded systems and 5G telecommunications. Grants: 16 active/completed projects including $1.2M in ARC funding Advising: Supervising PhD projects on lattice applications in post-quantum crypto and blockchain Labs: Core member of Monash’s Software Defined Telecommunications (SDT) Lab and CollinStar Lab
Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.
Vladimir Spokoiny is a Professor at the Departments of Mathematics and Economics of the Humboldt University of Berlin and Head of the Research Group "Stochastic Algorithms and Nonparametric Statistics" at the Weierstrass Institute for Applied Analysis and Stochastics (WIAS) in Berlin, Germany. His research spans multiple areas of statistics, machine learning, and financial mathematics, with significant contributions to nonparametric statistics, high-dimensional data analysis, and statistical methods in finance. Spokoiny received his M.Sc. in applied mathematics from the Moscow Institute of Railway Engineering in 1981 and his Ph.D. in mathematics from Lomonosov Moscow State University in 1988. He completed his Habilitation at Humboldt University in 1996. His academic career includes positions at the All-Union Institute of Railway Transport in Moscow, the Institute for Information Transmission Problems in Moscow, and the Institute for Applied Analysis and Statistics in Berlin before joining the Weierstrass Institute and Humboldt University where he has been a professor since 2002. Spokoiny's research focuses on adaptive nonparametric smoothing and hypothesis testing, high dimensional data analysis, statistical methods in finance, image analysis with applications to medicine, classification, and nonlinear time series. His work often addresses the challenges of nonstationarity in time series data and develops innovative methods for volatility estimation and risk management. He has made significant contributions to the development of adaptive weights smoothing procedures, which have applications in image processing, community detection, and manifold learning. His recent work has expanded into high-dimensional statistics, Bayesian inference, and optimization methods for machine learning, with publications demonstrating novel approaches to Gaussian approximation, Laplace methods, and statistical inference in non-Euclidean spaces. Spokoiny has supervised numerous PhD students including Oliver Reiss, Danilo Mercurio, Ying Chen, Elmar Diederichs, and Mstislav Elagin, whose research has focused on mathematical finance, time series analysis, and statistical methods. He serves as an Associate Editor for The Annals of Statistics (since 2004) and Statistics and Decisions (since 2002), and has previously served on the editorial board of the Journal of Statistical Planning and Inference. His professional activities include reviewing for major statistical journals including Annals of Statistics, Bernoulli, Econometrica, and Journal of American Statistical Association, as well as reviewing grant proposals for the National Science Foundation (USA), German Research Foundation, and Netherlands Organisation for Scientific Research. Spokoiny is a member of several professional societies including the International Statistical Institute, American Statistical Association, Institute of Mathematical Statistics, and Bernoulli Society. He is fluent in Russian (mother tongue), English, and German, and has good knowledge of French. His research group at WIAS focuses on developing novel statistical methodologies with applications across various scientific domains, particularly emphasizing adaptivity and robustness in complex data environments. The group's work has significant implications for financial risk management, medical imaging, and machine learning applications, with recent publications addressing fundamental questions in high-dimensional statistics and nonparametric inference.
Danqi Chen is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. Their research focuses on advancing large language models (LLMs), with emphasis on model alignment, safety, and long-context reasoning capabilities. Key research areas: LLMs, AI safety, retrieval systems, and model optimization Recent work explores theorem proving, context encoding, and ethical content generation Their 2025 publications highlight innovations in formal verification scaffolding, attention mechanism efficiency, and copyright-aware generation. 2024 studies investigate continual memorization, rule-based chatbot representations, and scientific literature retrieval benchmarks. Current projects demonstrate commitment to improving model robustness, interpretability, and security compliance in multimodal systems.
Wenpeng Yin is an Assistant Professor in Computer Science and Engineering, specializing in Natural Language Processing and Machine Learning. His research focuses on advancing Large Language Models (LLMs) and their applications in scientific, societal, and interdisciplinary domains. Research Interests : LLMs, medical QA, financial AI, model consistency, and instruction-following frameworks. Recent Work : Investigates low-resource NLP tasks, bias evaluation (Gptbias), and adaptive trading systems using LLMs. Current trends in his publications highlight innovations in multimodal learning, symbolic reasoning, and ethical AI, with a strong emphasis on practical implementations across diverse fields.
Christina L. Garman is an Assistant Professor in the Department of Computer Science at Purdue University, where she joined in Spring 2018. Her research focuses on practical cryptography and cryptographic automation to make secure system development accessible to non-experts through error-resistant design methodologies. Her educational background includes: Bachelor of Science in Computer Science and Engineering from Bucknell University (2011) Bachelor of Arts in Mathematics from Bucknell University (2011) Master of Science in Engineering in Computer Science from Johns Hopkins University (2013) Doctor of Philosophy in Computer Science from Johns Hopkins University (2017) Professor Garman's work centers on real-world cryptographic system security, spanning protocol analysis (e.g., RC4 in TLS, Apple iMessage flaws), decentralized anonymous systems (Zerocash/ZCash), and cryptographic automation. She pioneered techniques for removing human error in cryptographic deployments through automated tools and frameworks. Her research bridges theoretical cryptography with practical implementation challenges in privacy-preserving technologies and secure infrastructure. Analysis of her 2021-2025 publications reveals expanding research horizons: hardware security vulnerabilities (Rowhammer, SGX), privacy network enhancements (Tor onion services), software supply chain security (SBOM tools), and advanced cryptographic protocols (zkSNARKs, MPC). This evolution demonstrates consistent focus on real-world security impact while diversifying into hardware-software cross-layer threats and formal verification methods for cryptographic implementations. Her major scientific recognitions include: NSF CAREER Award (2021) for cryptographic automation research ACM CCS Best Paper Award (2016) for iMessage security analysis IEEE Test of Time Award (2024) for foundational Zerocash work Professor Garman co-founded ZCash, a privacy-focused cryptocurrency based on her Zerocash protocol, and her NSF CAREER grant supports cryptographic automation development. Her research has received significant media coverage in The Washington Post, Wired, and The New York Times, highlighting real-world relevance. While specific student advising details aren't public, her active publication record indicates ongoing mentorship of graduate researchers in security and cryptography. Her work maintains strong industry connections through ZCash development and Tor network contributions, with recent projects like keyless CDNs demonstrating practical applications of cryptographic automation. She remains a leading voice in cryptographic research communities through conference participation and collaborative projects addressing evolving security challenges.
John C. Butler is a Clinical Associate Professor in the Finance Department at the McCombs School of Business, University of Texas at Austin. He holds leadership roles as Academic Director of the Kay Bailey Hutchison Energy Center, Director of the MS Finance Program, and Director of the Energy Management Minor. His academic journey includes a PhD in Management Science and Information Systems from UT Austin (1998) and a BBA from Texas A&M University (1991). His research focuses on applications of decision analysis across domains including operations, finance, and information systems. Key areas include risk analysis, optimization, multi-attribute utility theory, and energy finance. His work integrates theoretical modeling with empirical validation to address complex decision-making challenges in both public and private sectors. Butler's publications demonstrate a consistent focus on decision modeling methodologies, with recent work emphasizing risk quantification and utility theory applications. His articles frequently intersect operations research, behavioral economics, and systems optimization, reflecting interdisciplinary approaches to solving managerial and policy problems. Awards and Honors: MBA Applause Award (2008, 2011) Finalist, INFORMS Franz Edelman Award (2004) INFORMS Decision Analysis Society Practice Award (2000) Fred Moore Teaching Award Dean's Research Fellowship, Ohio State University (2004) Leadership & Advising: Butler has supervised 11 PhD students to completion and secured significant grants including DOE funding for nuclear terrorism risk analysis. He directs multiple energy finance initiatives and serves on editorial boards for Decision Analysis and previously Decision Support Systems . Centers & Programs: As Academic Director of the Kay Bailey Hutchison Energy Center, he leads interdisciplinary energy research. He also developed the Energy Finance concentration and redesigned the MS Finance curriculum to incorporate quantitative energy market analysis.
Elena Simperl is a Professor of Computer Science and Deputy Head of Department for Enterprise and Engagement at King's College London's Department of Informatics. She co-directs the King's Institute for Artificial Intelligence and serves as Director of Research for the Open Data Institute. As a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study, she leads the Trustworthy Knowledge Graphs focus group and contributes to advancing human-centric AI research across European institutions. Professor Simperl obtained her doctoral degree in Computer Science from the Free University of Berlin and her diploma from the Technical University of Munich. Prior to joining King's, she held academic positions in Germany, Austria, and at the University of Southampton, and was a Turing Fellow. Her career trajectory demonstrates consistent leadership in bridging academic research with practical applications in data ecosystems. Her research sits at the critical intersection of AI and social computing, focusing on human-centric approaches to building sociotechnical systems that integrate data, algorithms, and human capabilities. She investigates how to make knowledge engineering more accessible, how to leverage collective intelligence for data quality improvement, and how to design participatory AI systems that address societal challenges like misinformation. Her work spans knowledge graphs, semantic technologies, crowdsourcing, and open data, with particular emphasis on the social dimensions of data-intensive systems and the governance frameworks needed for trustworthy AI deployment. Analysis of her recent publications reveals a strong evolution toward integrating large language models with traditional knowledge engineering practices while maintaining human oversight. There's a clear trajectory from foundational work on knowledge representation toward increasingly applied research addressing real-world challenges in media ecosystems, citizen science, and data governance, with growing attention to policy implications of AI technologies. Fellow of the British Computer Society Fellow of the Royal Society of Arts Hans Fischer Senior Fellow at TUM-IAS (2023) Ranked among top 100 most influential scholars in knowledge engineering of the last decade Included in Women in AI 2000 ranking Professor Simperl has led 14 major European and national research projects totaling millions in funding, including MediaFutures (a Horizon 2020 program tackling online misinformation), QROWD, ODINE, Data Pitch, and ACTION. She currently co-chairs the Croissant working group in ML Commons developing data standards for AI, and serves as president of the Semantic Web Science Association. Her research has directly influenced the development of data ecosystems supporting startups and citizen science initiatives across Europe, demonstrating exceptional ability to translate theoretical advances into practical impact. As Director of Research at the Open Data Institute, she oversees initiatives connecting data entrepreneurs with artists and civic organizations. Her leadership in the MediaFutures project established a data-driven innovation hub that supported 51 startups/SMEs and 43 artists through three open calls, creating a sustainable model for arts-technology collaborations addressing media challenges. Her work with the ODINE project helped create a European ecosystem for data-driven startups, demonstrating her commitment to building practical applications of open data principles.
Gioele Zardini is the Rudge (1948) and Nancy Allen Assistant Professor at MIT's Department of Civil and Environmental Engineering (CEE), with affiliations to the Laboratory for Information and Decision Systems (LIDS) and the Institute for Data, Systems, and Society (IDSS). He holds a PhD from ETH Zurich and previously worked as a postdoctoral scholar at Stanford University. His research focuses on co-design of complex systems, autonomous systems, and game-theoretic modeling of transportation networks. Education: BSc and MSc in Mechanical Engineering and Robotics from ETH Zurich (2017–2019), PhD in 2023. He has held visiting roles at nuTonomy Singapore, Stanford, and MIT. Research interests include co-design methodologies, autonomous vehicle systems, compositionality in engineering, and strategic interactions in mobility networks. Recent work emphasizes scalable fleet coordination, safety-critical robotics, and user-centric transportation solutions. Notable awards include the 2024 ETH Doctoral Dissertation Award (Silver Medal), Best Paper at ITSC 2021, and federal grants for enhancing urban transit equity. He leads the Zardini Lab, fostering interdisciplinary collaboration in systems engineering and autonomy. Grants and advising: Received federal grants for transit accessibility projects. His work on Autonomy Talks has produced over 180 recorded lectures, promoting knowledge exchange in autonomous systems. Labs/Teams: Principal Investigator at LIDS, affiliate at IDSS, and founder of the Zardini Lab, focusing on systems co-design, mobility innovation, and game-theoretic frameworks.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
