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

Fei Tengمشاهده پروفایل

دانشیار

• Power Systems
• Cybersecurity
• Renewable Energy Integration
• +۳ مورد دیگر

Dr. Fei Teng is an Associate Professor in the Department of Electrical and Electronic Engineering at Imperial College London and Director of Education at the Energy Futures Lab, a pan-university hub for interdisciplinary energy research. He holds visiting positions at MINES ParisTech, PolyU Hong Kong, and KTH Sweden. His research focuses on software-defined power networks, stability-constrained optimization, cyber-resilient decision-making, and privacy-preserving data exchange in low-inertia grids. Dr. Teng has authored over 100 publications in top-tier journals and conferences, with funding from EPSRC, Innovate UK, the Royal Society, and industry partners like Hitachi and National Grid ESO. His work addresses critical challenges in grid stability, cybersecurity, and renewable energy integration. He has received prestigious awards, including the IEEE Early Career Award and Royal Society Kan Tong Po Fellowship. Research interests include high-penetration power electronics, uncertainty modeling in power systems, and data privacy in smart grids. His interdisciplinary approach integrates machine learning, quantum computing, and cyber-physical systems to enhance grid resilience and efficiency. Key contributions include frameworks for stability-constrained optimization, cyber-resilient control, and synthetic inertia from electric vehicles. He advocates for software-defined grids to revolutionize decision-making frameworks for NetZero systems.

Henrik Sandbergمشاهده پروفایل

استاد

• Cyber-Physical Systems Security
• Power Systems
• Model Reduction
• +۶ مورد دیگر

Henrik Sandberg is a Professor at the Division of Decision and Control Systems , KTH Royal Institute of Technology , Stockholm, Sweden. He holds the title of Deputy Head of Division and is affiliated with the School of Electrical Engineering and Computer Science . Education: MSc in Engineering Physics (1999) PhD in Automatic Control (2004) from Lund University Postdoctoral position at Caltech (pre-2007) Research Interests: Focus on cyber-physical systems security , power systems , model reduction , and fundamental limitations of control systems . Key sub-areas include attack detection , networked control , privacy-preserving estimation , and resilient control architectures . Publications: Over 150 papers across IEEE Transactions and Automatica , covering topics like stealthy attacks , distributed control , LQG optimization , and thermodynamic costs in filtering . Recent work includes LWE-based encrypted control and Bayesian deception mechanisms . Scientific Awards: Best Student Paper Award Finalist at IEEE CASE 2014; Best Student-Paper Award at IEEE CDC 2004. Grants & Projects: Leads the DYNACON project (WASP Cybersec cluster) and collaborates on CERCES (critical infrastructure resilience). Serves as examiner for multiple advanced courses in cybersecurity and control systems. Contact: Email: hsan@kth.se Phone: +46 (0)8 790 7294 Room: A:607, Malvinas Väg 10, Stockholm

Daniel M. Royمشاهده پروفایل

استاد

• Machine Learning
• Statistics
• Probabilistic Programming
• +۷ مورد دیگر

Daniel M. Roy is a Full Professor at the University of Toronto, with cross-appointments in the Department of Computer Science, Department of Statistical Sciences, and Department of Electrical and Computer Engineering. He serves as Research Director at the Vector Institute and holds the CIFAR Canada AI Chair. Research Focus: Foundational principles of prediction, inference, and decision-making under uncertainty across machine learning, statistics, mathematical logic, applied probability, and computer science. Scientific Contributions: Key work in learning theory, statistical network analysis, probabilistic programming, and information-theoretic frameworks for generalization. Awards: ICML 2024 Best Paper Award for "Information Complexity of Stochastic Convex Optimization" and promotion to Full Professor in 2024. Student Advising: Actively mentors Ph.D. candidates and postdoctoral researchers with strong quantitative backgrounds, particularly at the intersection of machine learning, statistics, and computer science. Email: daniel.roy@utoronto.ca

Nina Balcanمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Theoretical Computer Science
• +۱۲ مورد دیگر

Nina Balcan is a Professor at Carnegie Mellon University and holds the Cadence Design Systems Professorship in Computer Science. She is affiliated with the School of Computer Science, specifically the Machine Learning Department (MLD) and Computer Science Department (CSD). Her research spans foundational aspects of machine learning, artificial intelligence, theoretical computer science, algorithmic game theory, and interdisciplinary connections in learning theory. Machine Learning Artificial Intelligence Theoretical Computer Science Algorithmic Game Theory Multi-Agent Systems Data-Driven Algorithm Design Her recent work focuses on advancing algorithm design through machine learning, robustness in adversarial environments, and economic modeling. Key contributions include Learning to Branch (JACM 2024), Regret Minimization in Stackelberg Games (NeurIPS 2024), and Learning Accurate Decision Trees (UAI 2024, Outstanding Student Paper Award). She has pioneered novel approaches to data-driven optimization, semi-supervised learning, and privacy-preserving clustering. Nina has received prestigious accolades including ACM Fellow AAAI Fellow Simons Investigator 2019 ACM Grace Murray Hopper Award Her teaching at CMU includes graduate courses on machine learning, advanced machine learning, and specialized topics like algorithmic game theory.

• Machine Learning
• Artificial Intelligence
• Algorithms
• +۳ مورد دیگر

Zaid Harchaoui is an Adjunct Professor in the Department of Statistics at the University of Washington. His research focuses on machine learning, generative AI, and algorithmic optimization, with applications spanning ecology, neuroscience, and artificial intelligence. He explores learning under distributional shifts and develops tools for scalable generative models in language and vision domains. University: University of Washington Department: Statistics Research Focus: Learning from data with computational, inferential, and mathematical rigor; distributional shift adaptation; generative model scaling Email: zaid@uw.edu His recent work emphasizes generative AI applications in ecology and neuroscience, stochastic optimization for robustness, and algorithmic efficiency in large-scale learning. Key contributions include techniques for distributionally robust optimization, interpretable authorship obfuscation, and uncertainty quantification in behavior classification. Scientific awards and honors are not explicitly mentioned in the provided text. Collaborative efforts often intersect with nonlinear control algorithms, spectral analysis, and privacy-preserving machine learning frameworks.

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

استاد

• AI Security
• Software Engineering
• Programming Languages and Compilers
• +۵ مورد دیگر

Xiangyu Zhang is the Samuel D. Conte Professor of Computer Science at Purdue University. He specializes in AI security, software analysis, and cyber forensics, with a focus on detecting vulnerabilities in traditional software and AI systems. His research includes dynamic slicing, program profiling, and securing AI models against backdoors. He has led projects funded by DARPA, IARPA, NSF, and industry, securing over $13 million in grants. He has mentored 30+ PhD students and postdocs, many of whom hold academic positions or industry roles. His work has been recognized with awards like the ACM SIGPLAN Distinguished Dissertation Award and NSF Career Award. Education: PhD, Computer Science, University of Arizona (2006) MS & BS, Computer Science, University of Science and Technology of China (2000 & 1998) Research Interests: AI Security: backdoor detection, adversarial attacks, model integrity Program Analysis: dynamic slicing, static/dynamic debugging Cyber Forensics: log analysis, attack investigation Software Reliability: fault localization, vulnerability detection Key Projects: DARPA V-SPELLS: domain-specific program analysis IARPA TrojAI: AI backdoor detection competitions NSF-funded research on model debugging and co-reasoning of software/NL artifacts Awards & Recognition: Top performer in IARPA TrojAI competitions (13/18 rounds) ACM SIGPLAN Distinguished Dissertation Award (2006) NSF Career Award (2009) Ranked 8th globally in systems research productivity (2024) Career Contributions: Secured over $13M in research funding Guided 25 PhDs and 8 postdocs Published 89+ top-tier papers (2014–2024)

Dai Zhongxiangمشاهده پروفایل

استادیار

• Large Language Models Inference
• Prompt Optimization
• In-context Learning
• +۵ مورد دیگر

Dai Zhongxiang is an Assistant Professor and Presidential Young Fellow at the School of Data Science, The Chinese University of Hong Kong, Shenzhen (CUHKSZ), where he joined in August 2024. Previously, he was a Postdoctoral Associate at MIT's Laboratory for Information and Decision Systems (January-June 2024) and a Postdoctoral Fellow at the National University of Singapore's Department of Computer Science (April 2021-December 2023). He completed his Ph.D. in Artificial Intelligence at NUS under the supervision of Bryan Kian Hsiang Low and Patrick Jaillet. Dr. Dai's research focuses on the intersection of theoretical and practical AI, with particular emphasis on large language models (LLMs) and optimization techniques. His work spans both theoretical foundations of multi-armed bandits and Bayesian optimization, as well as practical applications in LLM inference, including prompt optimization, in-context learning, personalization of LLMs, LLM-based agents, and scaling up test-time computation of LLMs. His research approach often bridges theoretical principles with real-world applications, particularly in AI4Science problems. His recent publications demonstrate a clear trend toward advancing LLM capabilities through optimization techniques, with increasing focus on practical deployment challenges. The research spans both theoretical contributions to optimization theory and applied work on enhancing LLM performance in real-world scenarios. His work on dueling bandits, neural bandits, and zeroth-order optimization has been consistently published in top-tier venues including NeurIPS, ICML, ICLR, and ACL. Presidential Young Fellow, CUHKSZ (2024) Dean's Graduate Research Excellence Award, NUS (2021) Research Achievement Award × 2, NUS (2019 & 2020) Singapore-MIT Alliance Graduate Fellowship (2017) Dr. Dai actively mentors multiple Ph.D. students and research assistants, with several of his students' papers accepted to top conferences. His research has received significant attention, with invitations to serve as Area Chair for NeurIPS 2025 and ICLR 2025, reflecting his growing influence in the machine learning community. His work bridges theoretical machine learning with practical applications in large-scale AI systems.

Peter Hendersonمشاهده پروفایل

استادیار

• AI safety
• Foundation models
• Law and AI
• +۷ مورد دیگر

Peter Henderson is an Assistant Professor at Princeton University with joint appointments in the Department of Computer Science and the School of Public and International Affairs. He is affiliated with the Center for Information Technology Policy (CITP), Princeton Language and Intelligence Initiative (PLI), Center for Statistics and Machine Learning (CSML), and Program in Law & Public Policy (PLAW). J.D./Ph.D., Stanford University, 2023 M.Sc., McGill University and Montréal Institute for Learning Algorithms Henderson's research focuses on the critical intersection of artificial intelligence and law, with particular emphasis on AI safety, methods to improve reasoning in foundation models, interdisciplinary approaches to law and AI, and AI governance. His work spans language-grounded reinforcement learning, alignment techniques, strategic decision-making in legal contexts, and public interest artificial intelligence. He investigates how legal frameworks can guide the development of AI systems that benefit society while addressing potential harms. Henderson's recent publications reveal a strong trajectory toward addressing the safety, governance, and legal implications of foundation models. His work combines rigorous technical AI research with deep legal analysis, particularly examining how intellectual property law interacts with AI development, regulatory pathways that balance innovation with harm prevention, and the role of law in shaping responsible AI deployment. A significant thread throughout his research is the development of better evaluation methodologies for AI systems, especially in critical domains like law. SEAS Excellence in Teaching Award (2025) Henderson leads the Princeton Law+Language, AI, & Society (POLARIS) Lab, where he advises students and researchers working at the intersection of AI and legal studies. His research has been supported through collaborations with government agencies, including work with the IRS on audit selection algorithms. His findings have informed practical applications in government efficiency and equity, as well as legal system improvements. Henderson runs the POLARIS Lab at Princeton, which focuses on developing AI systems that work for the public interest, particularly in legal contexts. His team develops sequential decision-making systems for government efficiency, foundation models capable of reasoning about law, and improved safety evaluation frameworks for AI systems. The lab maintains strong connections with legal practitioners and policymakers to ensure research has real-world impact.

Virginia Smithمشاهده پروفایل

دانشیار

• Machine Learning
• Optimization
• Distributed Systems
• +۳ مورد دیگر

Virginia Smith is the Leonardo Associate Professor of Machine Learning at Carnegie Mellon University (CMU), with a courtesy appointment in the Department of Electrical and Computer Engineering. She holds a Ph.D. from UC Berkeley and undergraduate degrees from the University of Virginia. Her research focuses on developing efficient, privacy-preserving machine learning systems, particularly in federated learning, distributed optimization, and resource-constrained settings. Key areas include federated learning frameworks like CoCoA and Ditto, unlearning algorithms, and privacy amplification techniques. Smith's work bridges theory and practice, addressing challenges such as data heterogeneity, fairness, and robustness. She has led initiatives like the LEAF benchmark for federated learning and has contributed to open-source tools for scalable ML systems. Her awards include the Sloan Research Fellowship, Samsung AI Researcher of the Year (2023), and an NSF CAREER Award. She is actively involved in curriculum development, teaching courses on federated learning and large-scale ML at CMU. Her research group explores cutting-edge topics like federated optimization with sparse communication, unlearning in LLMs, and secure ML pipelines. Collaborations span academia and industry, with applications in healthcare, IoT systems, and AI safety. Smith serves as Program Chair for ICML 2025 and frequently contributes to workshops on federated learning and trustworthy AI.

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Siân Bayneمشاهده پروفایل

استاد

• Higher Education Futures
• Utopian Studies
• Digital Education
• +۹ مورد دیگر

Professor Siân Bayne is a leading academic in digital education at the University of Edinburgh , where she serves as Assistant Principal for Education Futures and directs the Centre for Research in Digital Education . Her work bridges critical theory and practical innovation in higher education. Interdisciplinary research on digital education and futures studies Leadership in the Edinburgh Futures Institute and Moray House School of Education and Sport Global impact through UNESCO collaborations and UKRI GCRF projects Bayne’s research explores higher education futures , utopian theory , and digital enhancement , with a focus on: AI’s role in teaching and learning Ethical implications of educational technologies Anonymous social media in academic spaces Speculative scenarios for educational systems Global South digital education models Augmented reality applications in assessment Her 15 most recent publications span 2017-2025 , covering critical perspectives on: Generative AI and educational innovation Utopian design in universities Data governance in learning analytics Augmented reality pedagogy Digital cultural heritage Scientific recognition includes: IASH Sabbatical Fellowship (2023) Bayne leads Higher Education Futures initiatives and partners with institutions worldwide, including: UNESCO Global Education and Technology Report World Bank collaborations European university leadership programs She also drives major research centers like: Centre for Research in Digital Education UKRI GCRF Urban Disaster Risk Hub

Giovanni De Micheliمشاهده پروفایل

استاد

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

Sujaya Maiyyaمشاهده پروفایل

استادیار

• Distributed Systems
• Database Systems
• Data Privacy
• +۳ مورد دیگر

Sujaya Maiyya is an Assistant Professor at the Cheriton School of Computer Science, University of Waterloo. Prior to this, she completed a postdoc at Cornell University and earned her PhD from the University of California, Santa Barbara. Her research focuses on distributed systems, databases, and privacy/security, particularly in designing secure and efficient data management systems. She leads projects on oblivious databases, trusted execution environments (TEEs), and scalable privacy-preserving systems. Education: PhD in Computer Science, University of California, Santa Barbara (2018) MSc in Computer Science, University of California, Santa Barbara (2017) BE in Information Science, PESIT Bangalore (2014) Research Interests: Distributed systems, database privacy, oblivious datastores, genomics data security, and secure computation using TEEs. Her work emphasizes practical solutions for privacy-preserving storage and query processing, including tunable-privacy mechanisms and fault-tolerant ORAM systems. Awards and Grants: CFI/ORF Infrastructure Grant (2024-2029) NCC Research Awards (2024-2028) NSERC Discovery Grant (2023-2027) MIT EECS Rising Stars (2021) Teaching: Courses include CS348 (Introduction to Databases) and CS848 (Privacy Enhancing Data Systems). She emphasizes foundational concepts and system internals in database design and secure systems. Professional Service: Chair of Ontario Database Day (2024), PC member for SIGMOD, EDBT, VLDB, and ICDE. Frequent reviewer for journals like TKDE and DKE.

Sheila McIlraithمشاهده پروفایل

استاد

• Artificial Intelligence
• AI Safety
• AI Alignment
• +۹ مورد دیگر

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

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.