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

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +۳ مورد دیگر

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

Matthias Feurerمشاهده پروفایل

استاد

• Automated Machine Learning
• Hyperparameter Optimization
• Bayesian Optimization
• +۵ مورد دیگر

Matthias Feurer is a Thomas Bayes Fellow and interim professor at the Chair of Statistical Learning and Data Science, funded by the Munich Center for Machine Learning (MCML) at Ludwig Maximilian University of Munich. He is a member of the Department of Statistics at LMU Munich, working under Prof. Dr. Bernd Bischl. His academic background includes: PhD in Computer Science from Albert-Ludwigs-Universität Freiburg, supervised by Prof. Dr. Frank Hutter M.Sc. in Computer Science from the University of Freiburg B.Sc. in Computer Science and Media from the Media University Stuttgart Feurer's research focuses on simplifying machine learning usage through Automated Machine Learning (AutoML). His work encompasses hyperparameter optimization, meta-learning, and model selection, with increasing emphasis on multi-objective AutoML that considers factors beyond predictive performance such as interpretability, deployability, and fairness. He actively develops open-source tools to advance the field. His recent publications demonstrate a strong trajectory in practical AutoML systems, with growing attention to tabular machine learning, foundation models integration, and addressing real-world constraints in optimization. His work consistently bridges theoretical advances with practical implementations through several widely-used open-source projects. Notable achievements include: 1st place in the warmstarting-friendly leaderboard of the BBO NeurIPS challenge Winner of the 2nd AutoML challenge Winner of the kdnuggets blog contest on AutoML Feurer is actively mentoring and teaching, having advertised PhD positions focused on AutoML, optimization, and benchmarking. He co-founded the Open Machine Learning Foundation supporting OpenML.org. His upcoming move to TU Dortmund as an assistant professor in AutoML and Optimization signals continued growth in his academic career while maintaining his research focus on making machine learning more accessible and rigorous.

Andrew D. Whiteمشاهده پروفایل

دانشیار

• Large language models
• Deep learning in chemistry
• Molecular dynamics
• +۵ مورد دیگر

Andrew D. White is an Associate Professor of Chemical Engineering at the Hajim School of Engineering & Applied Sciences, University of Rochester. He holds a PhD from the University of Washington (2013). His research focuses on automating scientific discovery through AI, particularly leveraging large language models (LLMs) and deep learning techniques in chemistry. His lab develops agents that integrate literature analysis, hypothesis generation, and experimental design to advance fields like molecular dynamics and drug discovery. Education: PhD in Chemical Engineering, University of Washington, 2013 BS/MS (not explicitly stated in text, inferred from career timeline) Research Interests: Large language models for scientific automation Deep learning applications in chemistry and materials science Molecular dynamics simulations Scientific agents and autonomous systems Publications: His work includes groundbreaking studies on closed-loop AI systems for chemistry, federated learning in molecular property prediction, and multi-agent systems for drug discovery. Recent highlights include the Robin system and ChemCrow tools. Awards: Recipient of the NSF Career Award (2018), NIH Outstanding Investigator Award (2020), and the Curtis Teaching Award (2019). He also advises biotech companies and serves on the National Academy of Sciences' Chemical Sciences Roundtable. Grants & Funding: Supported by DOE, NSF (multiple grants including CBET-1751471), NIH (R35GM137966), and LLNL projects. Collaborates with institutions like Argonne National Lab and Qubit Pharmaceuticals. Labs & Teams: Leads the White Lab at Rochester and co-founded FutureHouse, a nonprofit advancing AI-driven scientific discovery. Supervises a multidisciplinary team of PhD students and postdocs in computational chemistry, AI, and biophysics.

Tiancheng Zhaoمشاهده پروفایل

پژوهشگر

• Multimodal Foundation Models
• AI Agents
• Vision-Language Models
• +۳ مورد دیگر

Tiancheng Zhao is a principal researcher at the Binjiang Institute of Zhejiang University and founder of the Om Artificial Intelligence Laboratory (Om AI Lab), dedicated to frontier open multimodal AGI research for building next-generation agents that transform work and life through advanced human-machine interaction. His academic credentials include: Ph.D. in Computer Science from Carnegie Mellon University (2016-2019) under Prof. Maxine Eskenazi, Prof. Louis-Philippe Morency, Prof. William W. Cohen, and Dr. Dilek Hakkani-Tur, with pioneering dissertation “Learning to Converse With Latent Actions” in end-to-end generative conversational models M.S. in Computer Science from Carnegie Mellon University (2014-2016) B.S. in Electrical Engineering from UCLA (2010-2014) with Summa Cum Laude, focusing on speech signal processing under Prof. Abeer Alwan Dr. Zhao’s research centers on multimodal foundation models and agents, tackling three core challenges: Multimodal Models for cross-modal representation learning in high-dimensional data, Learning to Learn for effective skill acquisition from diverse signals (supervised labels, rewards, meta-learning), and AI Agents for open-world understanding and complex decision-making. His work bridges computer vision, natural language processing, and real-world applications including healthcare analytics and remote sensing. Analysis of his 50+ publications reveals accelerating innovation in multimodal large language models (2024-2025), with emphasis on stable vision-language architectures (VLM-R1), agent orchestration frameworks, and domain-specific applications in geospatial analysis and healthcare. Key trends include solving long-tail distribution challenges in satellite imagery, developing human-like zooming capabilities for multimodal LLMs, and creating unified benchmarks for autonomous GUI testing. His scientific recognition includes: National Breakthrough Technology Award by Ministry of Science and Technology (2021) Microsoft Research Best & Brightest PhD (2018) BEST PAPER AWARD at SIGDIAL 2018 Best Paper Nomination at SIGDIAL 2016 Top 1 Outstanding Bachelor of Science Award at UCLA (2014) As Om AI Lab founder, Dr. Zhao leads research teams developing computational building blocks for human-AI collaboration. While specific student mentorship details aren’t public, his extensive publication record with junior co-authors indicates active research supervision. Current projects focus on practical system implementations for real-world multimodal agent deployment across diverse domains.

• Language Models
• Diffusion Models
• Theory of Deep Learning
• +۶ مورد دیگر

Song Mei is an Assistant Professor in the Department of Statistics and Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. She received her Ph.D. from Stanford University in 2020 under Andrea Montanari and maintains active research collaborations with institutions including Amazon (as a 2023 Amazon Research Award recipient) and OpenAI (where she is currently on leave). Her research spans the intersection of statistics, machine learning, information theory, and computer science, with particular emphasis on foundational theories for modern AI systems. Key interests include language models, diffusion models, quantum algorithms, and high-dimensional statistics, often leveraging insights from statistical physics literature. Analysis of her recent publications reveals a strong focus on theoretical underpinnings of generative AI, with significant contributions to understanding contrastive pre-training (CLIP), attention mechanisms in LLMs, and mathematical foundations of diffusion models. Her work demonstrates consistent interdisciplinary connections between statistical theory and practical AI development. Sloan Research Fellowship (2025) Noether Early Career Scholar Award (2025) Google Research Scholar Award (2024) Amazon Research Award (2024) She actively advises graduate students through MA programs and has secured significant research grants including Amazon Research Awards. Her work with AGI Labs at Amazon demonstrates applied impact of theoretical research. Current projects focus on mechanistic interpretability of large language models and mathematical frameworks for generative AI. Professor Mei leads research on the statistical principles behind frontier AI models, with particular focus on developing rigorous theoretical frameworks for understanding emergent behaviors in large-scale systems.

Emilio Frazzoliمشاهده پروفایل

استاد

• Autonomous Robotics
• Control Systems
• Game Theory
• +۴ مورد دیگر

Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).

Sridhar R. Tayurمشاهده پروفایل

دانشگاهی

• Operations Research
• Quantum Computing
• Healthcare Operations
• +۳ مورد دیگر

Sridhar R. Tayur is the Ford Distinguished Research Chair and University Professor of Operations Management at Carnegie Mellon University’s Tepper School of Business. He holds a Ph.D. in Operations Research from Cornell University and a B.Tech. in Mechanical Engineering from IIT Madras. His research focuses on quantum computing applications in operations research, healthcare systems optimization, and supply chain management. He has held visiting roles at MIT, Stanford, and Cornell, and founded companies like SmartOps and OrganJet. His recent work spans quantum-inspired optimization algorithms, healthcare decision support systems, and fair resource allocation policies. He has contributed to over 110 publications, including high-impact papers in Management Science , Operations Research , and IEEE Transactions . Awards include INFORMS Fellow and NAE membership. He teaches courses in quantum integer programming, healthcare operations, and service management at the Tepper School. Education: Ph.D. (Cornell), B.Tech. (IIT Madras) Research Labs: Quantum Technology Group, OrganJet Key Awards: INFORMS Fellow, NAE Member, MSOM Distinguished Fellow Teaching: MBA Operations Management, PhD Quantum Optimization, Healthcare Systems His interdisciplinary work bridges quantum computing, healthcare policy, and logistics, supported by collaborations with industry and government institutions.

• Cybersecurity
• Software Security
• System Security
• +۶ مورد دیگر

Ruoyu (Fish) Wang is an Associate Professor at the School of Computing and Augmented Intelligence, Arizona State University (Tempe campus). He also holds affiliations as Associate Director of Impact at the Global Security Initiative, Center for Cybersecurity & Trusted Foundations, and with the Biodesign Center for Biocomputing, Security and Society. His educational background includes: Ph.D. in Computer Science, University of California, Santa Barbara Professor Wang's research focuses on system security, with an emphasis on automated binary program analysis and reverse engineering of software. He is the co-founder and core developer of the angr binary analysis platform, which won third place in the DARPA Cyber Grand Challenge (2018). His work spans vulnerability discovery, fuzzing, and security tool development for binary program analysis. His current research interests include: Binary program analysis and reverse engineering Automated vulnerability discovery and mitigation Fuzzing techniques and robust testing Phishing and fraud detection in e-commerce Security of firmware and embedded systems Application of machine learning to security problems His recent publications (2024-2025) demonstrate cutting-edge research in fraud detection for e-commerce using LLMs, advanced fuzzing methodologies, and binary decompilation techniques. Key trends include bridging theoretical program analysis with practical security tools, as evidenced by extensions to the angr platform, and addressing emerging threats in financial ecosystems and client-side security. Dr. Wang has received notable recognition: Third place in DARPA Cyber Grand Challenge (2018) with team Shellphish As an active educator, he supervises graduate research (CSE 599/799) and teaches core cybersecurity courses including Software Security (CSE 545) and Information Assurance (CSE 365). His teaching spans multiple semesters through 2025, covering practicums, internships, and special topics in computing security. Dr. Wang co-founded the angr binary analysis platform and contributes to Arizona State University's security research ecosystem through leadership roles in the Center for Cybersecurity & Trusted Foundations and Biodesign Center for Biocomputing, Security and Society.

Yolanda Gilمشاهده پروفایل

استاد پژوهش

• Knowledge capture
• Semantic Workflows
• Ontology Tools
• +۷ مورد دیگر

Dr. Yolanda Gil is a Research Professor in Computer Science and Spatial Sciences at the University of Southern California, where she serves as Principal Scientist and Senior Director for Strategic Initiatives in Artificial Intelligence and Data Science at the Information Sciences Institute (ISI). She is also the Director of AI and Data Science Initiatives in the Viterbi School of Engineering and leads the USC Center for Knowledge-Guided Interdisciplinary Data Science (CKIDS). Dr. Gil received her Licenciatura in Computer Science from the Polytechnic University of Madrid and her M.S. and Ph.D. in Computer Science from Carnegie Mellon University, with a focus on artificial intelligence and cognitive science. Her research focuses on developing AI approaches that use knowledge to accelerate scientific discovery processes. Her key research interests include knowledge capture and representation, semantic workflows, ontology tools, scientific discovery methods, task-based collaboration, provenance tracking, knowledge networks, reproducibility in science, and machine learning for data analysis. She collaborates with scientists across multiple domains to improve how scientific knowledge is created, shared, and used. Dr. Gil's work has significant impact across multiple scientific domains including climate science, neuroscience, and omics research. Her projects demonstrate her commitment to building knowledge-guided systems that transform how scientists conduct research. She has pioneered approaches to capture the provenance of scientific experiments and to automate the analysis of complex scientific data. Fellow of the Association for Computing Machinery (ACM) Fellow of the Association for the Advancement of Science (AAAS) Fellow of the Institute of Electrical and Electronics Engineers (IEEE) Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) 24th President of the Association for the Advancement of Artificial Intelligence Co-chair of the CRA/AAAI 20-Year Artificial Intelligence Research Roadmap for the US Initiator and leader of the W3C Provenance Group that resulted in a widely-used standard for web trust As an educator and leader, Dr. Gil directs the Data Science Program in Computer Science and serves as Co-Director of multiple joint MSc programs including Communication Data Science, Spatial Data Science, Environmental Data Science, Public Policy Data Science, and Healthcare Data Science. She also leads the new dual degree USC-Tsinghua University on Communication Data Science. Her leadership extends to mentoring numerous students and researchers in AI and data science. Through the USC Center for Knowledge-Guided Interdisciplinary Data Science (CKIDS), Dr. Gil organizes DataFest events each semester, fostering collaboration and innovation in data science across disciplines.

Michael U. Gutmannمشاهده پروفایل

مدرس ارشد

• Machine Learning
• Bayesian Inference
• Likelihood-Free Inference
• +۹ مورد دیگر

Michael U. Gutmann is a Senior Lecturer in Machine Learning at the School of Informatics, University of Edinburgh, and a member of the Institute for Adaptive and Neural Computation. His research lies at the intersection of machine learning, statistics, and scientific applications, with a focus on developing inference methods for complex and implicit models. Education: PhD in Computational Neuroscience, University of Tokyo MSc in Engineering and Applied Mathematics, Swiss Federal Institute of Technology (ETH) Zurich MSc, Ecole Centrale Paris His primary research interests include Bayesian inference, likelihood-free inference, optimal experimental design, unsupervised learning, and applications in computational biology and neuroscience. He is best known for introducing Noise-Contrastive Estimation (NCE), a foundational technique for training unnormalized statistical models. His recent work spans variational inference, density ratio estimation, flow models for missing data, and AI-driven experimental design in behavioral and biological sciences. His publications, including in NeurIPS , ICML , JMLR , and eLife , demonstrate a strong emphasis on methodological innovation for scientific discovery. He has contributed to open-source tools such as ELFI (Engine for Likelihood-Free Inference) and developed practical implementations of robust inference algorithms. Scientific Awards: No specific awards listed in the provided texts. Michael Gutmann actively supervises students and collaborates with leading researchers in machine learning and computational biology. He has secured research funding from EPSRC and BBSRC for projects in generative modeling and infectious disease epidemiology. He teaches advanced courses such as Probabilistic Modelling and Reasoning and Data Mining, reflecting his deep engagement with both theoretical and applied aspects of machine learning. Labs and Research Groups: Institute for Adaptive and Neural Computation (ANC), University of Edinburgh Former affiliations with Department of Mathematics and Statistics and Department of Computer Science at the University of Helsinki and Aalto University

Justine Sherryمشاهده پروفایل

استادیار

• Computer Networking
• Networked Systems
• Middleboxes
• +۵ مورد دیگر

Justine Sherry is the A. Nico Habermann Associate Professor of Computer Science at Carnegie Mellon University, affiliated with the College of Engineering. She holds a PhD (2016) and MS (2012) from UC Berkeley and a BS/BA (2010) from the University of Washington. Her research focuses on networked systems, including middleboxes, cloud computing, congestion control, and hardware acceleration (e.g., SmartNICs/FPGAs). Notable projects include Pigasus (open-source 100Gbps IDS), APLOMB (cloud-based middlebox scaling), and BlindBox (encrypted traffic scanning). Her academic roles include serving on the SIGCOMM CARES Committee, DARPA ISAT Study Group, and ACM CoNEXT Steering Committee. Awards include the Alfred P. Sloan Fellowship, VMware Systems Award, and IETF Applied Networking Prize. She advises over 15 students and collaborates with industry partners like Intel and VMware. Research highlights include radical shifts in datacenter architectures (SmartNIC compute control), fairness in congestion algorithms (BBR analysis), and database-proxy innovations (Tigger with eBPF). Her teaching emphasizes systems as science labs, integrating experimental design and hypothesis testing into projects. Education: PhD UC Berkeley (2016), MS UC Berkeley (2012), BS/BA University of Washington (2010) Labs/Teams: CyLab, SNAP Research Group, CMU Portugal Collaboration Grants: NSF, Intel, Google Faculty Awards

Dane Morganمشاهده پروفایل

استاد

• Computational materials science
• Ab initio electronic structure
• Multiscale methods
• +۴ مورد دیگر

Dane Morgan is a Professor in the Department of Materials Science & Engineering at the University of Wisconsin-Madison, College of Engineering. His research focuses on computational materials science for materials design, including ab initio electronic structure modeling, multiscale methods, and machine learning applications in materials discovery. His work spans nuclear materials, battery and fuel cell electrodes, and electronic materials. Education : PhD, 1998, University of California, Berkeley MS, 1994, University of California, Berkeley BA, 1992, Swarthmore College Research Interests : Computational materials science, ab initio methods for electronic structure and thermokinetics, machine learning for materials discovery, electrochemical systems modeling, and applications in nuclear materials, batteries, and electronic materials. His work integrates advanced computational techniques with experimental validation. Scientific Awards : 2024 APL Materials, Editors Pick 2023 Microscopy and Microanalysis Best Paper Award (Instrumentation and Software category) 2023 IEEE Transactions on Plasma Science Best Paper Award 2023 Kellet Mid-Career Award 2015 TMS Materials Genome Initiative Ambassador 2006 3M Technical Nontenured Faculty Grant

Maciej A Mazurowskiمشاهده پروفایل

دانشیار

• Medical Imaging
• Machine Learning
• Computer Vision
• +۳ مورد دیگر

Maciej A Mazurowski is an Associate Professor at Duke University School of Medicine, with dual appointments in the Department of Biostatistics & Bioinformatics and Radiology. He is also affiliated with the Department of Electrical and Computer Engineering and is a member of the Duke Cancer Institute. His research focuses on applying machine learning to medical imaging for improved diagnosis and treatment. Ph.D. in Computer Science from the University of Louisville (2008) Dr. Mazurowski's research emphasizes medical imaging , machine learning , and computer vision applications in radiology. His work includes automated segmentation , domain adaptation , prognostic modeling , and foundation models for MRI/CT analysis. His recent publications highlight trends in universal segmentation models (SegmentAnyBone, SegmentAnyMuscle), foundation models for MRI (MRI-CORE), and AI-driven diagnostic tools for breast cancer, glioblastoma, and thyroid nodules. Key challenges addressed include domain generalization , image harmonization , and ethical considerations in clinical AI. Incubation Award for innovative research commercialization Dr. Mazurowski has secured significant research funding from agencies including the National Institutes of Health , National Institute of Biomedical Imaging and Bioengineering , and American Roentgen Ray Society . His work spans CT segmentation , MRI analysis , and AI-based quality assessment across multiple imaging modalities.

• Artificial Intelligence
• Machine Learning
• AI Alignment
• +۲ مورد دیگر

Michael Riegler is a Researcher at the AI Department, Simula Research Laboratory , focusing on interdisciplinary applications of Artificial Intelligence in healthcare, sports analytics, and multimedia systems. His work bridges Machine Learning , AI Alignment , and Applied AI across clinical and real-world domains. Key Affiliations: Simula Research Laboratory (AI Department Head) Research Themes: Explainable AI in medicine, multimodal data analysis, and AI-driven health monitoring Research Interests include: Developing AI/ML algorithms for medical imaging (e.g., polyp detection, embryo analysis) Addressing missing data challenges in healthcare through novel imputation techniques Creating multimodal virtual avatars for investigative interview training Designing edge AI systems for sports analytics and sustainable fishing Recent Publications highlight collaborations with institutions in Norway and globally, with a focus on: Medical Applications: Polyp segmentation, ECG analysis, and explainable models for disease detection Sports Analytics: Athlete performance prediction and soccer video processing Data Infrastructure: Lifelogging datasets (ScopeSense), semantic representation frameworks Labs & Teams include leadership in Simula’s AI Department and participation in projects like Medico Multimedia Task , ImageCLEF , and MediaEval workshops. His work emphasizes responsible AI innovation in public sectors and privacy-preserving systems for edge environments.

Yuri Bazilevsمشاهده پروفایل

استاد

• Computational Mechanics
• Isogeometric Analysis
• Fluid-Structure Interaction
• +۵ مورد دیگر

Yuri Bazilevs is the E. Paul Sorensen Professor of Engineering at Brown University's School of Engineering and Co-Director of the Mechanics of Undersea Science and Engineering Center. His research focuses on computational mechanics, isogeometric analysis, fluid-structure interaction, and high-performance computing. Prior to Brown, he held positions at UC San Diego, where he advanced to Full Professor in 2014 after a rapid tenure. He earned his PhD in 2006 and postdoc training in computational engineering at UT Austin's ICES. Research interests span computational fluid dynamics, solid mechanics, and advanced discretization methods like isogeometric analysis (IGA) and meshfree approaches. He has developed novel formulations for complex phenomena such as underwater explosions, composite material failure, and hypersonic flow dynamics. His work integrates cutting-edge numerical methods with practical engineering applications in aerospace, energy, and biomedical systems. Recent publications highlight advancements in IGA for architected materials, RKPM-based crack modeling, and stabilized formulations for compressible flows. His contributions bridge theoretical mechanics with computational innovation, addressing challenges in multiphysics coupling and large-scale simulations. Collaborations span academia and industry, emphasizing practical validation and real-world impact. Bazilevs' expertise includes variational multiscale methods, peridynamics for fracture mechanics, and immersive particle methods for fluid-structure interaction. His work has been applied to wind turbine aerodynamics, gas turbine optimization, and cardiovascular flow analysis. He actively contributes to computational infrastructure development, such as the tIGAr software framework for IGA automation.