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

Dawn Songمشاهده پروفایل

استاد

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

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Greg Durrettمشاهده پروفایل

دانشیار

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

Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .

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)

Harris H. Wangمشاهده پروفایل

دانشیار

• Systems Biology
• Synthetic Biology
• Genome Engineering
• +۱۷ مورد دیگر

Harris H. Wang is an Associate Professor in the Department of Systems Biology and Department of Pathology and Cell Biology at Columbia University's Vagelos College of Physicians and Surgeons, where he also serves as Interim Chair of Systems Biology. He is affiliated with the Center for Computational Biology and Bioinformatics (C2B2) and the Integrated Program in Cellular, Molecular and Biomedical Studies (CMBS). B.S., Physics and Mathematics, MIT Ph.D., Biophysics, Harvard University Dr. Wang's research lies at the intersection of systems and synthetic biology, focusing on developing foundational technologies for genome engineering, microbiome manipulation, and synthetic genomics. His lab pioneers methods such as MAGE, MAGIC, CAST, and CAMII to enable high-throughput genetic manipulation, in situ microbiome engineering, and AI-driven microbial culturomics. Key research themes include understanding microbial community dynamics, engineering cellular memory systems, designing biocontained genetic circuits, and applying synthetic biology to human health challenges in personalized medicine and infectious disease. His recent publications reveal a strong trend in spatial and functional metagenomics, CRISPR-based microbiome editing, and synthetic biology tools for data storage and genetic stability. The articles span high-impact journals like Nature , Science , and Nature Biotechnology , reflecting his leadership in developing scalable, programmable biological systems. Scientific Awards: NIH Director’s Early Independence Award Forbes 30 Under 30 in Science Sloan Research Fellowship NSF CAREER Award ONR Young Investigator Award Burroughs Wellcome Fund PATH Award Schaefer Scholar Blavatnik National Award Vilcek Prize PECASE Dr. Wang has advised numerous PhD and postdoctoral researchers, many of whom have gone on to independent scientific careers. His lab is supported by major grants from NIH, NSF, DARPA, DOE, and foundations including the Bill & Melinda Gates Foundation and CZ Biohub NY. He is actively involved in educational initiatives, including organizing Columbia’s iGEM team and the Cold Spring Harbor Laboratory Synthetic Biology course. The Wang Lab is based at the Columbia University Irving Medical Center and is part of national consortia such as the Engineering Biology Research Consortium (EBRC) and the Genome Project-Write (GP-Write) initiative. The lab develops and applies cutting-edge technologies in automation, machine learning, and synthetic biology to engineer microbiomes for applications in medicine, global health, and climate change.

Olga Sorkine-Hornungمشاهده پروفایل

استاد

• Digital Content Creation
• Geometry Processing
• Shape Representation and Editing
• +۵ مورد دیگر

Olga Sorkine-Hornung is a Professor of Computer Science at ETH Zurich and head of the Institute of Visual Computing. She leads the Interactive Geometry Lab, focusing on theoretical and practical advancements in digital content creation, geometry processing, and shape modeling. Current position: ETH Zurich, Department of Computer Science Previous roles: Courant Institute (NYU), Technical University of Berlin Education: BSc and PhD from Tel Aviv University, postdoc at TU Berlin Her research spans shape representation, digital fabrication, computer animation, and fundamental geometry processing. Key contributions include Laplacian surface editing, as-rigid-as-possible deformation, and generalized winding numbers. She works on applications in VR, AR, and autonomous systems. Awards include Test of Time Awards (2024), ACM Fellow (2020), ERC Consolidator Grant (2020), and EUROGRAPHICS Young Researcher Award (2008). She has supervised numerous students and co-developed software libraries like libigl and Instant Meshes . Co-chair roles for SIGGRAPH, Eurographics, and Pacific Graphics Editorial board member for ACM Transactions on Graphics and other journals Keynote speaker at VMV, CVPR, and SIAM conferences Her work bridges mathematical rigor with practical implementation, advancing computer graphics and geometry processing through intuitive algorithms that maintain surface detail while enabling efficient computation.

Gianluca Iaccarinoمشاهده پروفایل

استاد

• Scientific Computing
• Uncertainty Quantification
• Turbulence Modeling
• +۶ مورد دیگر

Gianluca Iaccarino is a Professor of Mechanical Engineering at Stanford University and the Robert Bosch Chairholder. He serves as Director of the PSAAP Center and leads large-scale computational research initiatives in uncertainty quantification, exascale computing, and multiphysics simulations. His academic journey includes a PhD in Mechanical Engineering from Politecnico di Bari (2005), postdoctoral work at Stanford's Center for Turbulence Research, and progression from Research Engineer to full Professor. Education : PhD (Politecnico di Bari), MS/BS in Aeronautical Engineering (University of Naples) Research : Computational engineering, turbulence modeling, uncertainty quantification, biomedical fluid dynamics, and exascale-ready algorithms Publications : 15+ recent articles focus on turbulence modeling, data-driven simulations, and uncertainty quantification across diverse applications in aerospace, biomedical, and energy systems Awards : PECASE (2010), APS Fellow (2019), multiple best paper awards (AIAA, ASME), Terman Fellow (2007) Students : Advises doctoral and master's students in mechanical engineering and computational methods Leadership : Director of PSAAP Center (2014-present), Chair of Mechanical Engineering Department (2024-present)

Han Liuمشاهده پروفایل

استاد

• Artificial Intelligence
• Computer Systems
• Statistical Machine Learning
• +۴ مورد دیگر

Han Liu is a Professor in the Department of Computer Science at Northwestern University's McCormick School of Engineering. He directs the MAGICS (Modern Artificial General Intelligible and Computer Systems) Lab and the Center for Foundation Models and Generative AI at Northwestern, with prior roles as director of the Deep Reinforcement Learning Center at Tencent AI Lab and professor at Princeton and Johns Hopkins Universities. PhD in Machine Learning and Statistics from Carnegie Mellon University (2012), advised by John Lafferty and Larry Wasserman Han Liu's research focuses on integrating artificial intelligence with computer systems, particularly through foundation models and probabilistic graphical models. His work aims to revolutionize science, engineering, and business by deploying statistical machine learning methods in edge and cloud computing environments. Recent research trends include transformer-based models, modern Hopfield networks, genomic foundation models, and theoretical analysis of attention mechanisms. His 2025 publications explore topics like species differentiation with DNA embeddings, universal approximation capabilities of transformers, and metaverse spatial reasoning. Alfred P Sloan Fellowship in Mathematics IMS Tweedie New Researcher Award ASA Noether Young Scholar Award NSF CAREER Award Presidential Early Career Awards for Scientists and Engineers Han Liu serves as associate editor for the Journal of American Statistical Association, Electronic Journal of Statistics, Technometrics, and the Journal of Portfolio Management. He has directed research centers at Northwestern and contributed to major conferences as area chair (NeurIPS, ICML, ICLR).

• Operations Research
• Machine Learning
• Optimization under Uncertainty
• +۴ مورد دیگر

Minseok Ryu is an Assistant Professor at the School of Computing and Augmented Intelligence, Arizona State University (ASU). He holds a Ph.D. in Industrial & Operations Engineering from the University of Michigan (2020). Prior to ASU, he was a postdoctoral appointee at Argonne National Laboratory’s Mathematics and Computer Science Division. His research focuses on optimization methodologies for decentralized and stochastic decision-making distributed algorithms for machine learning and operations research applications in healthcare systems and energy grids Teaching responsibilities include courses on applied deterministic operations research (IEE 574), optimization (IEE 622), and research practicums (IEE 792). His work emphasizes computational challenges in decision-making under uncertainty, with recent projects addressing nurse staffing optimization, federated learning frameworks (e.g., APPFL/APPFLX), and resilient power grid systems. He has no recorded academic awards but actively contributes to open-source software and cross-disciplinary research collaborations. Research interests bridge theory and practice, targeting social goods through optimization techniques like distributionally robust optimization, federated learning, and heuristic algorithms for energy and healthcare systems.

• Educational Technology
• Informatics Education
• Programming Pedagogy
• +۳ مورد دیگر

Snježana Babić serves as Associate Professor and Head of the Graduate Study Program Informatics - Teaching Major at the Faculty of Informatics in Pula , University of Pula. With a PhD obtained in 2016 and university affiliation since 2017, she teaches across undergraduate and graduate programs focusing on ICT fundamentals, web design, digital competencies, and informatics education methodology. Her educational background includes graduation in 1993 followed by doctoral studies culminating in 2016. Though specific institutions aren't detailed in the text, her career trajectory shows progression from foundational ICT teaching to specialized informatics education leadership. Babić's research centers on educational technology adoption with particular emphasis on programming pedagogy for young learners through the MEMA method. Her work investigates digital competencies across multiple educational contexts, from primary schools to higher education. Recent publications demonstrate rapid adaptation to emerging technologies, with 2025 studies examining ChatGPT integration in Croatian educational settings and cross-cultural applications of programming methods. Analysis of her 15 most recent publications reveals consistent focus on technology acceptance models applied to Croatian educators and students. The research trajectory shows evolution from foundational e-learning systems (2016-2020) to cutting-edge AI and robotics applications (2022-2025), maintaining strong methodological focus on teacher motivation , implementation barriers , and culturally-specific adoption factors . Her teaching portfolio demonstrates deep integration with research interests: Undergraduate: ICT Fundamentals, Web Design and Application Graduate: Digital Competencies in Education, Informatics Education Methodology, Practicum for IT Educators Cross-disciplinary: ICT in Nursing, Healthcare Informatics Babić actively contributes to institutional leadership as program head while maintaining robust research productivity. Her work bridges theoretical technology adoption frameworks with practical implementation challenges in Croatian educational contexts, particularly examining how emerging technologies like humanoid robots and AI assistants can be effectively integrated into teaching practices.

Andrea Coladangeloمشاهده پروفایل

استادیار

• Quantum Computation
• Quantum Cryptography
• Quantum Learning Theory
• +۳ مورد دیگر

Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Martin T. Wellsمشاهده پروفایل

استاد

• Applied Statistics
• Theoretical Statistics
• Bayesian Statistics
• +۷ مورد دیگر

Martin T. Wells is the Charles A. Alexander Professor of Statistical Sciences at Cornell University, with joint appointments in the Department of Statistical Science, Department of Biological Statistics and Computational Biology, Department of Social Statistics, and as Professor of Clinical Epidemiology and Health Services Research at Weill Medical School. He serves as Editor-in-Chief of the ASA-SIAM Book Series and Co-Editor of the Journal of Empirical Legal Studies. Cornell University, Ithaca, NY Weill Cornell Medical College Research Interests span applied and theoretical statistics, Bayesian methods, biostatistics, clinical epidemiology, and computational biology. His work bridges disciplines like finance, legal studies, and health services research. Article Trends highlight advancements in Bayesian modeling, quantum cognition machine learning, tensor analysis, and misclassification correction, with applications in genomics, finance, and public health. Fellow of the American Statistical Association Fellow of the Royal Statistical Society Contributions include developing statistical software (e.g., rTensor), methodological innovations in clinical trials, and empirical legal studies on civil rights and the death penalty.

• Uncertainty Reasoning and Decision Making in Artificial Intelligence
• Electronic Business
• Systems Analysis and Design
• +۷ مورد دیگر

Liping Liu is a Professor in the Department of Management at The University of Akron's College of Business. He holds a Ph.D. in Business from the University of Kansas (1995), Master of Engineering in Systems Engineering (1991), and dual bachelor's degrees in Applied Mathematics (1986) and River Dynamics (1987). Ph.D., University of Kansas MS, Huazhong University of Science and Technology B.E., Wuhan University BS, Huazhong University of Science and Technology His research spans Artificial Intelligence , Electronic Business , Systems Analysis , Data Quality , and Belief Function Theory . He pioneered coarse utility theory and linear belief functions , now taught in top Ph.D. programs across multiple disciplines. Key trends in his publications include Belief Function Applications (2012-2024), Medical Data Systems (2003-2015), and Decision Theory (2004-2014). Recent works focus on Gamma Belief Functions (2024) and computational improvements in linear belief function operations (2019-2016). Scientific contributions recognized via: Microsoft Azure Educator Grant (2014-2016) Inclusion in Who's Who in America (2010-2013) and Who's Who in the World (2011-2013) As an editor and committee member for major conferences (INFORMS, AMCIS, Belief Functions conferences), he bridges academic research with practical systems implementation in e-business and healthcare domains.

Joel Gohمشاهده پروفایل

دانشیار

• Health services and systems
• Transportation, logistics and supply chains
• Operations research
• +۶ مورد دیگر

Joel Goh is Associate Professor at the Department of Analytics and Operations, NUS Business School, National University of Singapore. He serves as Director of the J.Y. Pillay Comparative Asia Research Centre (under NUS Global Asia Institute) and PhD Program Director at the Institute of Operations Research and Analytics (IORA). Previously, he was Assistant Professor at Harvard Business School (2014-2017) and Visiting Scholar (2017-2022). BSc, MSc, PhD in Operations, Information, and Technology from Stanford University His research focuses on healthcare analytics (preventing health conditions, hospital operations, frailty assessment), supply chain analytics (digital business models, platform leakage), and service platform operations (hospital-at-home programs, incentive design). He co-created the Robust Optimization Made Easy (ROME) software. Recent publications analyze workplace psychological safety (2024), hospital-at-home models (2024), and platform leakage dynamics (2023). His work spans 18+ journals with 740+ citations for burnout cost studies (2022) and 606+ citations for physician well-being research (2017). Teaching Honors : 2023: Best MBA Teaching & Skinner Innovation Award 2021: NUS Annual Teaching Excellence Award 2020: Early Career Research Excellence Award & 40 Under 40 Best MBA Professors Advising & Grants : Served as PhD Program Director. Received NUS Start-Up Grant R-314-000-110-133 (2021) and Humanities & Social Sciences Fellowship (2021). Editorial roles include Associate Editor at Management Science , Manufacturing & Service Operations Management , and Senior Editor at Production and Operations Management .

• Learning Sciences
• Technology-Enhanced Learning
• Collaborative Learning
• +۴ مورد دیگر

Professor Nancy W. Y. Law is a leading scholar in Learning Sciences and Technology at the University of Hong Kong's Faculty of Education . She has served as Founding Director of the Centre for Information Technology in Education (CITE) (1998-2013) and currently holds the Chair of Learning Sciences and Technology . Her career spans over 25 years of international comparative studies, policy analysis, and large-scale educational innovation. Current roles: Associate Dean (Strategic Development), HKU Key affiliations: Sciences of Learning Strategic Research Theme (co-convener) Research Expertise Her work focuses on technology-enhanced learning , digital literacy , knowledge building communities , and multilevel educational change . She pioneered network models of teacher innovation and socio-technical frameworks for sustainable pedagogical transformation, particularly in STEM education and Cyberbullying prevention . Scientific Leadership With over 25 major research grants (2000-2023) exceeding HK$50 million, she leads projects like: Learning and Assessment for Digital Citizenship Jockey Club Self-directed Learning in STEM Design-Aware Learning Analytics A Fellow of the International Society of Learning Sciences and recipient of the HKSAR Humanities and Social Sciences Prestigious Fellowship , she has supervised numerous international comparative studies including SITES 2006, ICILS 2013, and longitudinal digital citizenship research (2019-2021).