Find Academic Supervisors

Ye ZhaoView profile

Associate Professor

• Robotics
• Formal Methods
• Optimization
• +7 more

Dr. Ye Zhao is an Associate Professor and Woodruff Faculty Fellow at the Georgia Institute of Technology's Woodruff School of Mechanical Engineering, where he directs the Laboratory for Intelligent Decision and Autonomous Robots (LIDAR). He holds affiliations with the Institute for Robotics and Intelligent Machines, Machine Learning Center, and Supply Chain and Logistics Institute. Dr. Zhao received his Ph.D. from UT Austin (2016) and completed postdoctoral training at Harvard University. Research Focus: His work integrates planning, control, and learning for contact-rich robots, emphasizing computationally efficient algorithms with formal safety guarantees. Key research thrusts include: Reactive synthesis for terrain-adaptive locomotion and manipulation Vision-tactile perception for deformable object grasping Social navigation of bipedal robots in human environments Distributed optimization for multi-robot coordination His lab utilizes platforms including Mini Cheetah quadruped, Cassie biped, and custom manipulators. Publication Trends: Recent articles demonstrate a strong focus on bridging formal methods (temporal logic, reactive synthesis) with learning-based approaches (RL, transformers) to enhance robustness in locomotion and manipulation. Key themes include terrain adaptation, human-robot interaction, and real-time model predictive control. Awards & Honors: ONR Young Investigator (2023) NSF CAREER Award (2022) IEEE ICRA Best Automation Paper Finalist (2021) IEEE Senior Member (2022) Woodruff Faculty Research Award (2023) Educational Initiatives: Leads the Vertically Integrated Program (VIP) for Agile Locomotion & Manipulation, engaging 80+ undergraduates in robotics research. The team won 1st place in Georgia Tech's VIP Innovation Competition (2021, 2022).

Farzaneh DerakhshanView profile

Assistant Professor

• Concurrency
• Formal Methods
• Programming Languages
• +4 more

Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. She received her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Prof. Frank Pfenning and completed a postdoctoral fellowship at CMU with Profs. Limin Jia and Stephanie Balzer. Her research focuses on formal methods for concurrent and secure systems. Education: Ph.D. in Pure and Applied Logic, Carnegie Mellon University (2021) Dr. Derakhshan's research explores logical foundations for concurrent program design, emphasizing correctness guarantees (safety, reactivity) and security properties (fault tolerance, side-channel protection). Current projects include modal logics for under/over-approximation, relational logic for GPU security, type systems for intermittent computing, and behavioral types for security enforcement. Her work bridges theoretical logic with practical systems challenges. Recent publications (2021-2025) reveal strong thematic continuity in concurrency, security, and formal verification. Key trends include session-typed process models for secure communication, modal type systems for intermittent computing, and logical frameworks for program assurance. These contributions demonstrate consistent innovation at the intersection of programming languages, logic, and cybersecurity. Scientific Awards: No scientific awards are mentioned in the provided text. Advising and Research Funding: Current Students: PhD: Godha Pallavi Bhogadi, Myra Dotzel, Lang Liu; Master's: Akash Madhu Former Students: Narasimha Karthik G. (MS), Griffin Colomer (BSc) Grants: NSF SaTC CORE #2350217: "Mixed Assurance Reasoning via Modal Logic" (2024) Dr. Derakhshan leads an active research group focused on programming language security, collaborating with Carnegie Mellon University researchers. She co-organizes community initiatives including the 2026 Dagstuhl Seminar on Behavioural Types for Resilience and serves on multiple program committees for top programming languages conferences.

• Network Security
• Telecommunications
• Multi-Agent Systems
• +4 more

Enrique de la Hoz de la Hoz is an Associate Professor at the Department of Automática, University of Alcalá, Spain. His research focuses on Network Security, Telecommunications, and Multi-Agent Systems. He holds a PhD from the University of Alcalá (2017), with a thesis on consensus policy applications in complex negotiations. His work spans Wi-Fi channel optimization, IoT security frameworks, and critical infrastructure resilience using graph theory and multi-agent negotiation techniques. He leads the NetIS research group (Networks and Intelligent Systems), addressing challenges in network resource allocation and secure communication protocols. Key research areas include: Application of graph coloring to Wi-Fi channel assignment and network resilience Multi-Agent systems for distributed decision-making in smart environments Cybersecurity for IoT and critical infrastructure protection Optimization of traffic light systems using intelligent agent coordination His recent work emphasizes reactive resilience mechanisms (e.g., REACT framework) and surgical immunization strategies against network attacks. He has contributed to standards like SDN-based secure routing and access control models for IoT environments. His research methodologies combine theoretical graph theory with practical implementations in real-world network scenarios.

Eline Le BretonView profile

Researcher

• Tectonics
• Geophysics
• Lithospheric Deformation
• +3 more

Eline Le Breton is a researcher in geophysics and tectonics with affiliations to Universität Potsdam and earlier institutions like Université de Rennes 1. Her work focuses on lithospheric deformation, plate kinematics, and seismic hazard assessment across diverse regions including the Mediterranean, Andes, and Atlantic Ocean. Research interests include: Crust-mantle decoupling during subduction Extensional tectonics at oceanic transform faults 3D seismic tomography of back-arc basins Lithospheric heterogeneity in collision zones Tectono-sedimentary evolution of Tethyan margins Her recent publications analyze Adriatic plate motion, Alpine lithospheric structure, and Andean shortening mechanisms. She employs field studies, seismic inversion, and geodynamic modeling to investigate fault reactivation and mantle processes. Collaborations span international institutions, including participation in the DFG Priority Program "Mountain Building Processes in Four Dimensions (MB-4D)."

Aaron D DotsonView profile

Professor

• Environmental Engineering
• Water Treatment
• Environmental Chemistry
• +5 more

Aaron D Dotson is a Professor and Vice Chancellor for Research at the University of Alaska Anchorage, holding appointments in the School of Engineering's Civil Engineering Department. He also serves as Affiliate Professor at the University of Alaska Fairbanks and directs the Environmental Engineering Laboratory. His academic journey includes a PhD in Civil & Environmental Engineering from Arizona State University (2008), an MSE from the same institution (2005), and a B.S. in Civil Engineering from the University of Arizona (2003). Dr. Dotson's research focuses on water treatment processes, disinfection by-product formation, and Arctic infrastructure challenges. He leads investigations into dissolved organic matter characterization, advanced oxidation technologies, and sustainable water systems for remote communities. His work integrates environmental engineering with policy, addressing food-energy-water nexus issues and climate adaptation in cold regions. Professional Roles: Chair of Civil Engineering Graduate Committee, member of University Research Council, and advisor to Anchorage Water Utility. Committees: Technical Council for Cold Regions Engineering, AWWA Organic Contaminant Research Committee. His recent research explores household water reuse systems, FEW nexus applications in microgrids, and pathogen mitigation in unpiped communities. Over 50 peer-reviewed articles and book chapters reflect his contributions to environmental engineering science.

Mehmet BÜYÜKView profile

Associate Professor

• Renewable Energy Systems
• Electric Vehicles
• Power Electronics Converters
• +3 more

Mehmet BÜYÜK is an Associate Professor at the Department of Electrical and Electronics Engineering, Faculty of Engineering, Adıyaman University. He serves as Vice Dean of the Faculty since August 2023. He holds a PhD from Çukurova University (2019) and has been an IEEE member since 2015. Education: BSc (2007-2012), MSc (2015), PhD (2019) in Electrical and Electronics Engineering from Çukurova University. Professional roles include Research Assistant (2015-2020), Research Lecturer (2020-2022), Assistant Professor (2022-2023), and current Associate Professor status. Research focuses on renewable energy systems, electric vehicles, power electronics converters, and grid integration challenges. Notable projects include wireless power transfer systems, V2G/V2H interfaces, and smart home energy management. Publications emphasize power quality solutions, inverter topologies, and fuel cell applications. Awards include multiple TÜBİTAK incentives and a Wiley Top Cited Article recognition. Active in reviewing for top journals like Renewable and Sustainable Energy Reviews. Current activities include leading the faculty as Vice Dean, supervising student projects, and collaborating on TÜBİTAK-funded research projects addressing renewable energy challenges and emergency power systems.

Andrew F. PetersonView profile

Professor

• Computational Electromagnetics
• Antennas & Microwave Devices
• Electromagnetic Compatibility
• +3 more

Andrew F. Peterson is a full Professor at the School of Electrical and Computer Engineering, Georgia Institute of Technology. He holds degrees from the University of Illinois, Urbana-Champaign (B.S., M.S., Ph.D. in Electrical Engineering). His research focuses on computational electromagnetics, antenna design, and electromagnetic compatibility. He has authored numerous publications on numerical methods, integral equations, and antenna array optimization. Peterson is a Fellow of IEEE and has received the IEEE Third Millennium Medal. He has held leadership roles, including President of the IEEE Antennas and Propagation Society (2006) and Chair of the IEEE Atlanta Section (2002-2003). His educational background includes a rigorous academic trajectory: B.S. (1982), M.S. (1983), and Ph.D. (1986) in Electrical Engineering from UIUC, followed by a Visiting Assistant Professorship there until 1989. He joined Georgia Tech in 1989, where he teaches electromagnetic field theory, antennas, and computational electromagnetics. Research interests span computational electromagnetics with applications to radar signatures, signal integrity in electronic packaging, and antenna design. Notable contributions include advancements in error estimation techniques for integral equations, reflectarray antennas, and machine learning-driven design automation. Publications emphasize numerical methods for electromagnetic problems, such as the EFIE and MFIE formulations, and explore topics like SAR estimation, crosstalk mitigation, and high-frequency via characterization. His work bridges theoretical rigor with practical engineering challenges in satellite communications and biomedical applications. Awards: IEEE Fellow, Third Millennium Medal, NSF Young Investigator Award Leadership: AP-S President (2006), IEEE Atlanta Section Chair (2002-2003) His research groups focus on high-accuracy numerical methods and antenna technologies, with applications in aerospace, telecommunications, and biomedical systems.

Trevor VandenBoerView profile

Assistant Professor

• Atmospheric Reactive Nitrogen
• Environmental Chemistry
• Indoor Environment Chemistry
• +3 more

Trevor VandenBoer is an Assistant Professor in the Department of Chemistry at York University's Faculty of Science. His research focuses on environmental chemistry of reactive nitrogen molecules and indoor environmental chemistry, utilizing custom field instruments and mass spectrometry techniques. He leads the VandenBoer Lab, developing analytical tools to study pollutant behavior across scales. Research interests include atmospheric reactive nitrogen cycling, indoor air quality dynamics, and analytical instrumentation innovation. Key sub-disciplines are Analytical Chemistry and Environmental Chemistry, aligning with UN goals like Climate Action and Good Health. Recent work emphasizes pollutant tracking in agricultural and indoor environments, including studies on commercial kitchens, athletic facilities, and cleaning byproducts. He has secured grants including the Sloan Foundation's program for indoor chemistry research. Notable achievements include student awards such as Irina's 2024 CSC Environment Division Presentation Award and Emma McLay's NSERC CGS-M. The lab collaborates widely, with projects like the ATHLETIC initiative and the ROCC chamber experiments. Instrumentation innovations include novel precipitation samplers and HONO passive samplers. Current efforts explore reactive nitrogen budgets, chlorine activation mechanisms, and urban aerosol acidity dynamics.

Kostas StathisView profile

Professor

• Artificial Intelligence
• Distributed Systems
• Software Engineering
• +7 more

Kostas Stathis is a Professor of Artificial Intelligence at the Department of Computer Science, Royal Holloway, University of London. He serves as Vice-Dean for Research and Knowledge Exchange in the School of Engineering, Physical, and Mathematical Sciences, and is the Interim Director of the Centre for AI and Skills. His research focuses on autonomous systems, cognitive agent models, game-theoretic strategies, and multi-agent environments, with applications in e-markets, regulation, and legal reasoning. Education details are not explicitly provided in the text. His research interests include knowledge representation, strategic interaction models, and programmable agent societies. He leads the DICE Lab, exploring AI-driven solutions for complex systems. Recent projects include iRealHAT-PEGA (human-agent teaming via eye gaze analysis) and collaborations on AI in regulatory decision-making for healthcare professions. He has supervised 9 research students and contributed to over 132 publications, including work on reinforcement learning in negotiation and LLM-enhanced legal reasoning frameworks. His work aligns with UN Sustainable Development Goals, particularly those addressing innovation and industry (Goal 9) and reducing inequalities through technological access (Goal 10).

• Data management and data science
• Artificial intelligence
• Distributed computing and systems software
• +6 more

Thomas C Henderson is a tenured Professor at the School of Computing within the College of Engineering at the University of Utah. His research focuses on autonomous systems , computational models , and intelligent machine systems , with specific interests in biosystem simulation, distributed systems, and adaptive algorithms. He has contributed to Bayesian sensor networks , UAS traffic management , and probabilistic logic frameworks for intelligent agents. Current academic appointments since 1989 Adjunct roles in Biomedical Engineering Active in IEEE committees (2024-2025) Research trends in recent publications emphasize autonomous aircraft coordination , probabilistic reasoning , and multi-sensor integration . Key subfields include lane-based airspace modeling, reinforcement learning for UAS, and pseudogradient navigation techniques. His work has received recognition through a Best Paper Award (IEEE 2008) and the US Air Force Summer Faculty Fellowship . Strategic deconfliction protocols Dynamic data-driven applications Structural health monitoring systems He actively mentors undergraduate research through courses like Deep Learning Capstone and Senior Capstone Design . Current grants include "Deep Learning in AI and Robotics" (2024-2029) and "Robust Reasoning using Geometric SAT/PSAT" (2022-2023).

Ruzica PiskacView profile

Professor

• Software Verification
• Security and Applied Cryptography
• Automated Reasoning
• +4 more

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files

Peter RobinsonView profile

Research Fellow

• Computer Science
• Software Verification
• Formal Methods
• +6 more

Dr. Peter J. Robinson is an Honorary Research Fellow at the School of Electrical Engineering & Computer Science, The University of Queensland. His academic career spans over three decades, focusing on foundational research in programming languages, formal methods, and distributed systems. His work includes contributions to Qu-Prolog, a multi-threaded Prolog implementation, and TeleoR, a robotic task programming framework. Research interests include agent-based systems, blockchain security for aerospace applications, software verification, concurrent programming, and education technology. Notable projects include the Pedro publish/subscribe server and MyPyTutor, an interactive Python learning tool. He has collaborated on railway safety protocols and spacecraft control systems using blockchain. Publications span journals like Formal Aspects of Computing and conferences such as IEEE Symposium on Computers and Communications. Technical reports include work on unification algorithms and multi-agent verification frameworks. He has advised on projects involving IoT architectures and swarm intelligence simulations.

• Carbon Dioxide Capture
• Chemical-Looping Combustion
• Biomass and Waste Fuel Conversion
• +3 more

Magnus Rydén is a Professor in Energy Conversion at the Division of Energy Technology, Chalmers University of Technology, and serves as Director of Studies for the Energy, Environment and Systems research school. His research focuses on carbon capture technologies (e.g., Chemical-Looping Combustion), combustion optimization (Oxygen Carrier Aided Combustion), and biomass/waste-to-energy conversion. He teaches courses like Design of Industrial Energy Equipment (KVM071) and contributes to multiple energy-related master’s and bachelor’s programs. Key research areas include fluidized bed reactor dynamics, ash-material interactions, and interdisciplinary strategies for energy transition. Recent work emphasizes techno-economic analyses of bioenergy carbon capture and storage (BECCS), with projects like the Nordic flagship initiative targeting net-negative emissions. Experimental studies often involve large-scale systems (e.g., 12 MWth boilers) and novel oxygen carrier materials such as steel converter slag and ilmenite. Rydén’s publications span 20+ years, exploring CLC operational longevity (e.g., 11,000 hours of testing), OCAC for waste fuels, and hydrogen production via fluidized bed integration. His work bridges fundamental science and industrial applications, aiming to advance sustainable energy systems globally.

• Biogeoscience
• Environmental Geochemistry
• Hydrothermal Ecosystems
• +4 more

Everett Shock is a Professor at Arizona State University (ASU) with joint appointments in the School of Earth and Space Exploration and the School of Molecular Sciences. He directs the W. M. Keck Foundation Laboratory for Environmental Biogeochemistry and holds additional roles as Associate Faculty in the Biodesign Center for Fundamental & Applied Microbiomics and the Water Institute, as well as Senior Global Futures Scientist. His research focuses on environmental chemistry, geochemistry, and biogeochemistry, with emphasis on hydrothermal ecosystems, serpentinization processes, and planetary habitability. Shock earned a B.S. in Earth Sciences from UC Santa Cruz (1978) and a Ph.D. in Geology from UC Berkeley (1982), working with Harold Helgeson. He is a Fellow of the Geochemical Society, European Association for Geochemistry, and American Geophysical Union. His work integrates thermodynamic modeling with field studies in extreme environments like Oman’s Samail Ophiolite and Yellowstone National Park, addressing questions about life’s origins and astrobiology. Recent research highlights include modeling Europa’s ocean composition for NASA’s Europa Clipper mission, studying organic compound biosignatures on ocean worlds, and investigating microbial energy utilization in serpentinizing systems. Shock leads interdisciplinary teams exploring geochemical energy sources, subsurface geochemistry, and the interplay between microbial communities and their environments. His scientific awards reflect his contributions to geochemical theory and field applications. Current projects include analyzing hydrothermal systems’ temporal variability, advancing WORM (Water-Organic-Rock-Microbe) modeling tools, and preparing for extraterrestrial sample analysis through lab infrastructure development.

Jennifer A. BartzView profile

Professor

• Social Psychology
• Behavioral Neuroscience
• Psychopharmacology
• +5 more

Professor Jennifer A. Bartz is a faculty member in the Department of Psychology at McGill University, within the Faculty of Science. Her research focuses on the biological and situational factors influencing prosocial behavior, with a particular emphasis on attachment theory, oxytocin mechanisms, and social impairments in psychiatric disorders like autism and borderline personality disorder. She employs interdisciplinary methods from social psychology, neuroscience, and psychopharmacology. Her work explores how neurobiological systems (e.g., opioid and oxytocin pathways) interact with individual differences and environmental contexts to shape empathy, trust, and relationship dynamics. The Bartz Lab investigates topics such as gene-environment interactions in attachment, stress effects on social cognition, and pharmacological interventions for social dysfunction. Notable contributions include studies on oxytocin’s dual role in promoting or hindering cooperation depending on personality traits. Recent research highlights include examining opioid receptor gene (OPRM1) influences on maternal-child attachment, sex-specific effects of stress on empathy, and CD38’s role in communal behaviors. Her findings bridge basic science and clinical applications, aiming to improve treatments for social deficits in psychiatric populations. Collaborations span genetics, neuroimaging, and behavioral experiments, with a focus on translational outcomes. She has published extensively in high-impact journals like Psychological Science , Translational Psychiatry , and Current Directions in Psychological Science , and maintains an active research program supported by grants from Canadian and international funding agencies.