Find Academic Supervisors

Víctor Adrián BrabermanView profile

Associate Professor

• Formal Verification
• Model Checking of Timed Systems
• Controller Synthesis
• +7 more

Víctor Adrián Braberman is a Full-time Associate Professor at the Department of Computer Science, Faculty of Exact and Natural Sciences, University of Buenos Aires (UBA), and a CONICET researcher. He serves as Co-director of the LaFHIS (Tools and Foundations for Software Engineering) Research Lab at UBA, where he leads significant research in formal methods and software engineering. His academic career demonstrates sustained excellence in both teaching and research within Argentina's premier academic institution. Braberman's research focuses on Formal Verification , particularly Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event-based properties, Aspect-oriented modeling, and Software Architectures. His work also extends to Software Analysis , including Memory Consumption Prediction and Static and Dynamic Program Analysis. These interests position him at the intersection of theoretical computer science and practical software engineering applications, addressing critical challenges in system reliability and performance. His recent publications (2022-2025) reveal a clear trajectory toward integrating artificial intelligence with formal methods , particularly through the application of reinforcement learning to controller synthesis problems and the exploration of Large Language Models for software verification and falsification. The research shows increasing attention to scalability challenges in formal methods and the integration of probabilistic approaches to handle uncertainty in system environments. Automated Reasoning Amazon Research Award (ARA) (2024) Braberman has successfully supervised numerous PhD and Licentiate students, establishing a strong academic lineage in formal methods research in Argentina. His research has been supported by substantial grants including European Community projects (MEALS), ANPCyT PICT grants, UBACyT projects, and Microsoft Research funding. His leadership extends to directing major research initiatives in formal software engineering. As Co-director of LaFHIS, Braberman oversees a vibrant research ecosystem that bridges theoretical computer science with practical software engineering challenges. The lab maintains strong international collaborations, particularly with European institutions, and has secured competitive funding from both national and international sources, demonstrating the global relevance of their work in formal methods and software engineering.

Anne Elisabeth HaxthausenView profile

Associate Professor

• Formal methods
• Specification languages
• Semantics
• +6 more

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.

• Bio-inspired robotics
• Soft robotics
• Magnetic micro-robotics
• +1 more

Hamidreza Marvi is an Associate Professor in the School for Engineering of Matter, Transport and Energy at Arizona State University , with additional affiliations as a Senior Global Futures Scientist . His work bridges bio-inspired robotics , soft robotics , and mechanics of animal locomotion . Education : Ph.D. in Mechanical Engineering (Georgia Tech, 2013), M.S. in Biomedical Engineering (Sharif University, 2007), M.S. in Mechanical Engineering (Clemson, 2009), B.S. in Mechanical Engineering (Iran University of Science and Technology, 2004). Marvi’s research focuses on biological systems interacting with solid, granular, and fluidic environments , translating these insights into bio-inspired robotic systems for search-and-rescue, medical, and planetary exploration. His work has been featured in Science , PNAS , and popular media like the New York Times and BBC . Recent publications highlight trends in magnetic microrobotics , soft robot control , and locomotion in granular media , with applications in medical devices, underwater inspection, and space exploration. His BIRTH Lab develops programmable interfacial structures and adaptive locomotion systems. Scientific Awards : KEEN Professorship (2017), Peebles Award (2015), Sigma Xi Best Ph.D. Thesis (2014), TechSTAR Award (2012), Emerald Publishing Literati Network Award (2011). Marvi has supervised teams for NASA competitions, co-organized robotics workshops, and served as a reviewer for journals like Nature-Scientific Reports and conferences including IEEE-IROS. His teaching portfolio includes courses in system dynamics, robotic control, and applied projects .

Charless C. FowlkesView profile

Professor

• Computational Vision
• 3D Scene Understanding
• Image Segmentation
• +7 more

Charless C. Fowlkes is a Professor in the Department of Computer Science at the University of California, Irvine (UCI), and a member of the UCI Vision Group. His research focuses on computational vision, integrating visual recognition with 3D scene understanding and developing tools for biological image analysis. UCI Chancellor's Fellow (2019-2022) NSF CAREER Award recipient (2013) Helmholtz Prize winner (2015) Research Interests His work spans computational vision, image understanding, 3D scene reconstruction, and machine learning applications in biological and forensic domains. He develops methods for automated pollen classification, cardiac tissue analysis, and forensic shoeprint matching. Recent Publications His recent work includes 3D scene reconstruction with epipolar transformers, forensic shoeprint analysis, and image inpainting techniques. These show trends in integrating geometric understanding with deep learning. Scientific Awards Awarded the Marr Prize (2009), Helmholtz Prize (2015), and NSF CAREER Award (2013), he has received recognition for both theoretical and applied contributions to computer vision. Teaching & Advising He has taught graduate and undergraduate courses in computer vision since 2008 and advised numerous PhD, MS, and BS students who now work at institutions like Google, Apple, and CMU. Collaborations He collaborates with labs at UIUC (Punyasena Lab), Harvard (DePace Lab), and UCI (Cinquin Lab, Khine Lab) for biological applications of computer vision.

Lianne LefsrudView profile

Associate Professor

• Risk Management
• Sustainability
• Organizational Theory
• +5 more

Lianne Lefsrud serves as Associate Professor and Risk, Innovation, and Sustainability Chair (RISC) in the Department of Chemical and Materials Engineering at the University of Alberta's Faculty of Engineering. Her interdisciplinary research bridges engineering, social sciences, and policy to transform risk management practices across energy, mining, construction, and railroading industries, directly influencing regulations, building codes, and industry operations for sustainable development. Her academic credentials include: BSc in Civil Engineering (Cooperative Program), University of Alberta (1994) MSc in Interdisciplinary Civil & Environmental Engineering and Sociology, University of Alberta (1996) PhD in Strategic Management and Organization, Alberta School of Business (2014) Dr. Lefsrud's research centers on risk management frameworks for sustainability challenges. She examines hazard identification, social license to operate, and technology adoption drivers in high-hazard industries, with emphasis on prospective risk assessment (e.g., hydrogen infrastructure design) and retrospective analysis (e.g., microplastic pollution impacts). Her work integrates circular economy principles into energy systems while addressing unintended consequences across UN Sustainable Development Goals. Recent publications (2024-2025) demonstrate heavy focus on machine learning applications for rail and construction safety, hydrogen infrastructure risk analysis, and science denial mitigation. Key patterns show cross-industry adaptation of AI for incident prediction, regulatory gap analysis for emerging energy systems, and socio-technical approaches to reconcile sustainability goals with operational realities. Scientific recognition includes: Erb Post-Doctoral Fellowship (University of Michigan) Dow Sustainability Research Fellowship (Ross School of Business) Dr. Lefsrud mentors graduate students through industry-integrated projects like her Sustainable Design course where teams generated patents and city solutions. Her research secures Alberta Innovates funding with 1:4 industrial-to-federal matching, collaborating with Suncor, Transport Canada, and Canadian Standards Association. Grants target practical implementations including railcar inspection systems and hydrogen safety protocols. She co-founded Insight Risk Systems and leads the Lefsrud Lab, prioritizing inclusive teams with under-represented groups (women, Indigenous, LGBTQ2S+, neurodiverse) to tackle 'wicked problems' in sustainability. The lab leverages interdisciplinary partnerships across engineering, computer science, psychology, and environmental sociology for real-world risk management solutions.

• Construction Engineering
• Computing in Civil Engineering
• Project Planning and Scheduling
• +6 more

Ming Lu is a Professor in the Department of Civil and Environmental Engineering at the University of Alberta, Faculty of Engineering. Specializing in Construction Engineering and Management (CEM), he leads the Construction Automation Lab (AutoLab) since 2010, focusing on integration, automation, and optimization in construction. Dr. Lu holds professional engineering licensure (PEng) in Alberta and has extensive academic experience across Canada, Hong Kong, and China. PhD in Civil Engineering (University of Alberta, 2000) B.Eng. in Road & Traffic Engineering (Tongji University, 1994) His research spans Construction Automation , Project Scheduling , and Resource Optimization , with over 150 publications in top journals. Recent work emphasizes model trees , time-window constraints , and labor cost regression . Publications appear in Automation in Construction , Journal of Computing in Civil Engineering , and ASCE Journal of Construction Engineering and Management . Notable awards include the 2022/23 CSCE Stephen G. Revay Award , Fiatech STAR Award (2013) , and multiple Best Paper Awards from ASCE. His software tools like SDESA and S3 revolutionized construction simulation and resource-constrained scheduling. Dr. Lu supervised numerous graduate students in projects involving BIM applications , earthwork optimization , and steel fabrication scheduling . He developed key courses like CIV E 406 (Construction Estimating) and CIV E 607 (Productivity Modeling), integrating simulation-based learning into construction education.

Zukui LiView profile

Professor

• Mathematical Optimization
• Machine Learning
• Process Systems Engineering
• +4 more

Zukui Li is a Professor in the Department of Chemical and Materials Engineering at the University of Alberta's Faculty of Engineering, where he leads a research group focused on mathematical optimization, machine learning, and process systems engineering. His work spans oil sands extraction, steel production, biomedical applications, and advanced optimization methods. Education: Ph.D. in Chemical Engineering, Rutgers University (2010) M.Sc. in Control Theory and Control Engineering, University of Science and Technology of China (2005) B.Sc. in Automatic Control, University of Science and Technology of China (2002) Postdoctoral Training: Princeton University (2010-2012) Research Focus: Dr. Li's research integrates mathematical optimization and machine learning for complex process systems. His primary areas include: Advanced optimization techniques (robust, stochastic, and distributionally robust optimization) Machine learning applications in process monitoring and biomedical systems Industrial applications in energy, manufacturing, and resource extraction Specific innovations include physics-informed ML for anemia treatment, adaptive optimization for steel production, and distributionally robust methods for uncertainty management. Publication Trends (2019-2023): Recent articles demonstrate a strong focus on uncertainty-aware optimization methods, with increasing integration of machine learning techniques. Dominant themes include distributionally robust optimization, adaptive decision-making under uncertainty, neural network approximations for complex constraints, and applications in industrial process control and biomedical systems. Theoretical advancements are consistently coupled with practical implementations in energy and manufacturing sectors. Research Group: Leads an active team developing optimization frameworks and machine learning solutions for process engineering challenges. Group website: Dr. Zukui Li's Research Group

Daniel FremontView profile

Associate Professor

• Formal Methods
• Automated Reasoning
• Cyber-Physical Systems
• +6 more

Daniel Fremont is an Associate Professor of Computer Science and Engineering at the University of California, Santa Cruz, where he conducts research at the intersection of formal methods and autonomous systems. His work focuses on developing mathematical techniques to improve the reliability of software, hardware, and cyber-physical systems through precise specification, formal verification, automatic synthesis, and principled testing approaches. Dr. Fremont's research interests center on applications of logic in computer science, particularly using automated reasoning to enhance system reliability. His work spans formal methods for cyber-physical systems (CPS), especially autonomous systems that incorporate machine learning. Key research areas include algorithmic improvisation for creating systems with controlled randomness, probabilistic programming through the Scenic language for environment modeling, and formal verification techniques applicable to safety-critical autonomous systems. His group has successfully applied these methods to autonomous vehicles, aircraft systems, and robotics, with significant contributions to both theoretical foundations and practical implementations. The publication record reveals a strong trajectory from theoretical foundations of control improvisation toward practical applications in autonomous systems verification. Early work established the theoretical framework of control improvisation, while recent publications focus on applying these techniques to real-world challenges in autonomous driving, aircraft systems, and AI-based autonomy. A consistent theme across his research is the integration of formal methods with machine learning to address the verification challenges posed by complex, learning-based systems operating in uncertain environments. Best Paper Award at IoTDI 2016 for 'Control Improvisation with Probabilistic Temporal Specifications' Dr. Fremont leads a research group focused on formal methods for autonomous systems, with significant contributions to the development of tools like Scenic (a probabilistic programming language for scenario specification) and VerifAI (a toolkit for formal design and analysis of AI-based systems). His work bridges theoretical computer science with practical engineering challenges in safety-critical autonomous systems, receiving funding from various sources supporting research at the intersection of formal methods and artificial intelligence. The group's approach combines theoretical algorithm development with practical implementation and testing, often collaborating with industry partners working on autonomous vehicle technology. The research group maintains active development of several open-source tools, including the Scenic language for scenario specification and VerifAI for formal analysis of AI systems. They have demonstrated applications across multiple domains including autonomous vehicles, aircraft systems, and robotics, with particular emphasis on simulation-based testing and verification approaches that can provide formal guarantees about system behavior.

Nabil SimaanView profile

Professor

• Medical Robotics
• Surgical Robotics
• Continuum Robotics
• +7 more

Nabil Simaan is a Professor of Mechanical Engineering at Vanderbilt University with secondary appointments in Computer Science and Otolaryngology . He leads the Advanced Robotics and Mechanism Applications (ARMA) laboratory, focusing on surgical robotics, continuum robots, and intelligent human-robot interaction. Education : Ph.D., M.Sci., and B.S. in Mechanical Engineering from the Technion—Israel Institute of Technology . Postdoctoral Research at Johns Hopkins University NSF ERC-CISST (2003-2004). Research Interests : Medical robotics for minimally invasive procedures Kinematic modeling and optimization of parallel/continuum robots Telemanipulation and semi-autonomous control Flexible mechanisms and actuation redundancy Article Trends : His recent work emphasizes subretinal surgical robots, continuum manipulators for transurethral operations, and multi-scale dexterity through mathematical synthesis using screw theory and algebraic geometry. Scientific Awards : NSF Career Award (2009) for intelligent surgical robots IEEE Senior Member (2013) for contributions to robotics Advising & Grants : Advises PhD/MSc students in robotics and mechanism design. NIH-funded work on OCT-guided retinal surgery robots. NSF grants for continuum robot kinematics and redundancy control. Labs & Collaborations : Leads the ARMA Lab , bridging engineering and clinical medicine. Collaborates with Vanderbilt Institute for Surgery and Engineering (VISE) and industry partners like AURIS Surgical Robotics. Translational focus through Titan Medical Inc. partnerships.

• Food Engineering
• Thermal Engineering
• Biophysics
• +3 more

Thijs Defraeye is a Senior Scientist at Empa (Swiss Federal Laboratories for Materials Science and Technology) and Adjunct Professor at Dalhousie University. He holds a PhD in Building Physics from KU Leuven (2011) and a Master's in Civil Engineering (2006). His work focuses on optimizing food supply chains through multiphysics simulations and digital twins, addressing challenges in refrigerated transport, postharvest quality preservation, and energy-efficient food processing. He leads the SimBioSys group, developing solutions for perishable goods logistics and electrohydrodynamic technologies. Research interests include: Biophysics of food systems Digital twin applications in agriculture Electrohydrodynamic drying Thermal management in cold chains Sustainable food technologies Recent work emphasizes reducing food loss through physics-based modeling of refrigerated containers, ventilated packaging optimization, and scalable evaporative cooling systems. His studies bridge engineering principles with biological processes, aiming to enhance global food security and environmental sustainability.

Guoquan HuangView profile

Assistant Professor

• Robotics
• Computer Vision
• Robot Learning
• +5 more

Guoquan Huang is an Assistant Professor in the Department of Mechanical Engineering at the University of Delaware. He holds a B.Eng. in Automation from the University of Science and Technology, Beijing (2002), and M.Sc. and Ph.D. degrees in Robotics from the University of Minnesota (2009 and 2012). Prior to his current role, he was a Postdoctoral Associate at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on robotics, computer vision, and autonomous systems, emphasizing probabilistic perception, estimation, and control for ground, aerial, and underwater vehicles. He leads the development of the OpenVINS platform for visual-inertial estimation and has contributed to advancements in SLAM (Simultaneous Localization and Mapping), sensor fusion, and multi-robot coordination. Education: B.Eng in Automation (Electrical Engineering), University of Science and Technology, Beijing, 2002 M.Sc. in Robotics, University of Minnesota, Twin Cities, 2009 Ph.D. in Robotics, University of Minnesota, Twin Cities, 2012 His research interests span robotics, computer vision, and autonomous systems , with a focus on: Visual-inertial navigation and SLAM Sensor fusion (LiDAR, IMU, camera) Autonomous vehicle control and safety Multi-robot cooperative localization His recent publications (2023–2025) emphasize robust algorithms for navigation in GPS-denied environments, real-time sensor calibration, and dataset development for aerial visual localization. He has pioneered techniques like decoupled error-state estimation and consistent parallel frameworks for SLAM. Labs/Teams: Leads the development of the OpenVINS research platform, focusing on visual-inertial state estimation. Collaborates on projects involving human-swarm interactions and resilient ground vehicle navigation.

• Model-based Systems Engineering
• Safety-Critical Systems
• Systems Engineering
• +3 more

Dr. Siyuan Ji is a Reader in Model-based Systems Engineering (MBSE) at Loughborough University, serving as Deputy Head of the Manufacturing, Systems & Management Academic Community and Deputy Director of the Doctoral Training Centre in MBSE. He previously held a Senior Lecturer position in Systems Engineering at the University of York, where he led the MSc Programme in Safety-Critical Systems Engineering. His academic journey includes a PhD and MSc in Physics from the University of Nottingham, followed by research roles in model-based systems engineering at Loughborough University. His research focuses on advancing model-based techniques for systems engineering, particularly in safety-critical systems, formal methods, and complex system design. He has contributed to areas such as hazard management (e.g., BSafeML framework), response time analysis in real-time systems, and model synchronization for requirements engineering. His work bridges theoretical foundations with practical applications in automotive systems, embedded software, and educational technology. Dr. Ji holds the title of Fellow of the Higher Education Academy and has published extensively on topics ranging from quantum technology reporting to conversational tutoring systems. His research emphasizes interdisciplinary collaboration, evident in projects like the EPSRC-funded analysis of vehicles as complex systems. He actively contributes to both academic and industrial advancements in systems engineering methodologies and education innovation. His professional roles include managing doctoral training programs, overseeing academic communities, and advancing systems engineering education. Collaborations span industry partnerships and international academic networks, reflecting his commitment to impactful research and training the next generation of systems engineers.

• Industrial robotics
• Teleoperation
• Surgical robotics
• +6 more

Riccardo Muradore is an Associate Professor at the University of Verona in the Department of Engineering for Innovation Medicine, within the Engineering and Physics section. His academic work focuses on robotics, control systems, and automation technologies with applications across various domains including industrial, surgical, and autonomous vehicle systems. Professor Muradore's research spans several key areas in robotics and control engineering: Industrial robotics and automation systems Teleoperation techniques for remote control of robotic systems Surgical robotics for medical applications Control and systems theory fundamentals Process control and fault detection methodologies Adaptive Optics technologies Unmanned Aerial and Ground Vehicles development His research is supported by numerous national and European projects as well as industry contracts, with notable projects including SARAS (Smart Autonomous Robotic Assistant Surgeon), MURAB (MRI and Ultrasound Robotic Assisted Biopsy), and ISUR (Intelligent Surgical Robotics). Professor Muradore holds several administrative roles including Communication and Third Mission Representative for the Department of Engineering for Innovation Medicine, and serves on various teaching committees and councils. He is affiliated with multiple research groups: ForMe - Formal Methods for the Design of Engineering Systems Networked Systems and Technologies PARCO – Parallel Computing Robotics, Artificial Intelligence and Control Sistemi robotici e automazione (Robotic systems and automation) His teaching portfolio includes Advanced Control Systems, Dynamic Systems, Robotics, Vision and AI, and other courses related to control engineering and robotics.

• Graph Theory
• Graph Databases
• Knowledge Graphs
• +5 more

Carlos R. Rivero is an Associate Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), located within the Golisano College of Computing and Information Sciences. His primary research focuses on graph theory applications in knowledge graphs, graph databases, and computer-aided program comprehension. He holds a PhD from the University of Seville (Spain), completed in 2012, with postdoctoral work at the University of Idaho (USA). His teaching responsibilities include courses such as Principles of Data Management, Data Mining, and Big Data exploration. Rivero has advised numerous PhD and Master’s students, contributing to research projects in link prediction, knowledge graph completion, and educational technology. He actively serves on program committees for conferences like The Web Conference and SIGKDD, and has reviewed for journals including the VLDB Journal and Communications of the ACM. His research emphasizes evaluating knowledge graph embeddings, improving link prediction methodologies, and developing tools for educational feedback in programming. He has contributed to projects like AYNEXT, which streamlines link prediction evaluation, and CAFE, a neighborhood-aware knowledge graph completion tool. Rivero’s work bridges theoretical advancements with practical applications in education and industry. Notable contributions include frameworks for automated feedback in programming courses and methodologies for assessing inference patterns in knowledge graphs. His grants and service roles reflect a commitment to advancing computational methods and fostering academic collaboration in data science and education.

Charlotte WilliamsView profile

Professor

• Sustainable Polymer Chemistry
• Catalyst Development
• Renewable Resources Utilization
• +4 more

Professor Charlotte Williams is a leading academic in sustainable materials science at the University of Oxford. Her research focuses on developing catalysts to transform renewable resources and CO₂ into polymers, aiming to replace petrochemicals in scalable materials production. She collaborates with Unilever on the Clean Future initiative, pioneering recyclable and biodegradable polymers for consumer products. Her work was recognized with the 2021 Unilever Clean Future Supplier Brilliance Award, jointly awarded with Professors Rosseinsky and Cooper. Williams’ research spans heterodinuclear catalyst design, ring-opening copolymerization, and chemical recycling of polymers. She leads a multidisciplinary team including scientists, engineers, and policy experts to decarbonize chemical supply chains, contributing to the UK’s net-zero goals. Key collaborations include the EPSRC Prosperity Partnership with the Universities of Liverpool and Oxford, focusing on low-carbon laundry detergent materials. Education: Not explicitly detailed in text. Grants: EPSRC Prosperity Partnership (2021–2026), Unilever-funded projects. Labs/Teams: Collaborations with Liverpool University and industry partners like Unilever. Future Work: Expanding applications of CO₂-derived polymers in consumer goods and advancing recyclable materials. Her publications emphasize catalyst innovation, sustainable polymer synthesis, and materials lifecycle analysis, reflecting her commitment to bridging academic research with industrial sustainability challenges.