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

Stephen Lichtمشاهده پروفایل

دانشیار

• Marine Robotics
• Biologically Inspired Propulsion
• Nonlinear Attitude Control
• +۵ مورد دیگر

Stephen Licht is an Associate Professor of Ocean Engineering and Graduate Director at the University of Rhode Island's College of Engineering, where he directs the Robotics Laboratory for Complex Underwater Environments (R-CUE). His research focuses on developing maritime robots capable of operating in dynamic and unpredictable environments through biologically inspired propulsion, distributed pressure sensing, model-based optimal control, and compliant underwater manipulation technologies. Ph.D. in Oceanographic and Mechanical Engineering from MIT/WHOI Joint Program (2008) B.S. in Mechanical Engineering from Yale University (1998) Former Senior Research Scientist at iRobot and Senior Robotics Engineer at Vecna Robotics Current Research Affiliate with MIT Department of Mechanical Engineering Former Visiting Faculty at Libera Università di Bolzano (2019-2020) Dr. Licht's research spans marine robotics with emphasis on biologically inspired propulsion systems that provide high authority and bandwidth thrust, nonlinear attitude control for maneuvering in dynamic conditions, compliant underwater manipulation technologies, and unmanned aerial monitoring of coastal structures. His work bridges mechanical engineering principles with oceanographic applications to create more capable underwater robotic systems that can operate in complex marine environments. His recent publications demonstrate a strong trend toward soft robotics applications for deep-sea exploration, with particular focus on jamming grippers and neutrally buoyant manipulation systems. The research also shows increasing integration of additive manufacturing techniques for field-deployable solutions and computational methods for autonomous systems operating in challenging marine environments. His work spans fundamental control theory, mechanical design, and practical field applications. Dr. Licht has secured significant research funding as both Principal Investigator and Co-Principal Investigator from major organizations including the Office of Naval Research, NOAA, NSF, and various university collaborations. His grants focus on advancing unmanned underwater vehicle technology, soft robotics for deep-sea applications, and coastal monitoring systems. Active mentor to numerous graduate and undergraduate students in Ocean Engineering Successful track record of student placements at organizations including Jaia Robotics, Scripps Institution of Oceanography, FORSSEA Robotics, and government research labs Collaborates with researchers at MIT, WHOI, University of Connecticut, University of Maine, and international institutions Licht leads the R-CUE lab which develops innovative solutions for underwater robotics challenges, with particular expertise in biomimetic propulsion, soft robotics for deep-sea applications, and autonomous systems for environmental monitoring. The lab maintains strong industry connections with OceanGate Inc. and FabNewport, and engages with local educational institutions through outreach programs with Roger Williams Middle School.

• 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 .

Thomas Hofmannمشاهده پروفایل

استاد

• Machine Learning
• Deep Learning
• Natural Language Understanding
• +۳ مورد دیگر

Prof. Dr. Thomas Hofmann is a Full Professor and Head of the Department of Computer Science at ETH Zurich since 2014. He also leads the Institute for Machine Learning. His research focuses on machine learning, deep learning, natural language understanding, and text understanding. Hofmann holds a Ph.D. from the University of Bonn (1997) and has held academic positions at Brown University (1999–2004) and TU Darmstadt. He transitioned to industry as Director of Engineering at Google (2006–2014), leading the Zurich R&D center, before returning to academia. He co-founded Recommind (2000) and 1plusX (Swiss marketing tech company), currently serving as Chief Scientist and board member at 1plusX. Education: Ph.D. in Computer Science, University of Bonn (1997) Postdoctoral Work: MIT (CBCL/AI Lab), UC Berkeley (EECS/ICSI) His research explores advanced machine learning techniques, including diffusion models, generative adversarial networks, and optimization dynamics. Hofmann’s entrepreneurial ventures reflect his focus on applying AI to real-world challenges, such as e-discovery and marketing technology. His work spans theoretical contributions (e.g., neural network training dynamics, continual learning) and applied innovations (e.g., image editing, portrait generation). Hofmann actively bridges academia and industry, influencing both research and commercial AI applications.

Kevin Jamiesonمشاهده پروفایل

دانشیار

• Machine Learning
• Active Learning
• Multi-Armed Bandits
• +۴ مورد دیگر

Kevin Jamieson is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering and an Adjunct Professor in the Department of Statistics at the University of Washington . His academic journey includes a B.S. (2009) , M.S. (2010) , and Ph.D. (2015) in electrical engineering from the University of Washington, Columbia University, and University of Wisconsin–Madison respectively. He completed a postdoc at UC Berkeley's AMP Lab before joining UW in 2017. Ph.D., Electrical Engineering, University of Wisconsin–Madison (2015) M.S., Electrical Engineering, Columbia University (2010) B.S., Electrical Engineering, University of Washington (2009) Jamieson's research lies at the intersection of interactive machine learning , active learning , and sequential decision making . His work focuses on: Adaptive sampling strategies in multi-armed bandits and reinforcement learning (RL) Developing instance-dependent optimal algorithms that adapt to problem difficulty Applications in robotics , human perception studies , and hyperparameter optimization Representation learning for large models and experimental design frameworks His 15 most recent publications (2025-2022) demonstrate expertise in bandit theory , contextual RL , and game-theoretic learning . Notable trends include sample-efficient optimization , adaptive A/B testing , and sim-to-real transfer in robotics. Jamieson has received: NSF CAREER award for foundational contributions Amazon Faculty Research award for innovation in learning systems He actively recruits graduate students and postdocs , emphasizing collaboration in areas like: Multi-agent RL and strategic actor learning Empirical process suprema and adaptive sampling theory Applications in robotics , large language model finetuning , and biomedical data analysis Jamieson leads the Washington AI Lab (WAIL) and develops open-source learning systems like the NEXT framework for real-world adaptive data collection. He serves as co-PI for the Institute for the Foundations of Data Science (IFDS) and co-organizes the Distinguished Seminar in Optimization & Data .

Manik Varmaمشاهده پروفایل

استاد مدعو

• Machine Learning
• Deep Learning
• Information Retrieval
• +۱۶ مورد دیگر

Manik Varma is a Distinguished Scientist and Vice President at Microsoft Research India, and an Adjunct Professor at the Indian Institute of Technology Delhi. He is a Fellow of the Indian Academies of Science (IASc, INSA, NASI), the Indian National Academy of Engineering (INAE), and the Association for Computing Machinery (ACM). He has received prestigious awards such as the Shanti Swarup Bhatnagar Prize and Microsoft Gold Star Award. Education : BSc in Physics from St. Stephen's College (David Raja Ram Prize) BA in Theoretical Physics from the University of Oxford (Rhodes Scholar) DPhil in Computer Vision and Machine Learning from the University of Oxford (University Scholar) Post-doctoral Fellow at the Mathematical Sciences Research Institute (MSRI), Berkeley Visiting Miller Professor at UC Berkeley His research focuses on Machine Learning (Extreme Classification, Resource-efficient ML, Supervised Learning), Information Retrieval (Computational Advertising, Dense Retrieval, Recommender Systems), and Computer Vision (Image Search, Object Recognition). Recent work includes graph-regularized encoders, label variance reduction, and multimodal classification frameworks. His publications span extreme classification algorithms like NGAME , SiameseXML , and DECAF , with applications in IoT, web search, and recommendation systems. He leads a research group at Microsoft Research India and advises PhD students at IIT Delhi. Scientific Awards : Shanti Swarup Bhatnagar Prize (Government of India) Microsoft Gold Star and Achievement Awards WSDM 2019 Best Paper Prize BuildSys 2019 Best Paper Runner-up Fellow of ACM, IASc, INSA, NASI, INAE He has supervised numerous PhD students, including Sonu Mehta and Suchith Prabhu, and collaborates with institutions like Microsoft Research India, IIT Delhi, and UC Berkeley. His research has led to scalable solutions for billion-label classification and resource-constrained IoT applications.

Andrew Stuartمشاهده پروفایل

استاد

• Applied and Computational Mathematics
• Bayesian Inverse Problems
• Data Assimilation
• +۶ مورد دیگر

Andrew Stuart is the Bren Professor of Computing and Mathematical Sciences at the California Institute of Technology (Caltech), joining in 2016. He previously held faculty positions at the University of Warwick (1999–2016), Stanford University (1992–1999), and Bath University (1989–1992). He earned his PhD from the University of Oxford's Computing Laboratory in 1986. Professor Stuart's research focuses on applied and computational mathematics , particularly Bayesian inverse problems , data assimilation for dynamical systems , and stochastic modeling . His work bridges mathematical theory, algorithm development, and applications in geophysics, materials science, and biological systems. His recent publications emphasize operator learning , machine learning for PDEs , and uncertainty quantification . Key areas include ensemble Kalman methods , Gaussian processes , and neural operators for solving and learning from complex systems. Scientific awards include the Vannevar Bush Faculty Fellowship and election to the Royal Society of Great Britain . He advises graduate students in applied mathematics, computational science, and geophysics, including Edoardo Calvello , Hojjat Kaveh , and Florian Wolf .

Niki Kilbertusمشاهده پروفایل

استادیار

• Machine Learning
• Causal Inference
• Ethics in AI
• +۵ مورد دیگر

Prof. Niki Kilbertus is an Assistant Professor at the Technical University of Munich (TUM) in the Department of Informatics, and Group Leader at Helmholtz AI. His research focuses on causal machine learning, ethical AI systems, and applications in healthcare, climate science, and dynamical systems. He earned his PhD from the University of Cambridge (2020) and has held positions at DeepMind, Google, and Amazon during his studies. His research interests include causal discovery, fairness in AI, counterfactual reasoning, and integrating physics-based constraints into neural networks. Key contributions include foundational work on fair machine learning (e.g., avoiding discrimination through causal models) and developing methods for causal inference in complex systems like healthcare and climate modeling. Recent work emphasizes generative models for causal interventions, robust treatment effect estimation, and physically consistent neural differential equations. He leads a large interdisciplinary group with over 20 students and postdocs working on projects funded by Helmholtz Association, ERC, and industry collaborations. Notable awards include the Leopoldina Prize for Young Scientists (2024) and membership in the Junge Akademie. His lab maintains active partnerships with ELLIS, MCML, and the Zuse Institute Berlin.

Huan Zhangمشاهده پروفایل

استادیار

• Trustworthy Machine Learning
• Formal Verification of Machine Learning
• AI Safety
• +۴ مورد دیگر

Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.

• Machine Learning
• Artificial Intelligence
• Neural Networks
• +۳ مورد دیگر

Geoffrey E. Hinton is a distinguished Professor in the Department of Computer Science at the University of Toronto. He is renowned for his foundational contributions to machine learning, particularly in the development of deep learning and neural networks. His research focuses on understanding learning processes in both artificial and biological systems, with key contributions including Boltzmann machines, backpropagation, and deep belief networks. He teaches advanced machine learning courses such as CSC2535, emphasizing topics like graphical models, variational inference, and deep learning architectures. His work has been published extensively in top journals and conferences, with recent papers exploring forward-forward algorithms, analog diffusion models, and scalable neural network training methods. Hinton has advised numerous PhD and master's students and collaborates with institutions like Vector Institute. He is a central figure in the global AI community, regularly presenting at conferences (e.g., 2023 talks on CBS 60 Minutes, BBC, and PBS). His lab focuses on advancing machine learning theory and applications, addressing challenges in vision, language, and generative models.

Daniel J. Hsuمشاهده پروفایل

استاد

• Machine Learning
• Foundations of Data Science
• Theory of Computation
• +۴ مورد دیگر

Dr. Daniel J. Hsu is a Professor of Computer Science at Columbia University, affiliated with the Foundations of Data Science Center and TRIPODS Institute. His research focuses on algorithmic statistics, machine learning theory, and their applications in public health informatics. He has advised numerous students and postdocs, and his work bridges foundational theory with practical systems like foodborne illness detection via social media analysis. Key roles: Associate Editor (ACM Transactions on Algorithms), Program Chair (ICML 2025, COLT 2019) Research areas: Foundations of Data Science, Machine Learning Theory, Fairness, and High-dimensional Statistics His work on detecting foodborne illnesses using Yelp reviews has been deployed by NYC Health departments. Recent contributions include advancements in transformer architectures, group fairness algorithms, and multi-group learning frameworks. Scientific awards include the Sloan Fellowship and multiple NSF grants. He has pioneered interactive machine teaching methods and developed algorithms for robust parameter estimation in high-dimensional settings.

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.

Bo Daiمشاهده پروفایل

استادیار

• Reinforcement Learning
• Machine Learning
• Data-Driven Decision Making
• +۳ مورد دیگر

Bo Dai is an Assistant Professor at the School of Computational Science and Engineering, Georgia Institute of Technology, and a Staff Research Scientist at Google DeepMind. His research focuses on Agent AI, Generative Models, and Representation Learning, aiming to create decision-making agents through world modeling. He holds a Ph.D. from Georgia Tech (2013–2018) and previously worked at Google Brain. Dai has authored numerous influential papers in top conferences like NeurIPS, ICML, and ICLR, and received the AISTATS Best Paper Award (2016). Education: Ph.D., School of Computational Science and Engineering, Georgia Tech (2013–2018) Research Interests: Reinforcement Learning and Representation Learning for decision-making agents Generative Models and their integration with Agent AI Provable and scalable algorithms for real-world applications His work bridges theory and practice, emphasizing spectral representations and provable guarantees in complex systems. Key Article Trends: His recent work emphasizes scalable spectral methods for multi-agent systems, diffusion policies, and representation-based techniques in reinforcement learning. He also explores LLM alignment and sim-to-real transfer learning. Awards: AISTATS Best Paper Award (2016) NeurIPS Workshop Best Paper (2017) Ross Fellowship (2011–2012) Advising & Grants: Supervises 6 current Ph.D. and M.S. students. Active in organizing workshops on reinforcement learning and serves as an Area Chair for top conferences. Labs & Software: Leads development of Representation-based Reinforcement Learning and Repr-Control toolboxes for nonlinear control and stochastic systems.

Peter Bühlmannمشاهده پروفایل

استاد

• High-dimensional Statistics
• Causal Inference
• Machine Learning
• +۳ مورد دیگر

Peter Bühlmann is a Professor at ETH Zürich within the Seminar für Statistik , focusing on high-dimensional statistics, causal inference, and machine learning. His work bridges theoretical advancements with practical software implementations in R packages like pcalg , mboost , and glmmlasso , impacting fields such as genomics, proteomics, and intensive care analytics. Key Contributions : Causal structure learning, stability selection, anchor regression, and deconfounding. Software : Developed widely used R packages for statistical modeling and causal inference. Teaching : Courses on high-dimensional statistics at ETH Zürich and international institutions. Research Trends : Recent articles emphasize causal robustness, domain adaptation, and applications in medicine. His work addresses challenges in heterogeneous data, missing values, and covariate shifts using methods like spectral deconfounding and residual prediction tests. Scientific Recognition : Co-author of a paper designated as a New Hot Paper (Meinshausen and Bühlmann, 2006) by Essential Science Indicators, indicating significant impact in high-dimensional multiple testing.

Gary Fedderمشاهده پروفایل

استاد

• Microelectromechanical Systems (MEMS)
• Advanced Manufacturing
• Nanomanufacturing
• +۶ مورد دیگر

Gary Fedder is the Howard M. Wilkoff Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with courtesy appointments in Biomedical Engineering, Mechanical Engineering, and Robotics. He serves as Faculty Director of the Manufacturing Futures Institute (MFI) and previously held roles such as Vice Provost for Research and Interim CEO of the Advanced Robotics for Manufacturing (ARM) Institute. Fedder’s research focuses on MEMS, advanced manufacturing, and implantable microsystems. He earned his B.S., M.S., and Ph.D. in EECS from MIT and UC Berkeley, respectively. Education: Ph.D., Electrical Engineering and Computer Science, UC Berkeley (1994) M.S., Electrical Engineering and Computer Science, MIT (1984) B.S., Electrical Engineering and Computer Science, MIT (1982) Research Interests: Microelectromechanical systems (MEMS), digital twins, aerosol jet printing, stretchable electronics, and manufacturing innovation. His work integrates MEMS with CMOS processes, emphasizing low-cost, high-performance systems. Key Contributions: Co-founded the ARM Institute; developed MEMS-based sensors and actuators; pioneered methods for manufacturing innovation through projects like America Makes. His research spans over 300 publications and 21 patents. Awards: IEEE Fellow (2007), Ross Tucker Award (1993), NSF CAREER Award (1996), and leadership roles in Manufacturing USA initiatives. Leadership & Outreach: Directed the Institute for Complex Engineered Systems and led national initiatives to advance U.S. manufacturing competitiveness. Active in editorial roles for journals like IoP Journal of Micromechanics .

Ram Vasudevanمشاهده پروفایل

دانشیار

• Optimization and control of nonlinear systems
• Legged robot locomotion
• Autonomous systems safety
• +۴ مورد دیگر

Ram Vasudevan is an Associate Professor and Associate Chair of Graduate Studies in the Department of Robotics at the University of Michigan. His research focuses on developing tools for safe and robust deployment of robotic systems, emphasizing optimization, nonlinear control, and real-world applications. Key areas include legged robot locomotion, shared control systems, and safety-critical autonomous systems. Research Interests: Optimization and control of nonlinear systems, locomotion of legged robots, shared control active safety systems, and automation of diagnostic/rehabilitative tasks. His ROAHM Lab prioritizes mathematical guarantees for robotic performance, with applications in medical robotics, autonomous vehicles, and soft robotics. Recent work emphasizes trajectory optimization, sensor fusion, and safety-aware control strategies. He has contributed to benchmarks for autonomous vehicle perception and novel methods in thermal image restoration using neural radiance fields. Awards: None explicitly listed in provided text. Labs/Teams: Directs the ROAHM Lab, collaborating on projects like robotic tail mechanics, real-time motion planning, and sensor data analysis. Active in academic conferences including RSS and ICRA.