جستجوی استاد راهنمای دانشگاهی

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.

Xin Guoمشاهده پروفایل

استاد

• Mathematical Finance
• Financial Engineering
• FinTech
• +۷ مورد دیگر

Xin Guo is Professor and Department Chair of Industrial Engineering and Operations Research (IEOR) at UC Berkeley's College of Engineering, holding the Coleman Fung Chair in Financial Modeling. Her research bridges mathematical finance, stochastic control, and machine learning with applications in risk analytics and quantitative trading. Education: Ph.D. in Mathematics, Rutgers University (1999) Research Interests: Professor Guo's work centers on mathematical finance , stochastic games , and reinforcement learning . She develops theoretical frameworks for α-potential games and mean-field systems while applying signature methods and GANs to financial data. Her research addresses critical problems in portfolio optimization, fraud detection (e.g., Medicare analytics), and market forecasting, emphasizing the intersection of stochastic control with machine learning for real-world decision-making under uncertainty. Publication Trends: Recent work (2023-2025) shows increasing focus on multi-agent reinforcement learning through mean-field game theory, with applications spanning finance (corporate bonds, trading), healthcare (fraud detection), and transportation (rate forecasting). Key innovations include BSDE approaches for stochastic games, signature-based time series analysis, and theoretical guarantees for GAN training dynamics. Scientific Awards: Holds the prestigious Coleman Fung Chair in Financial Modeling, reflecting significant contributions to quantitative finance research. Advising and Grants: As IEOR Department Chair, Professor Guo mentors graduate students in stochastic modeling and financial engineering. Her research is supported by the Coleman Fung Endowment Fund, with collaborations spanning finance, healthcare, and transportation sectors through industry partnerships. Labs and Teams: Leads the Risk Analytics & Data Analysis Research (RADAResearch) Lab ( https://risklab.ieor.berkeley.edu/ ), which develops cutting-edge methodologies for risk assessment, data-driven decision-making, and game-theoretic solutions to complex systems. The lab fosters interdisciplinary work connecting mathematical theory with practical applications in FinTech and beyond.

• Machine Learning
• Natural Language Processing
• Music Information Retrieval
• +۱۲ مورد دیگر

Colin Raffel , currently an Associate Professor at the University of Toronto and Associate Research Director at the Vector Institute , is a leading researcher in machine learning and natural language processing . His career spans roles at Hugging Face (Faculty Researcher), Google Brain (Senior Research Scientist), and UNC Chapel Hill (Assistant Professor). Education: PhD in Electrical Engineering (Columbia), MA in Music/Science (Stanford), BA in Mathematics (Oberlin) Key affiliations: Google Brain (2016-2020), Hugging Face (2021-present), Vector Institute (2023-present) His research focuses on language model development , attention mechanisms , efficient machine learning , and music information retrieval . Recent work explores model merging , parameter-efficient fine-tuning , and data-constrained language models . Teaching : Has instructed courses at University of Toronto and UNC Chapel Hill on Neural Networks , Deep Learning , and Information Theory . Academic service includes organizing ICLR workshops and serving as Senior Area Chair for NeurIPS and EMNLP . Notable awards : NSF CAREER (2022), Caspar Bowden Award (2023), NeurIPS Outstanding Paper (2023) Key contributions : Core developer of WT5 , Git-Theta , and mir_eval software

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
• Natural Language Processing
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Luke Zettlemoyer is an Adjunct Professor of Computer Science and Engineering at the University of Washington, with affiliations to the Department of Linguistics. He focuses on machine learning, natural language processing, and multimodal systems, contributing to advancements in large language models, ethical AI, and scalable architectures. His research addresses challenges in model alignment, generalization, and cross-domain integration. Key research interests include multimodal reward models, efficient tokenization strategies, and model optimization techniques. He has explored topics such as neural trajectories for robot learning, content-adaptive image processing, and ethical mitigation of verbatim data reproduction. His publications span 2023–2025, emphasizing practical applications of AI in robotics, vision-language systems, and scalable retrieval-based models. While no formal awards are listed, his work reflects significant contributions to foundational AI research.

Brent Doironمشاهده پروفایل

استاد

• Computational Neuroscience
• Neural Networks
• Theoretical Neuroscience
• +۲ مورد دیگر

Brent Doiron is a Professor at the University of Chicago, holding appointments in the Departments of Neurobiology and Statistics, and serving on the Committee on Computational and Applied Mathematics (CCAM). His research integrates nonlinear dynamics and statistical mechanics to study neural circuit variability, focusing on mechanisms underlying neural coding and network learning through collaborations with experimentalists in sensory systems. Education: PhD in Physics (University of Ottawa, 2004) Postdoc: Center for Neural Science at New York University (2017) Previous Roles: Mathematics Professor at University of Pittsburgh (2007-2020), Co-Director of Neural Computation Program at Carnegie Mellon Neuroscience Institute Research interests center on neuronal population dynamics, recurrent circuit mechanisms, and computational neuroscience. Current work investigates correlated variability in cortical networks, inter-areal communication, and stochastic spiking models. Recent publications emphasize cortical stability/gain modulation, asynchronous/synchronous activity balance, and Bayesian inference frameworks. Key themes include sensory processing, network plasticity, and dimensionality reduction in neural coding. Scientific Awards Alfred P. Sloan Research Fellowship in Neuroscience Vannevar Bush Faculty Fellowship Chancellor’s Distinguished Research Award (University of Pittsburgh) Active grants include NIH R01 and R90/T90 awards for neuronal dynamics research and computational neuroscience training programs.

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

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

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.

Maja J Matarićمشاهده پروفایل

استاد

• Socially Assistive Robotics
• Human-Robot Interaction
• Assistive Technology
• +۷ مورد دیگر

Maja J Matarić is the Chan Soon-Shiong Chaired and Distinguished Professor of Computer Science at the University of Southern California's Viterbi School of Engineering, with courtesy appointments in Neuroscience and Pediatrics. She serves as founding director of the USC Robotics and Autonomous Systems Center, co-director of the USC Robotics Research Lab, and Principal Scientist at Google DeepMind. Previously, she held leadership roles as USC's interim Vice President of Research (2020-2021) and Vice Dean for Research (2006-2019). Her educational background includes: PhD in Computer Science and Artificial Intelligence from MIT (1994) MS in Computer Science from MIT (1990) BS in Computer Science from University of Kansas (1987) Matarić pioneers Socially Assistive Robotics (SAR) , a field her lab named, focusing on human-robot interaction that provides assistance through social rather than physical support. Her research targets critical health and wellness challenges including post-stroke rehabilitation, autism spectrum disorder therapy, cognitive exercises for Alzheimer's patients, ADHD academic support, and mental health interventions. She develops systems modeling user engagement, personality, and motivation, with extensive real-world deployments in schools, rehabilitation centers, and homes. Analysis of her recent publications reveals dominant themes in cognitive health robotics (2025 CHI paper on LLM-powered elder care), pediatric assistive technology (2025 IDC speech therapy review), and adaptive preference modeling (2025 HRI contrastive learning work). Her research consistently bridges machine learning with human-centered design for vulnerable populations. Major scientific recognition includes: ACM Athena Lecturer Award (2024) ACM Eugene L. Lawler Humanitarian Award (2024) ACM Fellow (2020) Presidential Mentoring Award (2011) Multiple society fellowships (AAAS, IEEE, AAAI) As a dedicated mentor, Matarić has championed underrepresented groups through CRA-W, placing numerous women in faculty positions. She leads USC Viterbi's K-12 STEM Outreach Program serving low-income Los Angeles schools and authored The Robotics Prime for student education. Her research has secured significant funding enabling real-world technology transfer, with documented impact in rehabilitation centers and homes through deployable SAR systems. Her Robotics Research Lab at USC drives innovation in embodied AI, with current projects spanning LLM-integrated elder care robots, ADHD academic companions, and autism therapy systems. The lab emphasizes co-design with end-users and rigorous real-world validation across diverse populations.

Ihab Ilyasمشاهده پروفایل

استاد

• Data Management
• Data Cleaning
• Machine Learning for Data Quality
• +۶ مورد دیگر

Professor Ihab Ilyas is a leading figure in data management and machine learning at the Cheriton School of Computer Science , University of Waterloo , where he holds the Thomson Reuters Research Chair in Data Quality . He is currently on leave from the university, serving as a Distinguished Engineer, Proactive Intelligence at Apple Inc . His research focuses on data cleaning , large-scale data integration , knowledge graphs , and machine learning applications in data quality . He has pioneered systems like HoloClean and Saga , with commercial impacts through co-founded startups Inductiv (acquired by Apple) and Tamr . PhD in Computer Science from Purdue University Co-founder of Inductiv (acquired by Apple) Co-founder of Tamr Research Interests include: Probabilistic and uncertain data management Machine learning for data quality and enrichment Big data systems and information extraction Knowledge graph construction and optimization Scientific Awards and Recognitions include: Fellow of the Royal Society of Canada (2024) C.C. Gotlieb Computer Award (2024) IEEE Fellow (2021) ACM Fellow (2020) Cheriton Faculty Fellowship (2013-2016) Ontario Early Researcher Award

Sham Kakadeمشاهده پروفایل

استاد

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

Sham Kakade is the Rampell Family Professor of Computer Science and Professor of Statistics at Harvard University, co-director of the Kempner Institute. His research focuses on advancing artificial general intelligence through foundational work in reinforcement learning, large-scale learning systems, and autonomous agent architectures. He earned his PhD in 2003 from the Gatsby Computational Neuroscience Unit at University College London. His work emphasizes scalable optimization algorithms, distributed systems for foundation models, and understanding emergent capabilities in neural architectures. Research interests include full-stack training pipelines for foundation models, mathematical principles of large-scale learning systems, and bridging language models with embodied intelligence. He advises prospective students with backgrounds in applied deep learning or theoretical computer science, offering access to the Kempner Institute's computational resources. He serves on committees for the ACM Prize in Computing and Sloan Research Fellowships, co-organizes the Simons Symposium on Theoretical Machine Learning, and chaired COLT 2011. His lab works at the intersection of theory and practice, addressing challenges in AI's societal impact and technical scalability. Labs/Teams: Co-directs the Kempner Institute, fostering collaborations between AI researchers and social scientists. Active in Harvard's SEAS community.

Maya Ramanathمشاهده پروفایل

دانشیار

• Database Systems
• Information Retrieval
• Semantic Web Data Management
• +۳ مورد دیگر

Maya Ramanath is an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Delhi. She joined IIT Delhi in 2011 after a postdoctoral research stint at the Max-Planck Institute for Informatics in Germany. Her research interests focus on database systems, information retrieval, semantic web technologies, and knowledge graph construction and applications. Education: PhD in Computer Science, Indian Institute of Science, Bangalore M.Sc.(Engg.) in Computer Science, Indian Institute of Science, Bangalore B.E. in Computer Science and Engineering, Bangalore University, Bangalore Her recent work emphasizes efficient query processing over large-scale graphs, knowledge graph applications, and natural language interfaces for semantic data. Notable contributions include algorithms for reachability approximation in web-scale graphs, speculative query planning for knowledge graphs, and exploratory querying techniques. She has collaborated extensively on projects like NAGA, ESTHETE, and KlusTree, advancing the state of the art in graph-based data management and semantic search. Publications span conferences such as ICDE, ECIR, EDBT, and VLDB, reflecting a strong focus on database systems, graph algorithms, and semantic web applications. Her work bridges theoretical foundations with practical implementations, addressing scalability and efficiency challenges in modern data management systems. Research and advising activities include supervision of projects on distributed graph processing, query optimization, and knowledge representation. She has contributed to open-source tools like LegoDB and StatiX, and her lab focuses on interdisciplinary approaches to data-centric AI.

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +۷ مورد دیگر

David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).