جست‌وجوی استاد و پژوهشگر

Craig J. Fennieمشاهده پروفایل

استاد

• Computational Materials Physics
• Condensed Matter Physics
• Solid State Chemistry
• +۴ مورد دیگر

Craig J. Fennie is Professor in the College of Engineering at Cornell University , where he has been on the faculty since July 2008. His appointment spans the interdisciplinary space between physics, materials science, and solid-state chemistry. Education: Ph.D. in Physics, Rutgers University (2006) M.S. in Electrical Engineering, Villanova University (1996) Research Focus: Fennie’s group pursues computational and theoretical materials physics , with a long-term goal of realizing a first-principles “materials-by-design” paradigm. By integrating microscopic Hamiltonians, symmetry analysis, and density-functional theory, the team explores how crystalline motifs—composition, symmetry, geometry, and topology—govern emergent phenomena such as multiferroicity, magnetoelectric coupling, and tunable dielectric response. Particular attention is paid to complex oxides, layered heterostructures, and materials under extreme conditions where chemical intuition can fail. Publication Trends: From 2011 to 2016, Fennie co-authored a series of high-impact papers in Nature family journals and Physical Review Letters . These works collectively advance the understanding and design of room-temperature magnetoelectric multiferroics, bulk magnetoelectric effects in hexagonal manganites, tunable microwave dielectrics through defect mitigation, and the fundamental scarcity of ferroelectric perovskites. The studies span synthesis, characterization, and theory, underscoring a collaborative, interdisciplinary approach. Awards & Honors: MacArthur Fellowship, John D. and Catherine T. MacArthur Foundation (2013) Presidential Early Career Award for Scientists and Engineers (PECASE, 2012) NSF CAREER Award (2011) Army Research Office Young Investigator Award (2010) Fellow of the American Physical Society (2015) Advising & Funding: While specific student names are not listed, Fennie leads a vibrant research program supported by NSF, ARO, and other agencies. His group trains graduate and post-doctoral researchers at the intersection of physics, materials science, and chemistry, preparing them for careers in both academia and industry. Labs & Teams: Work is conducted within Cornell’s shared high-performance computing ecosystem and leverages national user facilities such as the Cornell High Energy Synchrotron Source (CHESS) and collaborations with experimental groups worldwide.

Tianqi Chenمشاهده پروفایل

استادیار

• Machine Learning
• Deep Learning Systems
• Compiler Optimization
• +۶ مورد دیگر

Tianqi Chen is an Assistant Professor at the Machine Learning Department and Computer Science Department of Carnegie Mellon University (CMU), with a courtesy appointment as a Professor in the Electrical and Computer Engineering Department within the College of Engineering. His research focuses on scalable machine learning systems, compiler optimization, and efficient deep learning frameworks. He holds a PhD from the Paul G. Allen School of Computer Science & Engineering at the University of Washington. Key contributions include the creation of XGBoost, Apache TVM, and MLC-LLM—widely adopted systems for machine learning and large language models. His work bridges algorithmic innovation with high-performance computing, emphasizing efficient deployment, quantization, and edge computing. Recent publications highlight advancements in LLM serving (e.g., WebLLM, Flashinfer), compiler-driven optimizations (e.g., TVM, Relax), and low-latency inference techniques (e.g., Magicdec, Tilus). These efforts address scalability, energy efficiency, and cross-platform compatibility in modern AI systems. Chen’s research has been applied to diverse domains, including music AI, browser-based inference, and microservice architectures for LLMs. His work underscores the importance of system-level thinking in advancing AI capabilities.

• Deep Reinforcement Learning
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

David Silver is a Professor of Computer Science at University College London and Principal Research Scientist at DeepMind, leading the Reinforcement Learning Research Group. His pioneering work in deep reinforcement learning has revolutionized artificial intelligence through breakthroughs in computer game-playing algorithms. His educational background includes: Bachelor's and Master's degrees from Cambridge University (1997, 2000) PhD in Computer Science from the University of Alberta (2009) Silver specializes in deep reinforcement learning where algorithms learn through trial-and-error in interactive environments. His research combines deep neural networks with reinforcement learning strategies to solve complex decision-making problems. He is renowned for developing AlphaGo (defeating Go world champion Lee Sedol in 2016), AlphaZero (mastering Chess, Shogi and Go through self-play), and AlphaStar (conquering Starcraft II). His work demonstrates unprecedented generality in game-playing AI and has catalyzed industry-wide adoption of reinforcement learning techniques. Analysis of his publications reveals a consistent trajectory toward self-supervised learning systems. His 2015-2016 Nature papers established foundational architectures combining neural networks with Monte Carlo tree search, shifting the field from human-data dependency toward pure self-play methodologies. This evolution enabled superhuman performance across diverse game domains while minimizing domain-specific knowledge. His scientific awards include: ACM Prize in Computing (2019) for breakthrough advances in computer game-playing Marvin Minsky Medal (2018) for outstanding achievements in AI Royal Academy of Engineering Silver Medal (2017) for UK engineering contributions Mensa Foundation Prize (2017) for best AI scientific discovery Silver's research has generated significant real-world impact beyond gaming, including optimizing the UK power grid, reducing Google data center energy consumption, and planning European Space Agency probe trajectories. While not explicitly documented in advising roles, his leadership at DeepMind fosters collaborative research environments that train next-generation AI scientists through high-impact projects. As lead of DeepMind's Reinforcement Learning Research Group, Silver directs cutting-edge work extending deep reinforcement learning to robotics, complex real-world systems, and multi-agent environments. Current initiatives focus on transferring game-playing breakthroughs to industrial automation and scientific discovery applications.

• Machine Learning
• Probability
• Mathematical Physics
• +۶ مورد دیگر

Boris Hanin is an Associate Professor at Princeton University's Department of Operations Research and Financial Engineering (ORFE) and Associated Faculty at the Program in Applied and Computational Mathematics (PACM). Prior to Princeton, he held academic positions at Texas A&M University (Assistant Professor of Mathematics), MIT (NSF Postdoctoral Fellow), and Northwestern University (PhD in Mathematics under Steve Zelditch). He works part-time at Foundry, an AI/computing startup, leading the Foundry Institute. PhD in Mathematics, Northwestern University NSF Postdoctoral Fellowship, MIT Mathematics Associate Professor, Princeton ORFE Part-Time Leader, Foundry Institute His research spans machine learning, probability theory, and mathematical physics, focusing on neural network theory (approximation power, optimization guarantees), random matrix theory, and spectral asymptotics. He has made foundational contributions to understanding gradient behavior, initialization, and infinite-width limits in deep learning. Boris has supervised numerous PhD students and postdocs, with former members securing prestigious positions at Harvard, MIT, and Huawei. He serves as Associate Editor for journals like Pure and Applied Analysis and Mathematics of Operations Research , and has taught short courses at Oxford, Luxembourg, and Tor Vergata on statistical physics of neural networks and deep learning theory. 2024 Sloan Fellowship in Mathematics NSF CAREER grant DMS-2143754 NSF grant DMS-2133806 His research group collaborates on topics including hyperparameter transfer, architecture-aware scaling, and spectral analysis of random waves and neural networks. He actively contributes to theoretical machine learning through foundational publications in venues like Probability Theory and Related Fields , Journal of Machine Learning Research , and Communications in Mathematical Physics .

Christian Theobaltمشاهده پروفایل

استاد

• Computer Science
• Artificial Intelligence
• Computer Vision
• +۵ مورد دیگر

Christian Theobalt is a Professor of Computer Science at Saarland University and Scientific Director of the Visual Computing and Artificial Intelligence Department at the Max Planck Institute for Informatics . He leads the Saarbruecken Center for Visual Computing as a strategic partnership between Google and MPI. PhD in Computer Science (2005) from MPI-INF/Saarland University Postdoctoral Researcher at MPI (2005-2007) Visiting Assistant Professor at Stanford (2007-2009) His research focuses on the intersection of Computer Graphics, Computer Vision, and Artificial Intelligence , with specializations in: 3D/4D Human Reconstruction Neural Rendering Performance Capture Geometric Deep Learning Volumetric Video Quantum Visual Computing Recent article trends show emphasis on: Quantum computing applications in visual reconstruction Neural rendering with radiance fields Human motion capture from egocentric views Gesture-language interaction modeling Multi-modal scene understanding Real-time free-viewpoint rendering Scientific Awards : Fellow of EUROGRAPHICS (2022) CVPR Best Student Paper Honorable Mention (2020) ERC Consolidator Grant (2017) Karl Heinz Beckurts Award (2017) Busy Beaver Teaching Award (2016) ERC Starting Grant (2013) Advising over 50 students and researchers including: Current researchers: Viktor Rudnev, Linjie Lyu, Mohit Mendiratta Postdocs: Kwang In Kim, Kiran Varanasi Alumni: Franziska Mueller (Google), Dushyant Mehta (Qualcomm), Ayush Tewari (MIT) Grants include ERC grants, Google Glass Research Award, and multiple industry partnerships. His lab maintains cutting-edge facilities with: Multi-camera capture systems Quantum annealing infrastructure HDR radiance field technology GPU clusters for AI research Time-of-flight imaging systems Event camera arrays

• Machine Learning
• Statistics
• Theoretical Machine Learning
• +۷ مورد دیگر

Fanny Yang is an Assistant Professor in the Computer Science Department at ETH Zurich . She previously held postdoctoral positions at Stanford University and a Junior Fellowship at the Institute for Theoretical Studies at ETH Zurich, advised by Nicolai Meinshausen . Her PhD was completed at the EECS Department of UC Berkeley , supervised by Martin Wainwright . Research Interests : Theoretical foundations of machine learning and statistics , particularly focusing on overparameterized models and high-dimensional data . Developing trustworthy ML models with emphasis on distributional robustness , domain generalization , and interpretability . Applications in medical diagnostics and treatment effect analysis , aiming to address reliability issues in real-world domains. Recent Work Trends : 2025 Articles : Theoretical analysis of semi-supervised multi-objective learning , test-time scaling with verifiers, and foundation models for efficient randomized experiments . 2024 Articles : Studies on robust mixture learning , privacy-preserving data synthesis via optimal transport , confounding quantification in causal inference , and semi-private learning frameworks. 2023 Articles : Investigations into active vs. passive learning in high dimensions, inductive bias in noisy interpolation , and semi-supervised novelty detection using model ensembles .

Yingyan Linمشاهده پروفایل

دانشیار

• Efficient Machine Learning
• Cross-Layer Innovations
• Green AI
• +۷ مورد دیگر

Yingyan (Celine) Lin is an Associate Professor in the School of Computer Science at Georgia Institute of Technology, leading the Efficient and Intelligent Computing (EIC) Lab. Her work focuses on cross-layer innovations in machine learning systems, from algorithms to chip design, aiming to advance green AI and ubiquitous machine learning. She holds a Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign (2017). Research interests include efficient machine learning, neural rendering (e.g., NeRF), hardware-software co-design for AI acceleration, and graph neural networks. Her lab has pioneered projects like RTML and 3DML, funded by NSF, NIH, DARPA, and industry partners (Qualcomm, Intel, Meta). Awards: NSF CAREER Award (2021), ACM SIGDA Outstanding Young Faculty (2022), Meta Faculty Research Award (2022) Grants: Multi-university projects funded by NSF, NIH, DARPA, SRC, ONR, and industry Recognition: First-place wins at DAC 2022 and TinyML Design Contest 2022, IEEE Micro Top Pick 2023 Her research bridges algorithmic innovation with hardware implementation, emphasizing energy efficiency and real-time performance for applications in AR/VR, computer vision, and neuro-symbolic AI systems.

Sewoong Ohمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Security & Privacy
• +۴ مورد دیگر

Sewoong Oh is a Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he has been faculty since 2019. His research focuses on the foundations of machine learning with particular emphasis on differential privacy, secure and robust machine learning, and federated learning. Prior to joining UW, he was at the Department of Industrial and Enterprise Systems Engineering at the University of Illinois at Urbana-Champaign from 2012-2019. He is affiliated with multiple NSF AI Institutes including ACTION (Agent-based Cyber Threat Intelligence and Operation), AI-EDGE (Future Edge Networks and Distributed Intelligence), and IFML (Foundations of Machine Learning). Oh received his PhD in Electrical Engineering from Stanford University in 2011 under Andrea Montanari, followed by postdoctoral work at MIT's Laboratory for Information and Decision Systems under Devavrat Shah. His educational background spans top institutions in theoretical computer science and electrical engineering. His research spans the critical intersection of machine learning security, privacy, and robustness. Oh's work addresses fundamental challenges in making AI systems reliable and trustworthy, with particular focus on defending against backdoor attacks, developing privacy-preserving algorithms, and creating efficient tokenization methods for language models. His recent SuperBPE work demonstrates how moving beyond traditional subword tokenization can significantly improve language model efficiency and performance. His research consistently bridges theoretical foundations with practical implementations, as evidenced by numerous open-source repositories containing production-ready code. Oh's publications reveal a consistent trajectory toward addressing security and privacy concerns in increasingly complex machine learning systems, with recent work focusing on language model tokenization, data-centric AI, and federated learning frameworks. His research shows strong interdisciplinary connections between theoretical computer science, statistics, and practical machine learning systems. ACM SIGMETRICS best paper award (2015) NSF CAREER award (2016) ACM SIGMETRICS rising star award (2017) GOOGLE Faculty Research Awards (2017, 2020) 2024 ICML Best Paper Award (for work by advisee Jon Hayase) Professor Oh maintains an active research group with numerous PhD students, postdocs, and undergraduate researchers. His students have secured prestigious positions at leading tech companies including Amazon, Google, and Snap, as well as academic appointments at institutions like University of Wisconsin-Madison and Shanghai Jiao Tong University. He has received substantial research funding through his participation in multiple NSF AI Institutes and industry research awards from Google. His lab maintains several active GitHub repositories implementing cutting-edge research in backdoor defense, robust statistics, and privacy-preserving machine learning.

David Bammanمشاهده پروفایل

دانشیار

• Natural Language Processing
• Cultural Analytics
• Computational Social Science
• +۳ مورد دیگر

David Bamman is an Associate Professor in the School of Information at UC Berkeley, specializing in applying Natural Language Processing (NLP) and machine learning to cultural and social science questions. He leads research in born-literary NLP, computational humanities, and cultural analytics, with affiliated roles in EECS, Linguistics, and Computational Precision Health. Bamman holds degrees from Carnegie Mellon (Ph.D., 2015), Boston University (M.A., 2006), and University of Wisconsin-Madison (B.A., 1998). His work is supported by NEH, NSF, and industry grants. Educations: Ph.D. in Computer Science (2015), Carnegie Mellon University M.A. in Applied Linguistics (2006), Boston University B.A. in Classics (1998), University of Wisconsin-Madison Research Interests: NLP for underserved domains (e.g., literature, social media), coreference resolution, cultural analytics, and computational methods for studying literature and culture. Projects include LitBank and BookNLP datasets. Grants & Awards: Hellman Fellow (2019), Amazon Research Award (2017), NSF CAREER Award, and NEH funding. Teaching: Courses include Natural Language Processing (Info 159/259), Computational Humanities (INFO 190), and Applied NLP (INFO 256). His research group explores topics like racial representation in high school literature, Hollywood diversity metrics, and the sociocultural implications of LLMs. Bamman advises multiple PhD students and collaborates on datasets like CMU Book Summaries and 11K Latin Books.

• Computer Vision
• Robotics
• 3D Data Understanding
• +۳ مورد دیگر

Hao Su is an Associate Professor in the Department of Computer Science and Engineering at University of California, San Diego . He serves as Chairman & CTO of Hillbot Inc , and leads the SU Lab which focuses on building autonomous systems that learn actively in physical environments. His affiliations include the Institute for Learning-enabled Optimization at Scale , Artificial Intelligence Group , Contextual Robotics Institute , Halicioğlu Data Science Institute , and Center for Visual Computing . As a researcher in Computer Vision, Robotics, and Neural Geometry , he has made significant contributions to 3D foundation models, reward-free world models, diffusion policy frameworks, and GPU-accelerated simulation environments. His 2024-2025 publications include advancements in hand-eye calibration, dynamic mesh reconstruction, and multi-stage robotic manipulation. His scientific awards include: Frontiers of Science Award (2025) TPAMI Young Research Award (2025) NSF CAREER Award (2023) ACM SIGGRAPH Best Doctorate Thesis Honorable Mention (2019) He has served as Program Chair for CVPR 2025 and Area Chair for ICLR 2022 and NeurIPS 2023 , while previously serving as Publication Chair for 3DV 2016 and Program Committee for SIGGRAPH Asia Workshops .

Sheng Shenمشاهده پروفایل

استاد

• Nanophotonics
• Nanoscale Energy Transport and Conversion
• Advanced Manufacturing
• +۷ مورد دیگر

Sheng Shen is a Professor in the Mechanical Engineering Department at Carnegie Mellon University (CMU) , with courtesy appointments in the Departments of Electrical and Computer Engineering and Materials Science and Engineering . He earned his Ph.D. in Mechanical Engineering (Minor in Electrical Engineering) from Massachusetts Institute of Technology (MIT) , and his B.S. and M.S. from Huazhong University of Science and Technology in China. Prior to joining CMU in 2011, he conducted postdoctoral research at UC-Berkeley . Education: Ph.D., Mechanical Engineering, MIT (2010) B.S. & M.S., Power Engineering & Engineering Thermophysics, Huazhong University of Science and Technology (2000 & 2003) Research interests include nanophotonics , nanoscale energy transport and conversion , nanofabrication , and advanced manufacturing , with applications in thermal management , light sources and devices , thermal emission control , solar energy conversion , infrared sensing , and multifunctional materials . His work leverages interdisciplinary expertise in thermal and optical measurements , material synthesis , device fabrication , and theoretical modeling . Recent publications highlight advancements in infrared radiation control , thermal interface materials , metasurface engineering , and graphene-based nanosystems . His scientific awards include: NSF CAREER Award DARPA Director's Fellowship DARPA Young Faculty Award Elsevier/JQSRT Raymond Viskanta Award CMU Dean's Early Career Fellowship Philomathia Foundation Research Fellowship Hewlett-Packard Best Paper Award Best Paper Award, Julius Springer Forum Advising spans Ph.D. and postdoctoral researchers in nanoscale energy systems, with alumni contributing to solar energy conversion , infrared sensing , and flexible electronics . His lab receives funding from ARL, DARPA, DOE, DTRA, NASA, NSF, and ONR , and recently secured a DURIP award for instrumentation.

Amitabha Bagchiمشاهده پروفایل

استاد

• Data Algorithmics
• Probability and Networks
• Theoretical Computer Science
• +۷ مورد دیگر

Amitabha Bagchi is a Professor in the Department of Computer Science and Engineering at IIT Delhi. His research spans data algorithmics, probability, networks, and theoretical computer science, with applications in distributed systems, social networks, and AI-driven platforms. He has published extensively in leading venues such as SIGMOD, VLDB, ICDE, AAAI, and KDD, often collaborating with students and researchers on problems involving graph algorithms, fairness, and large-scale data analysis. Research Interests: His primary research interests include Data Algorithmics, Probability and Networks, Theoretical Computer Science, Distributed Algorithms, Graph Algorithms, and Machine Learning Theory. He investigates algorithmic foundations for real-world problems such as food delivery optimization, social network analysis, and efficient data structures for streaming and large graphs. Publication Trends: Recent publications focus on fairness in gig economy platforms, efficient solvers for graph Laplacians, generalization in neural networks, and temporal graph querying. His work combines theoretical rigor with practical impact, often involving GPU acceleration, distributed computing, and data-aware algorithm design. Scientific Service: Editor, Algorithms (2020–present) Editor, Journal of Discrete Algorithms , Elsevier (2006–2018) Guest Editor, special issue on Algorithms for Shortest Paths in Dynamic and Evolving Networks , Algorithms (2021) Volume Editor for proceedings of ESA, ATMOS, COCOON, and others Conference Leadership: He has served on numerous program committees and as chair for conferences including ESA (Engineering Track, 2016), ATMOS (2020), and ICALP (2019). His involvement spans algorithmic engineering, transportation optimization, and theoretical computer science forums. Teaching: He currently teaches COL863: Special Topics in Theoretical Computer Science on concentration inequalities and their applications. He has previously taught advanced courses in algorithms and data structures.

Brandon M. Luciaمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Programming Languages
• +۷ مورد دیگر

Brandon M. Lucia is the Kavčić-Moura Professor of Electrical and Computer Engineering at Carnegie Mellon University and CEO/co-founder of Efficient Computer Company. He leads the Abstract research group and focuses his work on the intersection of computer architecture, systems, and programming languages. Education: Ph.D. in Computer Science and Engineering, University of Washington (2013) — advised by Luis Ceze Research Focus: Brandon's research is broadly centered on intermittent computing , edge computing , and energy-efficient architectures . Two major thrusts define his current work: Intermittent Computing: Making battery-free, energy-harvesting devices programmable and reliable despite frequent power failures. Applications include medical implants, space systems, and large-scale sensing. Orbital Edge Computing: Designing nanosatellite constellations that perform on-orbit data processing, enabling low-latency, high-resolution sensing in space-constrained environments. Scientific Awards: NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS 2020 Best Paper Award OOPSLA 2015 Distinguished Paper & Artifact Awards IEEE Micro Top Picks (2016, 2018 Honorable Mention) Advising & Grants: Brandon actively advises a strong cohort of Ph.D. students including Zhuo Cheng, Bradley Denby, Souradip Ghosh, Harsh Desai, Kiwan Maeng, Emily Ruppel, and others. His group is funded by the NSF (CAREER and SHF grants), the Sloan Foundation, and industry partnerships. Labs & Teams: He directs the Abstract research group at CMU ECE, which hosts interdisciplinary projects spanning hardware design, compiler construction, and system software for ultra-low-power and space-borne computing platforms.

Kai S. Exnerمشاهده پروفایل

استاد

• Electrocatalysis
• Inorganic Chemistry
• Materials Science
• +۷ مورد دیگر

Prof. Kai S. Exner is a Professor of Theoretical Inorganic Chemistry at the University of Duisburg-Essen's Faculty of Chemistry and a member of the Zentrum für Medizinische Biotechnologie (ZMB). His research focuses on electrocatalysis , particularly optimizing electrode materials for energy applications such as batteries, electrolyzers, and fuel cells. He employs computational methods like ab initio calculations and microkinetic modeling to bridge theoretical insights with experimental and industrial applications, emphasizing sustainable catalyst design without relying on noble metals. His work integrates basic research with applied medical biotechnology through ZMB collaborations, though his primary affiliation lies in the Faculty of Chemistry. Exner has pioneered concepts like the electrochemical-step asymmetry index and free-energy span model, which are critical for screening electrocatalysts. His research group, 'Theoretical Inorganic Chemistry,' actively explores mechanisms behind oxygen and chlorine evolution reactions, emphasizing selectivity control and reaction pathway complexity. Exner received the Gottschalk-Diederich-Baedeker-Preis (2024) for advancing the energy transition through foundational electrocatalysis research. He leads Aktuelles Projekt funded by third-party grants and collaborates with facilities like the Analytics Core Facility Essen (ACE) and Imaging Center Campus Essen (ICCE). His advisory role focuses on guiding theoretical and computational approaches in electrochemistry, and he has established a reputation for interdisciplinary research connecting computational chemistry with practical energy solutions.

Sicun Gaoمشاهده پروفایل

دانشیار

• Algorithms and Optimization
• Automated Reasoning
• Cyber-Physical Systems
• +۳ مورد دیگر

Sicun Gao is an Associate Professor in the Computer Science and Engineering department at the University of California, San Diego. His research focuses on practical algorithms for NP-hard search and optimization problems in computational systems, emphasizing combinatorial perspectives in numerical and statistical contexts to achieve reliable autonomy. Research Interests: Automated reasoning, Hamilton-Jacobi reachability, safe reinforcement learning, control barrier functions, and optimization in cyber-physical systems. Teaching: Courses on AI search, optimization, and graduate research seminars. The 15 most recent publications highlight advancements in safe AI control, motion planning, and policy optimization, often integrating neural networks with formal verification. Awards include the IEEE Power & Energy Society Technical Committee Prize Paper Award and the IROS RoboCup Best Paper Award. He advises PhD students working on AI-driven control and robotics, with alumni placed at institutions like Seoul National University, Amazon, and Apple. Grants include NSF Career, Air Force Young Investigator, and DARPA Assured Autonomy funding. His lab develops tools like dReal for automated reasoning in nonlinear theories over the reals.