Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition
Eric V. Mazumdar is an Assistant Professor at the California Institute of Technology (Caltech), jointly appointed in the departments of Computing and Mathematical Sciences and Economics. He holds a B.S. from MIT (2015) and a Ph.D. from UC Berkeley (2021), co-advised by Michael Jordan and Shankar Sastry. His research bridges machine learning and economics, focusing on deploying algorithms into societal systems through theoretical and practical lenses. Key areas include strategic classification, multi-agent reinforcement learning, and distributionally robust optimization, with applications in healthcare, online markets, and intelligent infrastructure. Education: B.S., Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2015 Ph.D., Electrical Engineering and Computer Science, University of California, Berkeley, 2021 Research Interests: Mazumdar’s work emphasizes understanding learning algorithms in strategic environments, including min-max optimization, game theory, and multi-agent systems. He explores how algorithms interact with human and algorithmic agents in dynamic systems, with practical applications in healthcare delivery, e-commerce, and autonomous systems testing. Awards: NSF CAREER Award (2023) Simons Institute Research Fellowship in Learning in Games Grants & Funding: Supported by NSF, DARPA, Amazon, and other organizations. His NSF CAREER grant focuses on strategic interactions in societal-scale systems. Teaching: Courses include Networks: Structure & Economics (CMS/CS/EE/IDS 144) and Topics in Learning and Games (CMS/Ec 248). At UC Berkeley, he contributed to courses like Data, Inference, and Decisions (DS 102). Students & Postdocs: Current students: Lauren Conger, Tinashe Handina, Yizhou Zhang Postdocs: Zaiwei Chen, Laixi Shi, Kishan Panaganti (co-advised with Adam Wierman)
Navid Azizan is the Alfred H. (1929) and Jean M. Hayes Career Development Assistant Professor at Massachusetts Institute of Technology (MIT), holding dual appointments in the Department of Mechanical Engineering (in Control, Instrumentation & Robotics) and the Schwarzman College of Computing's Institute for Data, Systems & Society (IDSS). He is also a Principal Investigator in the Laboratory for Information & Decision Systems (LIDS), and a faculty member of the MIT Statistics and Data Science Center, the Center for Computational Science and Engineering, and the Operations Research Center. Dr. Azizan received his PhD in Computing and Mathematical Sciences from the California Institute of Technology (Caltech) in 2020, his MSc in Electrical Engineering from the University of Southern California in 2015, and his BSc in Electrical Engineering with a minor in Physics from Sharif University of Technology in 2013. Prior to joining MIT, he completed a postdoc at Stanford University's Autonomous Systems Laboratory and was a research scientist intern at Google DeepMind. His research spans the intersection of machine learning, systems and control, mathematical optimization, and network science. Dr. Azizan's work focuses on developing principled learning and optimization algorithms for reliable intelligent systems, with applications to autonomy and sociotechnical systems. His research has significant implications for creating trustworthy AI systems that can operate effectively in complex, uncertain environments. Dr. Azizan's recent publications demonstrate a strong focus on uncertainty quantification, reliable AI systems, constrained optimization, and control-oriented learning. His work bridges theoretical foundations with practical applications, particularly in autonomous systems where safety and reliability are paramount. His research group has made notable contributions to areas including neural network verification, multi-agent reinforcement learning, and adaptive inference techniques for large language models, with several papers featured on MIT News and selected for oral presentations at top conferences. Alfred H. (1929) and Jean M. Hayes Career Development Professorship (2025-present) Frank E. Perkins Award for Excellence in Graduate Advising (2025) List of Outstanding Academic Leaders in Data from the CDO Magazine (2024, 2023) Amazon Science Hub Research Award (2023) Outstanding UROP Faculty Mentor (2023) Esther and Harold E. Edgerton (1927) Career Development Chair (2022-2025) Information Theory and Applications (ITA) Gold Graduation Award (2020) Dr. Azizan has been recognized for his excellence in graduate advising, receiving the Frank E. Perkins Award for Excellence in Graduate Advising in 2025. During the pandemic, he founded and co-organized the 'Control meets Learning' virtual seminar series, connecting researchers across disciplines. His work has attracted significant research funding from industry partners including Google, Amazon, and MathWorks, supporting both fundamental research and practical applications in reliable intelligent systems. The Azizan Lab at MIT brings together researchers from mechanical engineering, computer science, and applied mathematics to tackle challenges at the intersection of learning and control. The lab emphasizes both theoretical foundations and practical implementations, with a particular focus on developing algorithms that provide guarantees of performance and safety. Current research directions include uncertainty quantification in AI systems, constrained optimization for neural networks, and control-oriented learning for autonomous systems, with applications spanning robotics, transportation, and complex sociotechnical systems.
Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.
Professor Dorit Abusch is a faculty member in the Department of Linguistics and Philosophy at Cornell University's College of Arts & Sciences. Her research focuses on semantics, pragmatics, and their applications to visual narratives. She explores topics like tense semantics, presupposition triggering, modal logic, and the interplay between language and visual media. Current work extends linguistic methodologies to analyze art forms such as comics, cave paintings, and temple sculptures. Her research interests include formal semantics applied to visual narratives, dynamic semantics, possible world theory, and multimodal discourse representation. She investigates how visual elements like sequential art and pictorial sequences convey temporal progression, aspectual distinctions, and free perception constructions through semiotic frameworks. Recent presentations include talks on applying semantics to film and picturebooks at institutions like MIT and the University of Padua. Her publications emphasize cross-media analysis, with key works published in Linguistics & Philosophy and Sinn und Bedeutung . Abusch has received grants for projects studying visual narratives in Indian art and wall paintings of Rajasthan. These include a 2012-2013 Humanities Research Grant and a Cornell Institute for Social Sciences award. Her work bridges linguistics with philosophy and visual studies, offering innovative frameworks for understanding non-linguistic communication through formal semantic tools.
Jeremy Hahn is an Assistant Professor at the Massachusetts Institute of Technology (MIT), affiliated with the Department of Mathematics within the School of Science. His research focuses on Algebraic Topology, particularly structured ring spectra, chromatic homotopy theory, and equivariant homotopy theory. Supported by grants from the Sloan Foundation and the National Science Foundation (DMS-1803273), his work has contributed to foundational advances in topological K-theory, algebraic K-theory, and manifold topology. Education details are not explicitly listed, though past teaching roles at Harvard University suggest prior academic training. His research interests span topics including: Structured ring spectra constructions (e.g., truncated Brown-Peterson spectra) Chromatic redshift phenomena and algebraic K-theory Equivariant orientations and C_p actions Applications of homotopy theory to manifold classification Notable recent work includes counterexamples to Ravenel's telescope conjecture, advancements in motivic filtrations of topological cyclic homology, and the construction of multiplicative structures on classical spectra. Collaborations with researchers such as Robert Burklund, Dylan Wilson, and Allen Yuan reflect his active engagement in the global topology research community. Teaching includes advanced courses like Algebraic Topology I (18.905) and past roles as a teaching assistant for Linear Algebra (18.06) and multivariable calculus at MIT. His research has been supported by multiple NSF grants and the Sloan Fellowship, indicating sustained academic excellence and leadership in the field.
Amir Ali Ahmadi is a Professor at Princeton University's Department of Operations Research and Financial Engineering (ORFE), with affiliations across multiple disciplines including PACM, Computer Science, Mechanical & Aerospace Engineering, Electrical Engineering, and the Center for Statistics and Machine Learning. He serves as Director of Princeton's Optimization and Quantitative Decision Science Certificate Program and has taken temporary roles at Citadel GQS (2021-2022) and Google Brain (2020-2021). His research bridges optimization theory , dynamical systems , and control theory , focusing on scalable algorithms for complex problems in robotics, autonomous systems, and machine learning. He has pioneered DSOS/SDSOS relaxations as alternatives to traditional sum-of-squares methods, enabling faster solutions through linear/second-order cone programming. Recent publications explore: Higher-order Newton methods for socially responsible investment Data-efficient learning of dynamical systems Computational complexity of local minima Robust-to-dynamics optimization frameworks Award highlights include: 2024 Egon Balas Prize in Optimization 2024 Princeton Engineering Council Teaching Award 2023 Distinguished Teaching Award (Princeton SEAS) 2019 NSF CAREER Award 2017 DARPA Young Faculty Award 2017 Sloan Fellowship in Computer Science He advises prominent researchers like Georgina Hall (Tucker Prize finalist) and Bachir El Khadir (Goldstine Fellow), and leads the Princeton Optimization Seminar and MURI project on Control-Oriented Learning on the Fly.
Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Christoph H. Lampert is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Machine Learning and Computer Vision (MLCV) Group. His research spans machine learning, computer vision, and trustworthy AI with emphasis on robustness and fairness. He serves as ELLIS Fellow and Unit Director for ISTA's ELLIS unit. His research program focuses on foundational challenges in machine learning including robustness against distribution shifts, fairness in algorithmic decision-making, and verification of neural networks. Key contributions include work on 1-Lipschitz networks for robust classification, multi-source learning frameworks, and federated learning architectures. The group maintains strong output in top-tier venues through theoretical and empirical approaches. Recent publications (2023-2025) demonstrate consistent focus on verification, robustness, and multi-source learning, with notable recognition including the DARPA Disruptive Ideas award for logic gate neural network verification. Work frequently bridges computer vision and machine learning theory, with applications in safety-critical systems. Scientific Awards: ELLIS Fellow DARPA Disruptive Ideas award at NeuS (2025) for "Logic Gate Neural Networks are Good for Verification" Professor Lampert has supervised 12+ PhD students including recent graduates Alex Peste (2023), Nikola Konstantinov (2022), and Mary Phuong (2021), with current advisees including Max Cairney-Leeming and Egor Zverev. His group secures consistent publication placements at NeurIPS, ICML, and ICLR while editing major volumes like "Advanced Structured Prediction" (MIT Press 2015). The MLCV group comprises 10+ members including postdocs and PhD students, operating within ISTA's ELLIS unit (approved 2019). The team maintains active collaborations across Europe through the ELLIS network and regularly hosts visiting researchers.
Myriam Dunn Cavelty serves as Deputy Head of Research and Teaching at the Center for Security Studies (CSS) at ETH Zurich, where she leads significant academic initiatives in cybersecurity and digital governance. She holds formal affiliations as an associate researcher at the Center for Advanced Security Theory at the University of Copenhagen, and has held prestigious visiting positions at Brown University, the University of Darmstadt (as a Mercator Fellow), and the Central European University. Her research expertise centers on how digital technologies influence political behavior and societal values, with particular attention to governance arrangements for digital technologies and their embedding in social, political, and economic processes. Her scholarly contributions span cybersecurity politics, cyber warfare, critical infrastructure protection, and strategic foresight, reflecting an interdisciplinary approach that bridges political science, international relations, and technology studies. Dunn Cavelty's publication record demonstrates remarkable consistency and impact, with works spanning from 2008 to the present. Her research shows an evolution from early analyses of cyber-threat construction to contemporary examinations of AI in security contexts and the political dimensions of cybersecurity governance. Her work consistently addresses the intersection of technological capabilities and political constraints, examining how states and other actors navigate security challenges in the digital domain. Mercator Fellow at the University of Darmstadt Editor-in-Chief of Contemporary Security Policy Advisory work for governments, international institutions, and corporations As an academic leader, she has advised numerous doctoral students and supervised research projects examining the political dimensions of cybersecurity. Her work with the Center for Security Studies involves directing research programs that connect academic inquiry with policy relevance, particularly in the areas of risk analysis and strategic foresight. She has established herself as a leading voice in European cybersecurity scholarship, with particular expertise in the Swiss context and broader European security frameworks.
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Satoshi Tomioka is a Professor in the Department of Linguistics and Cognitive Science at the University of Delaware, affiliated with the College of Arts & Sciences. He holds a B.A. from International Christian University (Tokyo) and a Ph.D. from the University of Massachusetts Amherst. His expertise spans semantics, pragmatics, syntax, and prosody, with a focus on Japanese and comparative East Asian linguistics. Education: B.A. in Liberal Arts (1987), International Christian University; Ph.D. in Linguistics (1997), University of Massachusetts Amherst. Research interests include ellipsis, anaphora, wh-interrogatives, distributivity, and contrastiveness. He investigates how prosody interacts with syntax and semantics in Japanese, exploring topics like focus marking, intervention effects, and scalar implicatures. Recent work examines associative plurals and pragmatic disambiguation in embedded questions. Publications analyze theoretical and empirical questions in linguistic interfaces, such as Bare quotatives as embedded speech acts (2024) and Focus without pitch boost (2022). His work bridges formal semantics and experimental approaches, addressing challenges in cross-linguistic typology and cognitive aspects of language processing.
Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.
