Find Academic Supervisors

Kimia Zamiri Azar serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, focusing on hardware security and verification methodologies. Her research bridges theoretical formal methods with practical security implementations in semiconductor design and testing. Her educational background includes: Ph.D. in Electrical and Computer Engineering, George Mason University (2021) Postdoctoral Research, University of Florida Dr. Azar's research spans hardware security with emphasis on system-level verification, VLSI design-for-trust, and advanced IC testing. She pioneers techniques in logic locking, secure heterogeneous integration, and IC supply chain security, developing frameworks for authenticated encryption in Systems-in-Package and runtime security monitoring. Her work integrates formal verification with innovative testing methodologies to address hardware trust challenges across the semiconductor lifecycle. Analysis of her recent publications reveals two dominant trends: (1) Application of large language models (LLMs) to hardware design tasks including high-level synthesis code generation and RTL optimization, and (2) Advancement of secure heterogeneous integration techniques for System-in-Package architectures with focus on counterfeit prevention and split-test security protocols. These directions address critical gaps in hardware trustworthiness amid increasingly complex semiconductor supply chains. Her scientific contributions have earned significant recognition: Best Paper Award at ICCAD 2019 Best Paper Award at ISVLSI 2020 Best Paper Award at ICCAD 2020 Best Paper Award at IEEE DCAS 2020 Best Paper Award at HOST 2022 Best Paper Award at DATE 2023 Dr. Azar secures substantial research funding from premier agencies including NSF, SRC, DARPA, AFRL, DoD (NG), and Microsemi. Her grants support projects spanning hardware security validation frameworks, secure heterogeneous integration, and AI-augmented verification methodologies. She actively mentors students in her research group, guiding publications in top venues like IEEE D&T, IEEE TC, and DAC while fostering industry-academic collaborations. Her work directly impacts semiconductor security standards through patented innovations and open-source verification tools. As an active IEEE and ACM member, she contributes to community advancement through conference organization (HOST, DATE), journal editorial roles, and workshop leadership on hardware security standards. Her research group collaborates with semiconductor industry leaders to translate theoretical security frameworks into practical design-for-trust methodologies for next-generation integrated circuits.

• Hardware Security
• Verification Formal Methods
• Advanced VLSI Testing
• +3 more

Dr. Tao Shu is an Associate Professor in the Department of Computer Science and Software Engineering at Auburn University. His research focuses on cybersecurity, wireless communication systems, federated learning, and IoT applications. He holds a Ph.D. in Electrical and Computer Engineering from the University of Arizona, and M.S. and B.S. degrees in Electronic Engineering from South China University of Technology. Dr. Shu's work emphasizes secure communication and distributed learning systems, including projects funded by the NSF such as a novel method to prevent cyberattacks on Low Earth Orbit (LEO) satellites. He has been recognized for academic excellence, including being named to Auburn University’s 2020 promotion and tenure list. His research interests span cybersecurity mechanisms for autonomous vehicles, privacy-preserving federated learning, and resource allocation in metaverse environments. He explores innovative solutions for sensor spoofing detection, adversarial machine learning, and energy-efficient IoT systems. Dr. Shu is affiliated with Auburn’s Center for Artificial Intelligence and Cybersecurity Engineering and actively contributes to interdisciplinary projects. His publications reflect a strong focus on practical applications of theoretical advancements in wireless systems and secure data transmission.

• Cybersecurity
• Wireless Communication
• Federated Learning
• +3 more

David Churchill is an Associate Professor in the Department of Computer Science at Memorial University of Newfoundland (MUN), specializing in Artificial Intelligence and Real-Time Strategy (RTS) Game AI. He holds a PhD from the University of Alberta and has been actively involved in AI research since 2009. His work focuses on AI for RTS games like StarCraft, emphasizing heuristic search, combat simulation, and build order optimization. He organizes the annual AIIDE StarCraft AI Competition and maintains open-source projects like UAlbertaBot and SparCraft. Education: BSc in Pure Mathematics and Computer Science (MUN) MSc in Computer Science (MUN, 2009) PhD in Computing Science (University of Alberta, 2016) Research Interests: AI in video games, heuristic search algorithms, RTS game strategies, multi-agent systems, and robotics. His work bridges theoretical AI with practical applications in competitive gaming and robotics. Publications & Awards: Notable contributions include Search Ordering for StarCraft Build Order Optimization (2024) and Hierarchical Portfolio Search in Prismata (2017, Best Student Paper Award). His research has advanced combat simulation (SparCraft) and build-order planning (BOSS) in RTS games. Awards: Best Student Paper Award (2017) Best Paper Award (2013, 2022) Advising & Labs: Supervised over 20 graduate and undergraduate theses at MUN. Leads the StarCraft AI Competition and contributes to open-source projects like UAlbertaBot and STARTcraft. Currently not accepting new graduate students due to funding constraints.

• Artificial Intelligence
• Real-Time Strategy Games
• Game Design
• +5 more

Yanhua Li is an Associate Professor in the Computer Science Department and Data Science Program at Worcester Polytechnic Institute (WPI), where he has served since 2021 (previously as Assistant Professor from 2015-2021). He is also an affiliated researcher at UMass Transportation Center (UMTC). His educational background includes dual PhDs: Computer Science from University of Minnesota, Twin Cities (2013) and Electrical Engineering from Beijing University of Posts and Telecommunications (2009), along with an MS (2006) and BS (2003) in Electrical Engineering from Sichuan University. Dr. Li's research focuses on artificial intelligence and spatial-temporal data science with applications in smart cities and urban intelligence. His work particularly emphasizes imitation learning and meta learning in AI for understanding and influencing urban human agents' decision-making strategies, such as taxi drivers' passenger-seeking behaviors and urban travelers' transit choices. His laboratory develops advanced computational methods for urban transportation systems, traffic prediction, and spatial-temporal data analytics. His publication record shows a strong trajectory in top AI and data science venues, with recent work bridging foundation models with urban computing, enhancing robustness in spatial-temporal representation learning, and applying generative models to urban traffic estimation. His research spans computer vision, reinforcement learning, generative modeling, and spatio-temporal data analysis with applications in transportation, environmental monitoring, and urban planning. Best Applied Data Science Paper Award at SDM 2019 NSF CAREER Award (2020) Runner-up for the 10-Year Impact Award for SIGSPATIAL Conference (2024, for 2014 paper) Dr. Li has secured significant research funding including an NSF CAREER award ($529k), multiple NSF grants totaling over $2 million, and industry collaborations with DiDi Chuxing Research. He has advised numerous PhD students who have gone on to faculty positions at institutions like San Diego State University and SUNY Binghamton University. His research group maintains active collaborations with industry partners including DiDi Chuxing, Pitney Bowes Inc., and NVIDIA. He leads several research initiatives including the CityLines project for urban transportation systems and has contributed to foundational work in spatial-temporal imitation learning. His laboratory continues to expand into new areas including applying large language models to urban dynamics prediction and developing advanced methods for environmental monitoring.

• Artificial Intelligence
• Spatial-Temporal Data Science
• Smart Cities
• +5 more

Yue Zhao is an Associate Professor in the Department of Electrical and Computer Engineering at Stony Brook University, with an affiliated appointment in Applied Mathematics and Statistics. Prior to this, she held postdoctoral positions at Stanford University and Princeton University. She earned her Ph.D. from UCLA in 2011 and B.E. from Tsinghua University in 2006. Her research focuses on smart grid systems, renewable energy integration, machine learning applications in power systems, and game-theoretic approaches to electricity markets. Key areas include transportation electrification, demand response mechanisms, and cyber-physical security of grid infrastructure. She teaches courses on digital signal processing, convex optimization, and communication systems. Her work spans over 50 publications in top journals and conferences like IEEE Transactions on Power Systems and ACM e-Energy. Notable contributions include dynamic state estimation frameworks for inverter-based resources, incentive-compatible market mechanisms for renewable aggregation, and cyber attack detection methodologies. Dr. Zhao advises a research group focused on interdisciplinary challenges in energy systems. Current openings exist for Ph.D. students with strong analytical backgrounds. Sponsors include NSF, DOE, and industry collaborators.

• Smart Grid
• Renewable Energy Integration
• Electricity Market Design
• +6 more

Louis-A. Dessaint is a Professor at the Département de génie électrique at École de technologie supérieure (ÉTS). He holds B.Ing., M.Sc.A., and Ph.D. degrees from Polytechnique Montréal. His research focuses on power electronics, renewable energy integration, and smart grid technologies, with affiliations to the GREPCI research group. He has supervised numerous theses and projects, addressing topics like microgrid optimization, energy storage, and voltage stability. Education: B.Ing., M.Sc.A., Ph.D. (Polytechnique Montréal). Research interests include electric machines, power network dynamics, hybrid energy systems, and sustainable development. His recent work emphasizes real-time control of power systems, renewable energy integration, and smart building energy management. Publications highlight advancements in microgrid topology optimization, battery storage systems, and ADRC-based control strategies. Awards include IEEE Fellow (2013) and membership in the Canadian Academy of Engineering (2012). He has advised over 50 students and contributed to projects on smart grids, energy storage, and grid stability. His lab, GREPCI, focuses on power electronics and industrial control.

• Electric Machines and Drives
• Power Network Simulation and Control
• Power Network Dynamics and Stability
• +7 more

Kamal Al Haddad is a Lecturer in the Department of Electrical Engineering at École de technologie supérieure (ÉTS). He holds a Doctorate from INTP, Toulouse, and advanced degrees from UQTR. His research focuses on power electronics, renewable energy integration, and smart grid technologies. He leads the GREPCI research group, specializing in Power Electronics and Industrial Control. Education: B.Eng., M.Sc.A. (UQTR), Doctorate (INTP, Toulouse). Research interests span energy conversion, industrial electronics, power quality, and electromagnetic interference. He emphasizes sustainable energy solutions, electric traction systems, and high-efficiency power sources. His work includes developing advanced power electronic converters and grid stability solutions. Recent articles highlight advancements in modular converters for STATCOM, AI-driven fault detection in hydrogenerators, and renewable energy policy frameworks. He has received notable awards, including the 2014 IEEE Eugene Mittelmann Prize and Fellowships from IEEE and other institutions. Supervised over 60 students, including doctoral theses on topics like hydrogenerator diagnostics, EV charging systems, and renewable energy integration. His research also involves real-time simulation of power systems and FPGA-based implementations. Labs/Teams: GREPCI – Power Electronics and Industrial Control Research Group, leading projects on smart grids and energy efficiency.

• Power Electronics
• Electrical Engineering
• Energy Conversion
• +7 more

Anastasios P. Vassilopoulos is an Adjunct Professor and Head of the Composite Mechanics Group (GR-MEC) at the École Polytechnique Fédérale de Lausanne (EPFL) within the School of Architecture, Civil and Environmental Engineering (ENAC). He holds additional roles as Director of the Doctoral Program in Civil and Environmental Engineering (EDCE) and is affiliated with multiple research groups and committees at EPFL. His expertise spans composite materials, structural adhesives, and offshore renewable energy systems. Education: PhD in Mechanical Engineering, University of Patras, Greece (2001) Dipl. Mechanical Engineer, University of Patras, Greece (1995) Erasmus Exchange, University of Bristol, UK (1994–1995) Research Interests: Offshore renewables, particularly wind turbine blade materials and joints Fatigue analysis of composite materials and adhesive joints Experimental and analytical methods for composite structures Design of composite constructions and structural integrity His work emphasizes practical applications in engineering, including wind energy systems and fiber-reinforced polymer (FRP) composites. Teaching & Labs: Teaches courses on structural mechanics, advanced composites, and floating offshore renewables Leads the GR-MEC lab, focusing on composite mechanics and joint behavior Supervised over 15 PhD students at EPFL Grants & Projects: Swiss National Science Foundation-funded projects on bonded composite structures and wind turbine blade materials Research on fire-resistant composite bridge decks and lightning effects on composite structures

• Composite Materials
• Offshore Renewables
• Wind Turbine Technology
• +5 more

Asu Ozdaglar is the EECS Department Head and MathWorks Professor at MIT, serving as Deputy Dean of Academics in the MIT Schwarzman College of Computing. Her research bridges optimization theory, machine learning, and network science with societal implications, focusing on AI ethics, data-driven decision systems, and strategic interactions in networked environments. Her technical contributions include foundational work on large-scale optimization algorithms (e.g., distributed methods, first-order methods), game-theoretic models for network systems, and federated learning frameworks. Recent work addresses critical societal challenges like misinformation dynamics, data market inefficiencies, and algorithmic fairness in AI systems. Publications from 2023-2025 highlight advancements in graphon-based network game analysis, privacy-preserving data mechanisms, and multi-agent learning dynamics. She co-leads initiatives in MIT's AI+D program, emphasizing interdisciplinary education and ethical AI development. Notable institutional roles include oversight of MIT's computing education strategy and contributions to pandemic-related research on infection control through testing optimization. Her work integrates technical rigor with policy-relevant insights, influencing both academic and real-world systems.

• Optimization
• Machine Learning
• Game Theory
• +4 more

Ooi Beng Chin is a Professor at the School of Computing , National University of Singapore (NUS). He holds concurrent roles as an adjunct Chang Jiang Professor at Zhejiang University, Visiting Distinguished Professor at Tsinghua University, and Director of NUS AI Innovation and Commercialization Centre in Suzhou, China. He earned his B.Sc. (1st Class Honours, 1985) and Ph.D. (1989) from Monash University, Australia. His research spans database systems, blockchain, machine learning, and large-scale analytics , focusing on system architectures, security, and cross-domain applications. Notable contributions include initiating the Apache SINGA distributed deep learning platform and developing Blockbench, the first blockchain benchmarking system. He also co-founded MZH Technologies (2018) for healthcare analytics. Key publications highlight his work in blockchain-database integration, AI for healthcare/finance, and 5G-enabled data systems. Awards include the ACM SIGMOD EF Codd Innovation Award (2020), Singapore President's Science Award (2011), and fellowships from SNAS, IEEE, ACM , and SAEng (2023). He leads the Singapore Blockchain Innovation Programme (SBIP) and contributes to industry collaborations with healthcare institutions and financial organizations. Fellow, Singapore National Academy of Science (SNAS) Fellow, IEEE Fellow, ACM Singapore President's Science Award, 2011 IEEE Kanai Award, 2012 NUS Outstanding Researcher Award, 2013 ACM SIGMOD EF Codd Innovation Award, 2020 Foreign Member, Chinese Academy of Sciences, 2023

• Database Systems
• Distributed Systems
• Blockchain
• +6 more

Michael Qizhe Shieh is an Assistant Professor in the Department of Computer Science at the National University of Singapore (NUS), affiliated with the Tree and Rock AI Lab (TRAIL). He holds a PhD and Master's from Carnegie Mellon University (Machine Learning and Language Technologies) and a Bachelor's from Shanghai Jiao Tong University's ACM Class. His research focuses on Large Language Models, Deep Learning, and Natural Language Processing, with notable contributions to semi-supervised learning techniques like Noisy Student and UDA, and the RACE benchmark for reading comprehension. Education: PhD in Machine Learning, Carnegie Mellon University (2020) Master's in Language Technologies, Carnegie Mellon University (2018) Bachelor's in Computer Science, Shanghai Jiao Tong University (2016) His research explores robustness, safety, and scalability of AI systems. He has served as Area Chair for top conferences like NeurIPS, ICML, and ICLR. Current research directions include adversarial robustness, LLM self-evaluation, and alignment mechanisms. His lab, TRAIL, emphasizes foundational AI research. Selected contributions include: Developing UDA and Noisy Student techniques for semi-supervised learning Creating the RACE benchmark for exam-based reading comprehension Advancing methods for LLM safety and adversarial defense Prospective students are encouraged to apply to NUS's PhD program for collaborative research opportunities.

• Large Language Models
• Deep Learning
• Natural Language Processing
• +4 more

Rachit Dubey is an Assistant Professor in the Department of Communication at UCLA, affiliated with the College of Letters & Science. He holds a PhD in Computer Science from Princeton University, an M.S. in Education from UC Berkeley, and a BEng in Computer Science from Nanyang Technological University. His research bridges computational modeling, behavioral experiments, and policy design to address climate change challenges, focusing on human motivation and policy impact. Key research areas include using AI-generated visualizations to enhance climate communication, understanding cognitive underpinnings of climate inaction, and designing interventions to reduce polarization. His work has been featured in Nature Human Behavior , Nature Sustainability , and PNAS . Notable contributions include demonstrating that binary climate data visuals significantly amplify perceived urgency compared to gradual trends, and developing computational models of grief using reinforcement learning. He received the 2024 SfNC Dissertation Award for his doctoral work. Dr. Dubey collaborates closely with policymakers to bridge research and practice, and is recruiting PhD students in cognitive science, climate policy, and machine learning. His lab, the Computational Cognitive Policy Lab, emphasizes quantitative rigor and interdisciplinary collaboration.

• Climate Change
• Computational Modeling
• Machine Learning
• +3 more

Kevin Leyton-Brown is a Professor of Computer Science at the University of British Columbia (UBC), holding a Canada CIFAR AI Chair at the Alberta Machine Intelligence Institute (Amii). He is also an Associate Member of the Vancouver School of Economics and a Fellow of the Royal Society of Canada, ACM, and AAAI. His research focuses on AI, machine learning, computational economics, and game theory, with notable contributions to algorithmic market design, heuristic algorithms, and large language models. He co-authored influential textbooks on multiagent systems and game theory, and his work has been recognized with prestigious awards including the INFORMS Franz Edelman Award and the Killam Teaching Prize. Education: PhD (Computer Science), Stanford University; MSc (Computer Science), Stanford University; BSc (Computer Science), McMaster University. Research Interests: Artificial Intelligence, Machine Learning, Game Theory, Computational Economics, Algorithmic Game Theory, Market Design, and Large Language Models. He has developed impactful tools like SATzilla, AutoWEKA, and Mechanical TA, and contributed to high-stakes projects such as spectrum auction design and Ugandan agricultural market platforms. Awards & Recognition: Royal Society of Canada Fellow (2023), ACM SIG-KDD Research Track Test of Time Award (2023), INFORMS Franz Edelman Award (2018), ACM Fellow (2020), AAAI Fellow (2018), Killam Teaching Prize (UBC), and numerous paper awards from top conferences like AAAI, ICML, and ACM-EC. Leadership & Affiliations: Director of UBC’s CAIDA and AIM-SI research clusters, former Chair of ACM SIG-Ecom, and advisor to companies like AI21 Labs and Auctionomics. He has held visiting roles at institutions including MIT, Harvard, and the Simons Institute.

• Artificial Intelligence
• Machine Learning
• Game Theory
• +5 more

H. Jane Bae is an Assistant Professor of Aerospace at the California Institute of Technology (Caltech), affiliated with the Division of Engineering and Applied Science. Her research focuses on turbulence modeling, particularly developing high-fidelity computational methods to simulate high-Reynolds-number flows for applications in aircraft design, wind farms, and atmospheric predictions. She integrates machine learning, information theory, and numerical techniques to enhance turbulence modeling efficiency. Education: B.S. in Aerospace Engineering from Caltech (2011), Ph.D. in Mechanical Engineering from Stanford University (2018). She joined Caltech in 2021. Research interests include near-wall turbulence dynamics, resolvent analysis, sparse identification of nonlinear dynamics, and reinforcement learning for wall models in LES. Her work addresses computational cost reduction and model accuracy in complex flow simulations. Awards: 2023 Outstanding Referee Award from Physical Review. Teaching includes courses on fluid mechanics (Ae/APh/CE/ME 101 abc) and turbulence (Ae 239 ab). Her lab combines turbulence theory, high-performance computing, and data-driven methods to study unsteady flows over complex surfaces. Notable contributions include machine learning-based wall models and resolvent analysis frameworks for non-stationary flows.

• Turbulence Modeling
• Computational Fluid Dynamics
• Fluid Mechanics
• +3 more

David Parker is Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Trinity College. His research focuses on formal verification methods for checking system correctness, particularly quantitative verification techniques for probabilistic systems. As leader of the PRISM and PRISM-games projects, he develops tools for analyzing safety, reliability, and performance properties in complex systems. Current research explores verification of AI systems, robust decision-making under uncertainty, and multi-agent systems using stochastic games. His work bridges theoretical foundations with applications in autonomous systems, robotics, and healthcare technology. Recent publications demonstrate advancements in probabilistic temporal logic, robust policy learning, and bisimulation techniques for Markov models. These works consistently emphasize formal guarantees for safety-critical applications and novel approaches to model checking. ETAPS Test-of-Time Tool Award (2024) HVC Award (2016) Professor Parker mentors PhD students in verification, control synthesis, and AI safety, with research funded by ERC, EPSRC, and industrial partners. He serves on editorial boards for Formal Aspects of Computing and ACM Transactions on Autonomous Systems.

• Formal Verification
• Probabilistic Model Checking
• Quantitative Analysis
• +2 more