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

Jason D. Leeمشاهده پروفایل

دانشیار

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

Jason D. Lee is an associate professor of Electrical Engineering and Computer Sciences (EECS) and Statistics at the University of California, Berkeley. Previously, he held academic positions at Princeton University as an associate professor, and was a research scientist at Google DeepMind. He completed his Ph.D. in Computational and Mathematical Engineering at Stanford University under the advisement of Trevor Hastie and Jonathan Taylor. For students and collaborators, his primary contact email is jasonlee@princeton.edu, though prospective students and postdocs are asked to include "filter_student" in the subject line. Ph.D., Computational and Mathematical Engineering, Stanford University (2015) B.Sc., Mathematics, Duke University (2010) Lee's research lies at the intersection of machine learning, statistics, and optimization, focusing on the theoretical foundations of artificial intelligence. His work addresses fundamental questions in deep learning, including optimization landscapes, representation learning, and reinforcement learning theory. He has made significant contributions to understanding how gradient descent operates in neural network training and has developed provably efficient algorithms for various learning scenarios. His ten most recent publications represent a diverse yet coherent body of work across machine learning theory, focusing on topics such as Gaussian multi-index models, transformer learning capabilities, shallow neural networks, and optimization techniques. These publications appear in top venues including COLT, ICML, NeurIPS, and JMLR. Among his notable accolades are: Samsung AI Researcher of the Year Award (2023) NSF Career Award (2022) ONR Young Investigator Award (2021) Sloan Research Fellow in Computer Science (2019) NIPS Best Student Paper Award (2016) Princeton Commendation for Outstanding Teaching (ECE538B) Lee has advised numerous students including Alex Damian, Wenhao Zhan, Eshaan Nichani, Tianle Cai, Zixuan Wang, and Yunwei Ren. Former advisees have gone on to positions at institutions like NYU Courant, Facebook AI Research, UW, MIT, Duke, and Microsoft Research. His research group and collaborators span multiple institutions, working on theoretical and applied aspects of machine learning and artificial intelligence, with a particular focus on the optimization and learning dynamics of neural networks and transformer models.

Joshua D. Angristمشاهده پروفایل

استاد

• Econometrics
• Labor Economics
• Causal Inference
• +۳ مورد دیگر

Joshua D. Angrist is the Ford Professor of Economics at the Massachusetts Institute of Technology, where he has been a faculty member since 1996. He is also a co-founder and director of MIT's Blueprint Labs and a Research Associate at the National Bureau of Economic Research. Angrist shares the 2021 Nobel Prize in Economic Sciences with David Card and Guido Imbens for their methodological contributions to the analysis of causal relationships. Angrist received his B.A. from Oberlin College in 1982 and completed his Ph.D. in Economics at Princeton University in 1989. Prior to joining MIT, he taught at Harvard University and the Hebrew University of Jerusalem. His academic journey began somewhat unconventionally, as he left high school early after 11th grade, worked for over a year, and only later discovered his passion for economics through an inspiring teacher at Oberlin. Angrist's research focuses on developing and applying innovative econometric methods to answer important economic questions using natural experiments. His work spans labor economics, education economics, and causal inference methodology. He is particularly known for his contributions to instrumental variables methods and the Local Average Treatment Effect (LATE) framework developed with Guido Imbens. His research explores the economics of education and school reform, the impact of social programs on labor markets, and the effects of immigration and regulation. His recent publications reveal a continued focus on causal inference methods applied to education policy questions, labor market issues, and health economics. The trend shows increasing sophistication in research design, with particular attention to addressing selection bias and developing methods for external validity. His work spans theoretical econometric contributions alongside empirical applications in education, labor markets, and health. Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (2021) Fama Prize for Graduate Education (2018) Fellow of the American Academy of Arts and Sciences Fellow of the Econometric Society Angrist is deeply committed to teaching and mentoring. He has developed influential econometrics textbooks including 'Mostly Harmless Econometrics' and 'Mastering Metrics' with Jörn-Steffen Pischke. At MIT, he teaches courses including Labor Economics I (14.661), Econometric Data Science (14.32), and Labor Economics and Public Policy (14.64). He emphasizes selecting UROP students who have mastered foundational economics through courses like 14.64 and 14.32. Beyond MIT, Angrist co-founded Avela, a software startup using cutting-edge research to help schools improve enrollment and operations. Angrist co-founded and directs MIT's Blueprint Labs, which brings together researchers from economics, computer science, and education to develop innovative solutions for educational challenges. Through Blueprint Labs and Avela, his work bridges academic research with practical applications in education policy and technology.

Benjamin Van Royمشاهده پروفایل

استاد

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

Benjamin Van Roy is a Professor at Stanford University since 1998, affiliated with the Departments of Electrical Engineering and Management Science and Engineering, and the Institute for Computational and Mathematical Engineering. He leads the Efficient Agent Team at Google DeepMind and previously held leadership roles at Morgan Stanley, Unica, and Enuvis. He holds SB, SM, and PhD degrees in Computer Science and Electrical Engineering from MIT, advised by John Tsitsiklis. His research focuses on reinforcement learning, alignment, and information theory, with contributions to machine learning foundations, optimization, and finance. He has authored over 150 publications, including influential works on Thompson Sampling, approximate dynamic programming, and exploration strategies. His honors include INFORMS and IEEE Fellowships and the INFORMS Lanchester Prize. Van Roy advises doctoral students across academia and industry, with graduates at top institutions and companies like Meta, Tesla, and Citadel. He teaches courses on reinforcement learning, stochastic control, and optimization. His open-source projects include Epistemic Neural Networks and the Neural Testbed for evaluating machine learning models. Key contributions include foundational work in reinforcement learning theory, scalable methods for recommendation systems, and applications in finance and resource allocation. His research bridges theoretical insights with practical applications, emphasizing alignment and safety of AI systems.

Minh Q. Phanمشاهده پروفایل

دانشیار

• System Identification
• Control Theory
• Robotics
• +۴ مورد دیگر

Minh Q. Phan is an Associate Professor of Engineering at Dartmouth College's Thayer School of Engineering. His expertise spans system identification, iterative learning control, model predictive control, robotic swarm control, and intelligent control systems. He holds a BS from the University of California, Berkeley, and MS/M.Phil/PhD degrees from Columbia University in Mechanical Engineering. Dr. Phan has contributed to over 50 peer-reviewed publications and serves as an Associate Editor for the Journal of Guidance, Control, and Dynamics. His research focuses on advancing control theory applications in robotics, structural health monitoring, and sustainable construction materials. Key contributions include the development of OKID (Observer/Kalman Filter Identification) methods and bilinear system identification frameworks. Education History: Bachelor of Science in Mechanical Engineering, UC Berkeley, 1985 Master of Science in Mechanical Engineering, Columbia University, 1986 Master of Philosophy in Mechanical Engineering, Columbia University, 1988 Doctor of Philosophy in Mechanical Engineering, Columbia University, 1989 Research Interests: Advanced control methodologies for dynamic systems Model-based predictive control strategies Applications in robotics and aerospace engineering Structural health monitoring via system identification Machine learning for materials science Teaching Responsibilities include courses like ENGG 149 (Systems Identification), ENGS 145 (Modern Control Theory), and ENGG 148 (Structural Mechanics). His work bridges theoretical control systems with practical industrial applications, including automation in food processing and sustainable construction practices. Dr. Phan has collaborated on projects addressing viral epidemiology in Vietnam and coastal erosion mitigation strategies.

• Computer Vision
• Machine Learning
• Artificial Intelligence
• +۶ مورد دیگر

Amir Zamir is a tenure-track Assistant Professor of Computer Science at the Swiss Federal Institute of Technology Lausanne (EPFL) in the School of Computer & Communication Sciences. Previously, he worked at UC Berkeley, Stanford, and UCF with prominent researchers including Silvio Savarese, Jitendra Malik, Mubarak Shah, Rahul Sukthankar, and Leonidas Guibas. He currently leads the Visual Intelligence & Learning Lab at EPFL and serves as chief scientist of Duranta, having previously been the CVML chief scientist of Aurora Solar (a Forbes AI 50 company valued at $4B in 2022) from 2015 to 2022. Dr. Zamir's research spans computer vision, machine learning, and artificial intelligence, with a focus on developing general multi-modal/multi-task vision systems that operate as active agents in the real world. His work emphasizes slow science principles, seeking fundamental understanding over quick publications. Key research areas include embodied vision, multimodal foundation models, computational imaging, and vision-language integration. His notable projects include 4M, Taskonomy, Gibson Environment, Omnidata, and MultiMAE, which have significantly influenced the field of computer vision and embodied AI. Zamir has made substantial contributions to the computer vision community through numerous high-impact publications and leadership roles. His work demonstrates a consistent focus on creating vision systems that go beyond narrow and passive methods toward more general, active, and embodied approaches. The trajectory of his research shows increasing sophistication in handling multiple modalities and tasks within unified frameworks, culminating in recent work on multimodal foundation models that can handle diverse vision tasks. Dr. Zamir has received numerous prestigious awards including the Young Researcher Award 2022 from ECCV, the PAMI Mark Everingham Prize 2022, SIGGRAPH 2022 Best Paper Award for CLIPasso, CVPR 2018 Best Paper Award for Taskonomy, and CVPR 2016 Best Student Paper Award. He is also an ELLIS Faculty Scholar and received the NVIDIA Pioneering Research Award in 2018 for the Gibson Environment. As an advisor, Dr. Zamir has mentored numerous PhD students including Roman Bachmann, Andrei Atanov, Rishubh Singh, Jason Toskov, Kunal Pratap Singh, Zhitong Gao, Mingqiao Ye, and Muhammad Uzair Khattak. His former PhD students include Oguzhan Kar (now at Apple), Alexander Sasha Sax (co-advised with Jitendra Malik, now at Meta FAIR), and Teresa Yeo (now at MIT-Singapore Alliance). Dr. Zamir teaches several advanced courses including CS-503 Visual Intelligence, CS-500 AI Product Management, COM-304 Intelligent Systems, and ENG-615 Topics in Autonomous Robotics. Dr. Zamir leads the Visual Intelligence & Learning Lab at EPFL, which focuses on developing fundamental methods for visual intelligence that can operate effectively in real-world environments. The lab takes an interdisciplinary approach combining computer vision, machine learning, robotics, and cognitive science to create systems that can perceive, understand, and interact with the world. Current research directions include multimodal foundation models, computational imaging, embodied vision, and personalization of generative models.

Polina Gollandمشاهده پروفایل

استاد

• Biomedical Image Analysis
• Medical Vision
• AI & Machine Learning
• +۸ مورد دیگر

Polina Golland is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at MIT and a Principal Investigator in the Computer Science and Artificial Intelligence Laboratory (CSAIL). Her research focuses on developing novel techniques for biomedical image analysis and understanding, particularly in medical vision, AI/ML, and health care applications. She leads the Medical Vision Group and collaborates with the Vision Group at CSAIL. Her work emphasizes statistical modeling of medical images, shape modeling, and predictive analytics for biological processes. Current projects include fetal MRI analysis, cardiac MRI segmentation, and quantitative assessment of pulmonary edema in chest X-rays. She has secured grants from NIH, MIT-IBM Watson AI Lab, and other institutions to support her research. Dr. Golland teaches courses on inference, probability, and probabilistic systems. She advises graduate students in MIT's EECS program and has mentored numerous postdocs and researchers. Her lab focuses on translating advanced imaging techniques into clinical workflows, with applications in neuroimaging, fetal health monitoring, and cardiovascular disease analysis. Notable collaborations include work with Harvard Medical School affiliates, Brigham and Women's Hospital, and the MIT Jameel Clinic. Her research aims to bridge computational methods with clinical needs, improving diagnostic tools and treatment planning through machine learning and medical imaging innovation.

Sara Ngمشاهده پروفایل

استادیار مهمان

• Computational Linguistics
• Speech Prosody
• Phonetics
• +۶ مورد دیگر

Sara Ng is a Visiting Assistant Professor in the Department of Linguistics at Western Washington University. She holds a PhD in Linguistics from the University of Washington (2024) and an MS in Computational Linguistics (2023), alongside a B.A. in Linguistics and B.S. in Applied Mathematics from the University of Utah (2017). Her research focuses on computational models of prosody, speech perception, and their integration with speech technologies like automatic speech recognition (ASR). She investigates how prosody conveys pragmatic meaning, influences conversational dynamics, and impacts listeners with hearing impairments. Her work bridges computational methods and linguistic theory, addressing challenges in clinical and technological applications. Education PhD in Linguistics, University of Washington, 2024 MS in Computational Linguistics, University of Washington, 2023 B.A. in Linguistics (Honors), B.S. in Applied Mathematics, University of Utah, 2017 Research Interests Ng’s research explores computational linguistics, prosody modeling, speech technology, and hearing impairment studies. She develops methods to leverage prosodic cues for tasks like punctuation prediction and investigates the impact of hearing loss on speech perception. Grants & Awards 2024: Nominated for UW Excellence in Teaching Award 2023: Excellence in Linguistic Research Graduate Fellowship 2017: University of Utah Top Scholar Award Teaching Ng teaches courses in phonetics, computational linguistics, and linguistics for honors students. She emphasizes pedagogical innovation and inclusivity, with experience as an instructor of record and teaching assistant at both Western Washington University and the University of Washington. Labs & Collaborations She collaborates with the TIAL Lab (University of Washington), Phonetics Lab, Hearing Aid Laboratory (Northwestern University), and CLILLAC-ARP (Université Paris Cité). Her work intersects with clinical and engineering domains, addressing real-world applications of speech technology.

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.

Guillermo Amadorمشاهده پروفایل

استادیار

• Biophysics
• Biomaterials
• Biomechanics
• +۷ مورد دیگر

Dr. Guillermo Amador is an Assistant Professor in the Experimental Zoology department at Wageningen University & Research. His research focuses on understanding how animals interact with complex environments through locomotion, adhesion, and fluid dynamics. He investigates biological systems like insects, plants, and marine organisms to inspire bio-engineered solutions for robotics, microfluidics, and material science. Amador received his PhD in Mechanical Engineering from Georgia Institute of Technology (USA), followed by postdoctoral research at the Max Planck Institute for Intelligent Systems (Germany) and a Marie Sklodowska-Curie fellowship at TU Delft (Netherlands). His expertise spans biophysics, biomaterials, and biomechanics, with a focus on self-cleaning mechanisms and bioadhesion. He collaborates with the 4TU consortium on Dutch Soft Robotics to develop bio-inspired designs. His work bridges fundamental biology with engineering applications, emphasizing interdisciplinary approaches to solve challenges in robotics and environmental science. Amador teaches courses including Biomimetics and Functional Zoology , integrating his research into education. His research highlights include studies on cuttlefish suction cups, stick insect adhesion, and pollen transport mechanisms in pollinators.

Luca Carloneمشاهده پروفایل

دانشیار

• Robotics
• Autonomous Systems
• Computer Vision
• +۶ مورد دیگر

Luca Carlone is the Boeing Career Development Associate Professor in the Department of Aeronautics and Astronautics at MIT and a Principal Investigator at the Laboratory for Information & Decision Systems (LIDS) . He leads the SPARK Lab , focusing on developing certifiable perception algorithms for autonomous systems. PhD in Mechatronics (Polytechnic University of Turin, 2012) Research spans robotics, computer vision, and optimization Research Interests : Certifiable Perception algorithms for high-integrity systems High-level Perception (geometric, semantic, physical understanding) Efficient Perception methods for resource-constrained robots Scientific Contributions include: 2024 Outstanding Systems Paper Award (RSS) 2023 IEEE Transactions on Robotics King-Sun Fu Award 2021 NSF CAREER Award 2020 AIAA Advising Award 2019 Amazon Research Award Advising : Teaches graduate courses like Visual Navigation for Autonomous Vehicles and Robotics: Science and Systems . Collaborates with institutions including JPL, Caltech, and KAIST through the DARPA SubT Challenge.

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

دانشیار

• Robotics
• Computer Vision
• SLAM (Simultaneous Localization and Mapping)
• +۶ مورد دیگر

Michael Kaess is an Associate Professor at the Robotics Institute, Carnegie Mellon University (CMU), within the School of Computer Science. He leads the Robot Perception Lab (RPL) and contributes to the Field Robotics Center (FRC) and Computer Vision Group (CV). His research focuses on efficient perception algorithms for mobile robots, particularly in 3D mapping, SLAM, and sensor fusion using vision, LiDAR, inertial, and sonar data. Kaess holds a PhD in Computer Science from Georgia Tech and was a postdoc at MIT's Marine Robotics Lab. Education: Georgia Institute of Technology, PhD in Computer Science (2008) MIT, Postdoctoral Associate (2008–2010) Research Interests: Kaess develops algorithms for robust and efficient inference in robotics, emphasizing factor graphs and linear algebra. His work spans underwater robotics, aerial systems, tactile SLAM, and multi-sensor integration. Key areas include SLAM with planes/lines, imaging sonar reconstruction, and neural field methods for LiDAR-visual fusion. Publications: Over 145 papers, including work on EDPLVO (visual odometry), HoloOcean (underwater simulation), and neural radiance fields with LiDAR. Recent trends focus on robust incremental smoothing, acoustic-optical fusion, and real-time volumetric mapping. Awards: Recognized with the RSS Test of Time Award (2020), Outstanding Associate Editor (2022), and paper awards at ICRA/ICRA. Active in conference organization (IROS/ICRA program committees). Advising & Grants: Supervises 10+ current PhD/MSc students, with past advisees contributing to CoRL/ICRA work. Manages grants in perception, autonomy, and marine robotics. Teaches courses like Robot Localization and Mapping (16-833). Labs/Teams: Directs RPL, collaborates with FRC on field robotics. Develops open-source tools like GTSAM (GNU Toolkit for Smoothing and Mapping).

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.

• 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

Elaine Francisمشاهده پروفایل

استاد

• Syntax
• Psycholinguistics
• Relative Clauses
• +۶ مورد دیگر

Elaine Francis is a Professor of English and Linguistics at Purdue University's College of Liberal Arts, where she serves as Associate Head of the Department of English and directs the Experimental Linguistics Lab. She holds additional affiliations as an Affiliate Faculty Member in the Department of Linguistics and a Courtesy Faculty Member in the Department of Speech, Language, and Hearing Sciences. Ph.D. in Linguistics, University of Chicago (1999) B.A. in Linguistics, College of William and Mary (1993) MA in Linguistics, University of Chicago (1995) Former Assistant Professor at the University of Hong Kong (1999-2002) Professor Francis's research focuses on syntax and its interfaces with semantics, discourse information structure, and language processing in production and comprehension. She employs experimental methods to investigate syntactic, semantic, discourse-pragmatic, and cognitive factors underlying complex sentence structures. Her primary research areas include word order alternations, filler-gap dependencies, resumptive pronouns, and grammatical acceptability. She examines how various factors contribute to grammatical alternations in language use and explores how processing pressures in production and comprehension contribute to grammatical conventions. Her recent publication record shows consistent output across multiple linguistic subfields, with a strong emphasis on experimental syntax and psycholinguistics. Her 2022 book, Gradient Acceptability and Linguistic Theory , represents a significant contribution to understanding acceptability judgment tasks in relation to syntactic theory. Her work spans theoretical syntax, experimental linguistics, second language acquisition, and cross-linguistic comparison, often bridging the gap between theoretical frameworks and empirical evidence. Regularly teaches short courses at Linguistic Society of America Linguistic Institutes Member of Linguistic Society of America Ethics Committee Editorial board member of Glossa Psycholinguistics Co-editor of Polymorphous Linguistics: Jim McCawley's Legacy (2005) Co-editor of Mismatch: Form-Function Incongruity and the Architecture of Grammar (2003) Professor Francis actively supervises graduate students in linguistics, though she has indicated she will be unable to take on new graduate students for the 2025-2026 academic year. She has received research support for her experimental work, particularly for investigating syntactic phenomena through controlled experiments and corpus analysis. Her collaborative work extends across multiple institutions and disciplines, including collaborations with researchers in computational linguistics, cognitive science, and clinical linguistics. She directs the Experimental Linguistics Lab at Purdue University, which conducts research on syntactic processing using various experimental methodologies. The lab investigates how speakers produce and comprehend complex sentence structures, with particular attention to how grammatical knowledge interacts with processing constraints. Current projects include research on relative clauses, syntactic islands, and acceptability gradient phenomena across multiple languages.

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.