Find Academic Supervisors

• Materials Science
• Computational Chemistry
• Density Functional Theory
• +3 more

Michael Herbst is an Assistant Professor (tenure-track) at EPFL, holding a joint appointment in the School of Basic Sciences (SB) and the School of Engineering (STI). He leads the Mathematics for Materials Modelling (MatMat) research group, focusing on error control in atomistic simulations, density-functional theory (DFT), and interdisciplinary computational methods. His work bridges mathematics, materials science, and computer science, emphasizing robust algorithms and Julia-based software development. Herbst holds a PhD from Heidelberg University and has held postdoctoral positions at RWTH Aachen and Inria Paris. He is a core member of the MARVEL and CESMIX research centers. Education: 2018: Dr. rer. nat. (magna cum laude), Heidelberg University 2009–2013: BA and MSci (1st class) in Natural Sciences, University of Cambridge 2008–2009: Studies in Mathematics/Physics, TU Kaiserslautern Research Interests : Herbst's research centers on developing reliable computational methods for materials modeling, including error estimation in DFT, black-box SCF algorithms, and Julia-based tools like the Density-Functional Toolkit (DFTK). His work addresses challenges in high-throughput simulations, numerical stability, and interdisciplinary collaboration across mathematics, physics, and computer science. Grants & Projects : MARVEL Center for Computational Design (EPFL) CESMIX Center for Extreme-Scale Simulations (MIT) EMC² Project (Sorbonne/Inria/École des Ponts) Awards : HGS MathComp PostDoc Fellowship (2018–2021) DAAD Travel Funding (2018) Exploratory Research Space Fund (RWTH Aachen, 2022) Labs & Teams : Head of the MatMat group at EPFL, focusing on error-controlled simulations and open-source software development.

Bright VargheseView profile

Assistant Professor

• Software Engineering
• Machine Learning
• Artificial Intelligence
• +3 more

Bright Varghese, Ph.D., is an Assistant Professor of Computer Science at Maryville University. With 17 years of experience including 16 years in teaching, his expertise spans programming, web development, Android app development, and project management. He holds a B.E. from Manonmaniam Sundaranar University, M.E. from Vinayaka Missions University, and Ph.D. from Karunya Institute of Technology and Sciences. His research focuses on software re-modularization using hybrid heuristic approaches, deep learning for sign language recognition, and optimization algorithms. He has deployed learning management systems like Open edX LMS for web platforms and Moodle LMS for mobile applications. His academic contributions include advancing software engineering practices and integrating machine learning into educational technology solutions. Though no formal awards are listed, his work highlights innovation in both theoretical and applied computer science domains. No grants or specific lab affiliations are detailed in the provided information.

Enzo MastinuView profile

Associate Professor

• Biomedical Engineering
• Prosthetics and Neuroprosthetics
• Embedded Systems
• +4 more

Enzo Mastinu is an electronic engineer specialized in embedded systems for biomedical applications, holding an Associate Professor qualification in Bioengineering. He earned his bachelor's and master's degrees in electronic engineering from the University of Cagliari and a PhD in biomedical signals and systems from Chalmers University of Technology, Sweden. His research focuses on advanced prosthetics and neuroprostheses for upper limb amputations, incorporating embedded systems design, control algorithms, sensory feedback, signal processing, AI, and osseointegration. Key projects include the HAND and HAND2 initiatives, funded by the EU and the Italian Ministry of Research, aiming to develop semi-autonomous prosthetic hands. He has published 25 journal articles (75% in Q1) and 21 conference papers, contributing to a PCT patent. Mastinu is a Senior Member of IEEE EMBS and RAS, reviews for ~90 journals/conferences, and edits Transactions on Medical Robotics and Bionics (IEEE) and Scientific Data (Nature). He has supervised ~40 students across PhD, master's, internships, and postdocs, and teaches courses in biomedical engineering and STEM education. His scientific awards include the Marie Skłodowska-Curie Fellowship (2021), National Qualification as Associate Professor (2024), and a Young Researcher Grant (2025). Research emphasizes clinical implementation of prosthetics with neural feedback and intuitive control, as highlighted in high-impact journals like the New England Journal of Medicine.

Hoda HassanView profile

Associate Professor

• Computer Networks
• Mobile Ad Hoc Networks (MANETs)
• Artificial Intelligence
• +1 more

Hoda Hassan is an Associate Professor in the Department of Information Sciences and Technology at George Mason University. Her work bridges theoretical and applied domains in computer networks, Mobile Ad Hoc Networks (MANETs), and the convergence of Artificial Intelligence (AI) and the Internet of Things (IoT). Education : PhD in Computer Engineering from Virginia Tech (2010), MSc and BSc in Computer Science from the American University in Cairo (2005, 1992). Research Interests focus on designing intelligent and secure network systems. She has developed innovative frameworks, including a BLE computer-aided design toolkit for MANETs, which was commercialized by Skymind Malaysia. Her work spans AI integration in IoT, anomaly detection, cloud computing models, and network architecture evolution. Academic Leadership includes pioneering roles in founding The Knowledge Hub (TKH) Universities in Egypt and leading the Computing and Computer Science Program at Coventry University's UK offshore branch (2019–2022). Her research has been supported by a significant 2 million Egyptian Pound grant from ITAC Egypt (2015–2017).

Gerhard PfisterView profile

Professor

• Singularity Theory
• Computer Algebra
• Algebraic Geometry
• +3 more

Gerhard Pfister is a professor of Mathematics at the University of Kaiserslautern. He holds the academic rank of Professor and specializes in Singularity Theory, Computer Algebra, Algebraic Geometry, and Complex Analysis. His career includes positions at Humboldt-Universität zu Berlin and University of Kaiserslautern, where he served as a professor from 1993 until his retirement in 2012, followed by a Senior Professorship until 2016. He has supervised numerous Ph.D. students, many of whom contributed to areas like computational algebra and singularity theory. Education: Gerhard Pfister earned his Diplom in Mathematics (1970) and Dr. rer. nat. (1971) from Humboldt-Universität zu Berlin. He habilitated in 1976 and became a professor there in 1983 before moving to Kaiserslautern in 1993. Research Interests: Pfister's work focuses on singularity theory, computational algebra, and the development of the SINGULAR computer algebra system. His research bridges theoretical and algorithmic aspects of algebraic geometry and commutative algebra, with contributions to Gröbner bases, standard bases, and modular computation techniques. He has co-authored foundational textbooks and over 140 publications. Key Contributions: Pfister is a co-developer of the SINGULAR software, a leading system for polynomial computations in algebraic geometry and singularity theory. His work includes algorithmic approaches to primary decomposition, normalization of rings, and classification of singularities. He has also contributed to the theoretical underpinnings of Neron desingularization and semicontinuity in algebraic geometry. Grants & Awards: While no specific awards are listed, his sustained contributions to computational algebra and singularity theory have had significant impact. He has supervised over 25 Ph.D. students and co-authored multiple influential books. Labs/Teams: He is a core contributor to the SINGULAR project and collaborates actively with researchers in computational commutative algebra and algebraic geometry.

Théo WinterhalterView profile

Researcher

• Formal Methods
• Type Theory
• Proof Assistants
• +3 more

Dr. Théo Winterhalter is a researcher at the Deducteam within INRIA Saclay and the Laboratoire de Méthodes Formelles (LMF) at École Normale Supérieure Paris-Saclay. Previously, he held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He completed his PhD in computer science at the University of Nantes under the supervision of Nicolas Tabareau and Matthieu Sozeau, focusing on the formalization and meta-theory of type theory. His research centers on proof assistants, particularly Coq, and involves advancing formal methods for security, type systems, and dependent type theory. Winterhalter's work includes contributions to the MetaCoq project, enabling meta-programming and formal reasoning about Coq itself. He is also involved in developing verified cryptographic frameworks like SSProve and SecRef*, ensuring secure integration of verified and unverified code. His educational background includes a PhD in type theory and prior work in cryptographic algorithms, such as randomized scalar multiplication. He actively participates in academic communities, serving on program committees for ICFP, TYPES, and POPL. His teaching includes co-teaching the MPRI course on proof assistants with Yannick Forster. Supervision activities include PhD student Yann Leray and multiple interns focusing on Coq extensions and formal verification.

Michael SammlerView profile

Assistant Professor

• Formal Verification
• Programming Languages
• Systems Programming
• +3 more

Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.

• Evolutionary Computation
• Genetic Programming
• Robotics
• +5 more

Eric Medvet is a professor specializing in evolutionary computation, genetic programming, and robotics. He is actively involved in research areas such as neuroevolution, soft robotics, and modular robotics. His work bridges theoretical advancements in evolutionary algorithms with practical applications in robotics and AI. Roles: Conference chair for EuroGP (2020-2022), co-chair of multiple workshops and sessions. Key Research: Focus on genetic programming, embodied intelligence, and the design of adaptive robotic systems. Research Interests: His work emphasizes the development of scalable and interpretable AI systems, particularly through evolutionary methods applied to robotics. He explores topics like neuroevolution for soft robots, quality diversity algorithms, and the integration of machine learning with evolutionary computation. Publications: His recent work highlights trends in interpretable AI, modular robotics control, and evolutionary algorithms for complex systems. Notable contributions include studies on MAP-Elites, graph-based genetic programming, and the application of LLMs in automated testing. Grants & Labs: Developed frameworks like JGEA for evolutionary computation experiments. Collaborates on projects integrating evolutionary methods with real-world robotics applications.

• Neurosymbolic AI
• Answer Set Programming
• Visual Question Answering
• +3 more

Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains

Liang XueView profile

Assistant Professor

• Applied Cryptography
• Cybersecurity
• Data Security and Privacy
• +4 more

Liang Xue is an Assistant Professor in the School of Information Technology at York University. She holds a PhD in Electrical and Computer Engineering from the University of Waterloo (2022) and completed a postdoctoral fellowship at the University of Guelph’s School of Computer Science (2022–2024). Her research focuses on applied cryptography, blockchain security, privacy-preserving AI, and cybersecurity in cloud and IoT systems. She has published in top-tier journals like IEEE Transactions on Dependable and Secure Computing, and conferences such as IEEE International Conference on Communications. Her work addresses challenges in data privacy, secure authentication, and regulatory compliance in decentralized systems. Recent projects include privacy-enhancing technologies for access control, blockchain-based data trading frameworks, and federated learning with privacy guarantees. She actively contributes to standards for cybersecurity in smart cities and next-generation wireless networks.

• Number Theory
• Algebraic Geometry
• Computational Algebra
• +3 more

Jordi Guàrdia Rúbies is a Professor in the Department of Mathematics at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Mathematics and Statistics (FME). He is a member of the UPC's STNB research group (Seminari de Teoria de Nombres de Barcelona), specializing in Number Theory and Algebraic Geometry. His work bridges theoretical research with educational innovation, particularly in Open Educational Resources (OER) for STEM fields. Affiliations: UPC, STNB Group, FME. Research Interests: Computational Algebra, Valuation Theory, Modular Forms, Mathematics Education. Recent research focuses on OER development, with contributions to collaborative platforms like Gate2Math. He has published extensively in journals like Journal of Algebra and Foundations of Computational Mathematics , addressing topics such as polynomial factorization over Henselian fields and valuation theory applications. Key awards include the Distinció Vicens Vives and UPC Quality Teaching Prize. He leads projects on OER quality assessment and has collaborated on EU-funded initiatives like the Erasmus+ Gate2Math program. His teaching contributions include innovative projects like Aprenentatge de l’Estadística basat en casos pràctics transversals , emphasizing practical case studies in statistics education.

Hans de KroonView profile

Professor

• Plant ecology
• Conservation biology
• Biodiversity
• +3 more

Prof. Hans de Kroon is a Full Professor at the Department of Experimental Plant Ecology, Radboud University. He has held roles including Research Director of the Institute for Water and Wetland Research (2010–2018) and currently chairs the Netherlands Ecological Research Network. His research focuses on plant interactions, root ecology, biodiversity regulation, and community dynamics. He collaborates across disciplines with NGOs, industry, and governmental institutions to address ecological sustainability challenges. His work emphasizes understanding species coexistence, biodiversity maintenance, and the impacts of environmental changes. Notable contributions include studies on insect biomass decline and neonicotinoid effects, which garnered global attention. Awards include the Officer in the Order of Orange Nassau and multiple Hermesdorf prizes for impactful publications. Prof. de Kroon’s projects integrate empirical and statistical tools to explore ecosystem biodiversity, often involving collaborative networks. His research bridges fundamental ecology with applied solutions for ecological management and conservation.

Angela FinnView profile

Senior Lecturer

• Fashion Design
• Sustainable Fashion
• Textile Design
• +5 more

Dr. Angela Finn is a Senior Lecturer at RMIT University in the Department of Fashion & Textiles , City Campus, Australia. With expertise in sustainable fashion design , fashion manufacturing , and practice-led research , she focuses on design methodology and knowledge transfer in fashion education. Teaching Interests : Fashion Design, Sustainable Fashion & Textiles, Design/Research Methodology Research Emphasis : Sustainable design strategies, technological integration in textiles, historical design adaptation Her 15 most recent publications explore themes like minimization in fashion design , luxury sustainability , and virtual teaching resources . Key subtopics include zero-waste design , regional manufacturing , and UV-protective textiles for health applications. Supervision Availability : Open to mentoring Masters or PhD students in sustainable fashion and textiles research.

• Robotics
• Automation
• Digital Twin Technology
• +3 more

Dr. Andrew Hamilton serves as the Data Analytics Lead within the School of Computing Science at the University of Glasgow. His research focuses on advanced robotics and automation, particularly in developing frameworks for robotic arm teleoperation leveraging digital twin technology. He has contributed to interdisciplinary projects addressing challenges in modular system design and real-time control. Key research interests include digital twin applications, teleoperation systems, and automation in engineering contexts. He has presented work at leading conferences such as the 2024 IEEE International Conference on Robotics and Automation (ICRA), highlighting innovations in plug-and-play robotic frameworks. No scientific awards or grants are explicitly listed in the provided text. His academic contributions are centered on advancing robotic systems through collaborative research.

Mostafa MohammadiView profile

Assistant Professor

• Neurorehabilitation Robotics
• Human-Computer Interaction
• Telerehabilitation Technologies
• +5 more

Mostafa Mohammadi is an Assistant Professor at the Department of Health Science and Technology, Aalborg University, affiliated with the Faculty of Medicine and Center for Rehabilitation Robotics. His research focuses on neurorehabilitation robotics, human-computer interaction, and telerehabilitation technologies for individuals with disabilities. Ph.D. in Biomedical Engineering (Aalborg University, 2018-2022) M.Sc. in Biomedical Engineering (Polytechnic University of Milan, 2015-2017) B.Sc. in Mechanical Engineering (Sharif University of Technology, 2011-2015) His work spans exoskeleton design, assistive robotics, and innovative interfaces like tongue-computer interfacing. Recent projects include the eMotivo digital health solution funded by Innovation Fund Denmark and intelligent tendon-driven exoskeletons for severe disabilities. Research outputs (33 total) emphasize adaptive robotics, motor impairment solutions, and wearable technologies. Collaborations span robotics, biomedical engineering, and clinical disciplines. Teaching includes courses in rehabilitation robotics, human-computer interaction, and digital systems for biomedical engineering. Scientific activities align with UN Sustainable Development Goals for quality education and reduced inequalities. Notable contributions include advancements in myoelectric interfaces and neurorehabilitation technologies.