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

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.

Wei Xuمشاهده پروفایل

دانشیار

• Large Language Models
• Natural Language Processing
• Machine Learning
• +۶ مورد دیگر

Wei Xu is an Associate Professor at Georgia Institute of Technology's College of Computing and School of Interactive Computing, with affiliations to the Machine Learning Center. Their research bridges machine learning, natural language processing, and social media with focus areas in large language models, cultural bias mitigation, multilingual capabilities, and human-AI collaboration in text evaluation. NSF CAREER and Google Academic Research Award recipient Director of NLP X Lab PhD from New York University, BSMS from Tsinghua University Research interests span: Multilingual Multicultural LLMs addressing representational gaps and cultural adaptation in language models (NAACL 2025, ACL 2024); Robustness and Reasoning through dynamic AGI evaluations (ACL 2024, EMNLP 2024); Interdisciplinary NLP applications in security, healthcare, and law (EMNLP 2024, ACL 2024). Recent publications focus on multilingual alignment (NAACL 2025), privacy risk estimation (arXiv 2025), cultural bias analysis (ACL 2024), and medical text simplification (EMNLP 2024). Key themes include bias mitigation, multimodal processing, and practical LLM evaluation. Scientific Awards : NSF CAREER, Google/Sony/Criteo research awards, ACL'24 Best Social Impact Award, COLING'18 Best Paper Advising 15 PhD/MS/BSMS students including Yao Dou (human-centered LLM evaluation), Tarek Naous (multilingual LLMs), and alumni like Chao Jiang (Apple AI/ML) and Yang Chen (NVIDIA research scientist). Teaches graduate courses on NLP and LLMs.

Tianqi Chenمشاهده پروفایل

استادیار

• Machine Learning
• Deep Learning Systems
• Compiler Optimization
• +۶ مورد دیگر

Tianqi Chen is an Assistant Professor at the Machine Learning Department and Computer Science Department of Carnegie Mellon University (CMU), with a courtesy appointment as a Professor in the Electrical and Computer Engineering Department within the College of Engineering. His research focuses on scalable machine learning systems, compiler optimization, and efficient deep learning frameworks. He holds a PhD from the Paul G. Allen School of Computer Science & Engineering at the University of Washington. Key contributions include the creation of XGBoost, Apache TVM, and MLC-LLM—widely adopted systems for machine learning and large language models. His work bridges algorithmic innovation with high-performance computing, emphasizing efficient deployment, quantization, and edge computing. Recent publications highlight advancements in LLM serving (e.g., WebLLM, Flashinfer), compiler-driven optimizations (e.g., TVM, Relax), and low-latency inference techniques (e.g., Magicdec, Tilus). These efforts address scalability, energy efficiency, and cross-platform compatibility in modern AI systems. Chen’s research has been applied to diverse domains, including music AI, browser-based inference, and microservice architectures for LLMs. His work underscores the importance of system-level thinking in advancing AI capabilities.

Roland Büchiمشاهده پروفایل

استاد

• Control Systems Engineering
• Robotics
• Artificial Intelligence
• +۴ مورد دیگر

Prof. Dr. Roland Büchi is a Professor at the School of Engineering, Zurich University of Applied Sciences (ZHAW), specializing in control systems engineering and applied AI. His affiliation includes leadership roles in research projects such as the ongoing 'Digital Bridge to Computer Science' initiative. With a career spanning decades, he maintains active research output and industrial collaborations. Research Interests: Büchi focuses on control systems optimization , particularly PID controller tuning using AI methods, system identification, and applications in robotics and drone technology. His work bridges theoretical control theory with practical implementations in mechatronics. Recent efforts explore machine learning for hysteresis modeling and swarm optimization for control systems. Publication Trends: His 15 most recent works (2018-2024) emphasize AI-driven control optimization , drone technology advancements, and engineering education. Dominant themes include PID parameter tuning for time-delayed systems, drone telemetry, and adaptive learning algorithms. A notable shift toward AI/ML applications in control engineering emerged post-2020. Labs and Teams: Büchi collaborates with researchers like Lukas Gruber and has historical ties to ETH Zurich’s robotics projects. His work involves experimental validation at ZHAW’s engineering facilities, with patents in turbocharger magnetic bearing systems.

Huan Zhangمشاهده پروفایل

استادیار

• Trustworthy Machine Learning
• Formal Verification of Machine Learning
• AI Safety
• +۴ مورد دیگر

Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.

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

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

Blase Urمشاهده پروفایل

دانشیار

• Computer Security
• Privacy
• Human-Computer Interaction (HCI)
• +۴ مورد دیگر

Blase Ur is an Associate Professor of Computer Science at the University of Chicago, leading the UChicago SUPERgroup (Security, Usability, & Privacy Education & Research group). His research focuses on data-driven methods to improve online security, privacy, and usability of complex systems. He holds a PhD from Carnegie Mellon University and an AB from Harvard University. Education: PhD in Societal Computing, Carnegie Mellon University (2016) AB in Computer Science, Harvard University Research Interests: Blase's work spans computer security, privacy, HCI, and ethical AI. He develops tools like password meters, privacy transparency systems, and IoT security solutions. His SUPERgroup emphasizes interdisciplinary collaboration, with projects addressing data-driven decision-making and usability challenges in AI and IoT. Articles Trends: Recent work includes studies on ad transparency systems, user perceptions of privacy in AI, and barriers to passwordless authentication. Research often combines empirical user studies with technical implementations to bridge gaps between security mechanisms and user needs. Awards: NSF CAREER Award (2021) Quantrell Award for Teaching (2021) SIGCHI Outstanding Dissertation Award (2018) Advising & Grants: Advisor to PhD students like Kevin Bryson. Secured grants from NSF, Mozilla, and Meta. Active in outreach to broaden CS participation, including K-12 programs. Labs & Teams: Co-director of the SUPERgroup and affiliated with the Systems Group and CERES Center for Unstoppable Computing at UChicago.

Mathieu Salzmannمشاهده پروفایل

عضو هیئت علمی

• Computer Vision
• Machine Learning
• Deep Learning
• +۷ مورد دیگر

Mathieu Salzmann is a Senior Scientist and Lecturer at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Computer Vision Laboratory (CVLAB) in the School of Computer and Communication Sciences (IC). He also holds a courtesy appointment with the EPFL College of Humanities and serves as Deputy Chief Data Scientist at the Swiss Data Science Center (SDSC). He has held concurrent roles in teaching units including SIN, SODH, and SSC, reflecting his interdisciplinary engagement. His research focuses on the intersection of machine learning and computer vision, particularly in deep learning for 2D and 3D visual scene understanding, efficient and robust models, domain adaptation, and interpretable AI. These interests are evident across his extensive publication record in top-tier venues. His recent publications (2023–2024) show a consistent trend in advancing deep learning methods for visual recognition, with strong representation at CVPR, ICCV, ECCV, ICML, ICLR, and NeurIPS. Topics include domain generalization, 3D understanding, model robustness, and multimodal learning, often with applications in real-world systems. His editorial roles as Associate Editor for IEEE TPAMI and Action Editor for TMLR further highlight his leadership in the field. Area Chair: ICML 2023, CVPR 2023, ICCV 2023, NeurIPS 2023, AAAI 2024, ECCV 2024 Associate Editor: IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI) Action Editor: Transactions on Machine Learning Research (TMLR) Mathieu Salzmann has supervised numerous PhD students at EPFL, both current and past, including Bouquet Yann Yanis, Javed Saqib, Li Shuangqi, and others. He has also been involved in research grants and collaborative projects, such as his work with S. Süsstrunk and R. Baroni on comics reconfiguration. His part-time role as Senior GNC Engineer at ClearSpace (2020–2024) illustrates his applied research engagement in aerospace systems. He is actively involved in EPFL’s data science and AI research ecosystem through SDSC and multiple labs.

Jiaxuan Youمشاهده پروفایل

استادیار

• Graph Neural Networks
• Relational Data
• Machine Learning Systems
• +۹ مورد دیگر

Jiaxuan You is an Assistant Professor at the Siebel School of Computing and Data Science, University of Illinois at Urbana-Champaign, leading the U Lab focused on achieving Artificial General Intelligence (AGI) in digital environments. His research spans graph neural networks (GNNs), relational data, foundation models, and machine learning systems. PhD and MS in Computer Science from Stanford University (2021) Developed GraphGym and PyTorch Geometric (PyG) for graph learning Core member at Kumo AI (2021-2023) His research explores: Graph-enhanced LLMs: Integrating relational structures into foundation models AGI Development: Self-optimizing AI agents and tool utilization ML Systems: Scalable architectures and redundancy-free computation Interdisciplinary Applications: Financial networks, crop yield prediction, and metro systems Recent publications focus on temporal reasoning, multi-agent dynamics, and hybrid architectures for LLMs. He actively develops open-source tools like DBGYM and GraphRouter. Scientific recognition includes: JPMC PhD Fellowship Baidu Scholarship Best Student Paper at AAAI 2017 World Bank Big Data Innovation Challenge winner He mentors PhD and intern students, emphasizing machine learning systems expertise. His lab collaborates on AGI workshops (e.g., ICLR 2024) and industry projects.

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

استاد

• Machine Learning
• Bayesian Optimization
• Gaussian Processes
• +۳ مورد دیگر

Michael A Osborne is Professor of Machine Learning at the University of Oxford and leads the Bayesian Exploration Lab . He serves as Director of the EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and Systems and co-directs the Oxford Martin AI Governance Initiative. His research focuses on Bayesian optimization, Gaussian processes, and probabilistic numerics with applications in quantum devices, battery modeling, and AI governance. Key Positions: Professor of Machine Learning, University of Oxford Official Fellow, Exeter College Co-founder of Mind Foundry Lead Researcher, Oxford Martin Programme on Technology and Employment Research Themes: Probabilistic modeling for quantum systems Uncertainty quantification in energy storage AI safety and societal impact analysis Automated experimental design Quantum device calibration Probabilistic numerical methods Technical Contributions: Bridging reality gap in quantum devices Efficient Bayesian quadrature techniques Personalized neurostimulation algorithms Automated measurement protocols Quantum-classical hybrid ML

Kenneth P. Birmanمشاهده پروفایل

استاد

• Distributed Systems
• Cloud Computing
• Machine Learning Systems
• +۵ مورد دیگر

Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.

Pascal Poupartمشاهده پروفایل

استاد

• Reinforcement Learning
• Probabilistic Models
• Natural Language Processing
• +۳ مورد دیگر

Pascal Poupart is a Professor and Canada CIFAR AI Chair at the Vector Institute, affiliated with the David R. Cheriton School of Computer Science at the University of Waterloo. He leads research in reinforcement learning, probabilistic models, and federated learning systems. Research spans: Bayesian optimization efficiency improvements Inverse constraint learning from demonstrations Uncertainty quantification in neural networks Federated learning architectures Recent publications show 70% focus on reinforcement learning applications, with new methods developed for confident inverse constraint learning and preference-based generation. Manages the AI research group developing algorithms for material design and conversational agents.

• Business Process Management
• Process Mining
• Software Engineering
• +۳ مورد دیگر

Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.

Manolis Savvaمشاهده پروفایل

دانشیار

• Computer Graphics
• Computer Vision
• Robotics
• +۴ مورد دیگر

Roles & Affiliations: Manolis Savva is an Associate Professor at Simon Fraser University's School of Computing Science and holds a Canada Research Chair in Computer Graphics. He leads research in 3D scene understanding, with applications in graphics, vision, and robotics. Previously, he was a researcher at Facebook AI and Princeton University. Education: Ph.D. in Computer Science (2016), Stanford University, advised by Pat Hanrahan B.A. in Physics and Computer Science (2009), Cornell University Research Interests: His work focuses on analyzing, organizing, and generating 3D content, particularly for holistic scene understanding. Key areas include articulated objects, embodied AI, and datasets like ScanNet , Matterport3D , and Habitat . His methods drive applications in robotics, autonomous agents, and virtual environments. Publications Trends: Recent work emphasizes generative models (e.g., SINGAPO for articulated object parts), embodied AI benchmarks (Habitat), and multimodal scene analysis. His papers often address challenges in scalability, realism, and cross-modal fusion for 3D environments. Awards: CHCCS Early Career Researcher Award (2022) ICLR 2023 Outstanding Paper Award ICCV 2019 Best Paper Nomination (Habitat) Advising & Grants: Supervised over 15 graduate students, many advancing to top PhD programs and tech companies. Active in grants for embodied AI, scene understanding, and robotics. Labs/Teams: Leads the 3DLG (3D Learning Group) and GrUVi (Graphics and Vision) groups at SFU. Collaborates extensively with industry (e.g., Meta, NVIDIA) on AI-driven 3D research.

Giuseppe Atenieseمشاهده پروفایل

استاد

• Cybersecurity
• Blockchain Technology
• Applied Cryptography
• +۴ مورد دیگر

Giuseppe Ateniese is a Professor and Eminent Scholar in Cybersecurity at George Mason University, affiliated with the Department of Computer Science and Cyber Security Engineering. Formerly, he held the Farber Endowed Chair and chaired the Department of Computer Science at Stevens Institute of Technology. His research focuses on cloud security, applied cryptography, blockchain technology, and AI-driven cybersecurity solutions. He has received prestigious awards including the NSF CAREER Award and Google/IBM Faculty Awards. AIFurther, he teaches courses on blockchains, cryptography fundamentals, and cryptofinance. His work includes pioneering contributions to rewritable blockchains, password cracking via AI (e.g., PassGAN), and secure decentralized systems. Education: PhD in Computer Science, University of Genoa (2000) Laurea (M.Sc.), University of Salerno (1995) Master of Engineering (Honoris Causa), Stevens Institute of Technology (2020) Research Interests: Ateniese’s work bridges theoretical and applied cryptography, with emphasis on blockchain scalability, privacy-preserving machine learning, and secure data storage. He has developed foundational techniques like proxy re-cryptography and accountable storage systems. His recent efforts address AI’s dual role as both a cybersecurity tool and threat vector, including AI-based password cracking and defense strategies against LLM-driven attacks. Awards: NSF CAREER Award (for privacy/security research) Google Faculty Research Award (cloud security) IBM Faculty Award IEEE CISTC Technical Recognition Award Teaching & Labs: He teaches advanced courses on blockchains (CS695), cryptography fundamentals (CYSE/ECE476), and introductory cryptography (CS487/587). His research team focuses on cryptographic protocols, decentralized systems, and AI-security intersections. Collaborations include projects with Accenture on editable blockchain prototypes and NSF-funded work on password security.