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

Furong Huangمشاهده پروفایل

دانشیار

• Machine Learning
• Trustworthy Machine Learning
• Generative AI
• +۷ مورد دیگر

Furong Huang is an Associate Professor at the University of Maryland's Department of Computer Science, with affiliations at the Institute for Advanced Computer Studies, Center for Machine Learning, Maryland Robotics Center, and Applied Mathematics, Statistics, and Scientific Computation Program. Her research bridges trustworthy machine learning, sequential decision-making, and foundation models for robotics, emphasizing reliability, interpretability, and ethical standards. Research Interests: Trustworthy AI Generative AI Reinforcement Learning AI Security Algorithmic Fairness Foundation Models for Robotics Recent Publications span leading conferences (NeurIPS, ICML, ICLR, CVPR) and journals, focusing on: Robustness in Vision-Language Systems Trustworthy Generative AI Foundation Models for Sequential Decision-Making AI Security and Watermarking Scientific Awards MIT TR35 Innovator Under 35 (Asia Pacific 2022) Best Paper Award, AdvML Frontier Workshop, NeurIPS 2024 NSF NAIRR Pilot Awardee Microsoft Accelerate Foundation Models Research Award (2023) JP Morgan Faculty Research Awards (2019–2022) Advising and Grants : Her lab has graduated students to roles at OpenAI, Google, Meta, and Netflix. Research funded by DARPA, NSF, ONR, AFOSR, and industry partners like Microsoft, Adobe, and Capital One. Labs & Teams : Leads research groups focused on Trustworthy AI and Robotics at the University of Maryland, collaborating with the Maryland Robotics Center and Applied Mathematics Program.

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.

Arman Cohanمشاهده پروفایل

استادیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Arman Cohan is an Assistant Professor in the Department of Computer Science at Yale University, where he leads the Yale NLP Lab since its founding in January 2023. His research spans natural language processing and machine learning with emphasis on language modeling, representation learning, retrieval systems, and specialized domain applications including scientific discovery and AI for science. His primary research interests include: Natural Language Processing Machine Learning Large Language Models Information Retrieval AI for Science Scientific Problem-Solving Recent publications (2025) demonstrate intense focus on evaluating and advancing LLM capabilities across multimodal reasoning, scientific claim verification, financial domain applications, and biological modeling. The lab consistently produces high-impact work accepted at top-tier conferences including ACL, EMNLP, and ICLR, with 11 papers at ACL 2025 alone. Scientific awards include: Best Paper Award at AI4Research Workshop (IJCAI 2024) Outstanding Paper Award at EACL 2023 Best Paper Award at ACL 2024 for Olmo language model research Professor Cohan actively advises PhD students including Kaili Liu, Jacob Dunefsky, Alan Li, Yilun Zhao, and has graduated researchers such as Linyong Nan (now at Zoom) and Ansong Ni (now at Meta). The lab maintains strong industry partnerships and receives substantial research funding as evidenced by its prolific output and conference presence. The Yale NLP Lab hosts the annual New England NLP Workshop and regularly features speakers from leading institutions including Meta AI, Allen Institute for AI, and DeepMind, fostering a collaborative environment for advancing NLP research.

Kate Saenkoمشاهده پروفایل

استاد

• Artificial Intelligence
• Deep Learning
• Computer Vision
• +۴ مورد دیگر

Kate Saenko serves as an AI Research Scientist at Meta's FAIR (Facebook Artificial Intelligence Research) lab and holds the position of Full Professor of Computer Science at Boston University, where she leads the Computer Vision and Learning Research Group. Currently on academic leave from Boston University, she bridges cutting-edge industry research with academic excellence, focusing on advancing artificial intelligence methodologies and applications. Her educational background includes a PhD in Electrical Engineering and Computer Science (EECS) from the Massachusetts Institute of Technology (MIT), followed by postdoctoral training at the University of California, Berkeley and Harvard University. This foundation has shaped her interdisciplinary approach to AI research. Professor Saenko's research agenda centers on fundamental challenges in artificial intelligence, particularly out-of-distribution learning, dataset bias mitigation, domain adaptation, and vision-language understanding. Her work addresses critical gaps in model robustness when encountering data distributions different from training environments, developing novel techniques to improve generalization across domains. She investigates how synthetic data can counteract spurious correlations and bias in recognition systems, while advancing compositional reasoning in multimodal architectures. Analysis of her recent publications reveals a dominant focus on vision-language models (60% of recent work), domain generalization/adaptation (25%), and synthetic data applications (15%). Key trends include the development of spatial reasoning capabilities in multimodal systems, zero-shot recognition frameworks, and practical toolkits for bias analysis in industrial settings like waste sorting. Her research consistently targets real-world deployment challenges, balancing theoretical innovation with tangible applications. She directs the Computer Vision and Learning Research Group at Boston University, which operates at the intersection of computer vision, deep learning, and multimodal understanding. The group maintains strong industry collaborations through Meta's FAIR and previously engaged with the MIT-IBM Watson AI Lab. Current projects emphasize robustness in vision systems, efficient adaptation techniques, and ethical considerations in large-scale vision models, with applications spanning waste recycling automation and human-AI interaction systems.

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.

• Plasma Physics
• Fusion Energy
• Space Plasma Physics
• +۳ مورد دیگر

Peter Gingell is a Researcher at the University of Warwick's Physics Centre for Fusion, Space and Astrophysics. His work focuses on plasma dynamics in fusion and space environments, particularly ion-gyro-scale blobs in magnetically confined plasmas. He developed a 2D hybrid code for simulating plasma blob evolution, combining kinetic ion treatments with electron fluid models. His research addresses coherent plasma structures critical to understanding energy transport in fusion devices like tokamaks. Funded by the Engineering and Physical Sciences Research Council (EPSRC), his project is supervised by Prof Sandra Chapman and Prof Richard Dendy. He has published in Plasma Physics and Controlled Fusion , contributing to advancements in plasma simulation methodologies. His office is PS143, and he can be reached at p.gingell@warwick.ac.uk.

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)

Bobak Mortazaviمشاهده پروفایل

دانشیار

• Medical analytics
• Machine learning
• Embedded systems design
• +۳ مورد دیگر

Bobak Mortazavi is an Associate Professor in the Department of Computer Science & Engineering at Texas A&M University. His research focuses on medical analytics, machine learning, wearable sensors, and cyber-physical systems. He leads interdisciplinary projects in healthcare technology, including AI-driven diagnostics and predictive modeling for cardiovascular diseases. He has received notable awards such as the Best Demonstration Award at IEEE EMBS 2012 and the Best Paper Award at the Fourth International Conference on Data Analytics 2015. His work bridges machine learning with clinical applications, emphasizing practical solutions for healthcare challenges. Recent research includes developing AI tools for aortic stenosis detection, electrolyte estimation via ECG, and real-time patient monitoring systems. He collaborates with industry and academic partners to advance telemedicine and wearable health technologies. Key contributions include the SMART-LV project for smartphone-based cardiac diagnostics and the ArterialNet framework for blood pressure reconstruction using wearable sensors. His work is published in top journals like IEEE Journal of Biomedical and Health Informatics and Elsevier's Pervasive and Mobile Computing.

James McDonaldمشاهده پروفایل

مدرس

• Water Treatment
• Membrane Technology
• Trace Organic Contaminants
• +۶ مورد دیگر

Dr. James McDonald serves as a Lecturer and Research Fellow at the University of New South Wales (UNSW) within the School of Civil and Environmental Engineering's Water Research Centre (WRC). His work at the Vallentine Annexe (H22), Room 102, Kensington Campus focuses on advancing water treatment technologies and understanding contaminant behavior in water systems. His position bridges academic instruction with cutting-edge research in environmental engineering. McDonald's research spans multiple critical areas in water science and engineering, with particular emphasis on trace organic contaminants, membrane technologies, and advanced water treatment processes. His work investigates the fate and removal of pharmaceuticals, personal care products, and industrial chemicals in various water treatment systems. He has made significant contributions to understanding disinfection by-product formation, chiral inversion of pharmaceuticals, and the development of novel membrane technologies for improved water purification. His research combines experimental approaches with computational modeling to address complex water quality challenges. Analysis of McDonald's recent publications reveals a strong focus on emerging contaminants, particularly PFAS compounds and chiral pharmaceuticals, and their behavior in water treatment systems. His work demonstrates expertise in both conventional and advanced water treatment technologies, with increasing emphasis on sustainable approaches including green infrastructure and novel membrane processes. The interdisciplinary nature of his research connects environmental engineering, chemistry, microbiology, and materials science to address contemporary water quality challenges. McDonald actively collaborates with researchers across multiple institutions and has contributed to numerous significant studies on water quality and treatment. His work supports the development of more effective water recycling systems and safer drinking water supplies. While specific grant information isn't detailed in the available text, his extensive publication record suggests sustained research funding in water treatment technologies and contaminant fate studies. As part of UNSW's Water Research Centre, McDonald contributes to one of Australia's leading water research facilities. The WRC provides a collaborative environment for addressing complex water challenges through interdisciplinary research that integrates engineering, chemistry, and environmental science perspectives.

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.

Erik Ketzanمشاهده پروفایل

مدرس

• Digital Humanities
• Computational Literary Studies
• Legal and Ethical Issues in Research Data
• +۳ مورد دیگر

Erik Ketzan is a Lecturer in Digital Humanities and Cultural Computation at King's College London. He holds a PhD in English/Digital Humanities from Birkbeck, University of London, and has held postdoctoral roles at the University of Cologne and Trinity College Dublin, where he coordinated the MA in Digital Humanities and Culture. His research focuses on computational literary studies, legal/ethical issues in digital research, and corpus stylistics. He has published widely on topics such as Thomas Pynchon’s computational stylistics, legal frameworks for digital humanities research, and gender bias in historical texts. His work includes developing tools like Coleto for textual variant analysis and co-authoring the book *Thomas Pynchon and the Digital Humanities* (2022). Ketzan actively engages in policy advocacy, advising on copyright and data protection in DH, and has contributed to projects like CLARIN and the Leibniz Institute for the German Language. Education: PhD in English/Digital Humanities, Birkbeck, University of London Postdoctoral Researcher, University of Cologne (EncycNet Project) Postdoctoral Research and Teaching Fellow, Trinity College Dublin Research Interests: Computational approaches to literary analysis, legal challenges in data-driven research, corpus stylistics, and gender studies in historical corpora. Teaching: Courses include Python for the humanities, computational literary studies, and legal issues in digital humanities.

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Steven Jacksonمشاهده پروفایل

استاد

• Technology Ethics
• Infrastructure Studies
• Human-Computer Interaction
• +۷ مورد دیگر

Steven Jackson is a Professor of Information Science and Science and Technology Studies at Cornell University's Bowers College of Computing and Information Science, with additional graduate field appointments in Communication and Public Affairs. Since July 2023, he has served as Vice-Provost for Academic Innovation at Cornell, and previously held leadership positions as Chair of Information Science and Dean of William Keeton House. His work bridges academic research with significant institutional leadership in higher education innovation. Dr. Jackson's research focuses on critical intersections of technology, society, and the environment, with three primary strands: technology ethics, law and policy; maintenance, repair and sustainability; and technology, inequality and global development. His work draws from American pragmatism, political economy, and science and technology studies, integrating methods from sociology, anthropology, philosophy, and media studies. He is particularly interested in how computing practices meet social and material worlds, with implications for infrastructure, collaboration, sustainability, and cultural practice. His recent publications reveal a strong emphasis on repair as both theoretical concept and practical methodology, exploring 'ordinary hope' as a framework for technological engagement and examining unmaking as a necessary counterpart to design. The research spans diverse geographical contexts from the global North to South, addressing caste dynamics in computing, digital authoritarianism, and infrastructure challenges in developing contexts. Dr. Jackson has received significant recognition including an NSF CAREER award and more than twenty paper awards at leading computing and information science venues. His research has been supported by major organizations including the U.S. National Science Foundation, Social Science Research Council, Ford Foundation, Sloan Foundation, World Bank, Intel Research, Atkinson Center for Sustainability, and the Canadian Social Science and Humanities Research Council. As an advisor, Dr. Jackson has mentored numerous graduate students who have gone on to prominent positions at institutions worldwide. He currently advises Jen Liu, Amy Cheatle, Daniel Mwesigwa, Johan Michalove, and Ritik Batra, while his former students include Palashi Vaghela (Assistant Professor at Simon Fraser University), Samir Passi (Responsible AI Researcher at Microsoft), Maggie Jack (Assistant Professor at NYU), and Ranjit Singh (Senior Researcher at Data and Society). Dr. Jackson convenes the Computing On Earth Lab, an experimental collaboration bringing together social scientists, humanists, artists, and engineers to rethink the material and planetary foundations of computing. The lab reflects his commitment to interdisciplinary approaches that address computing's environmental impacts and sustainability challenges.

Renjie Fengمشاهده پروفایل

پژوهشگر ارشد

• Probability Theory
• Random Matrix Theory
• Machine Learning
• +۵ مورد دیگر

Renjie Feng is a Research Fellow in Mathematics and AI at the School of Mathematics and Statistics and the Sydney Mathematical Research Institute , University of Sydney. His work bridges probability theory, statistics, and applications in machine learning, deep learning, and artificial intelligence. His research interests focus on probability theory and its applications to machine learning , random matrix theory , and statistical physics . He investigates extreme value problems, spectral properties of random matrices, and topological features of random fields over Riemannian manifolds. Recent publications highlight trends in random matrix theory (GUE, GOE, GSE), extreme gap problems , determinantal point processes , and Wiener chaos . Collaborative works with F. Götze, D. Yao, and R. Adler emphasize U-statistics , multivariate linear statistics , and random topology inspired by Poisson point process studies.

Richard M. Murrayمشاهده پروفایل

استاد

• Control Theory
• Autonomous Vehicles
• Biological Circuit Design
• +۳ مورد دیگر

Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.