Find Academic Supervisors

Maya Ramanath is an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Delhi. She joined IIT Delhi in 2011 after a postdoctoral research stint at the Max-Planck Institute for Informatics in Germany. Her research interests focus on database systems, information retrieval, semantic web technologies, and knowledge graph construction and applications. Education: PhD in Computer Science, Indian Institute of Science, Bangalore M.Sc.(Engg.) in Computer Science, Indian Institute of Science, Bangalore B.E. in Computer Science and Engineering, Bangalore University, Bangalore Her recent work emphasizes efficient query processing over large-scale graphs, knowledge graph applications, and natural language interfaces for semantic data. Notable contributions include algorithms for reachability approximation in web-scale graphs, speculative query planning for knowledge graphs, and exploratory querying techniques. She has collaborated extensively on projects like NAGA, ESTHETE, and KlusTree, advancing the state of the art in graph-based data management and semantic search. Publications span conferences such as ICDE, ECIR, EDBT, and VLDB, reflecting a strong focus on database systems, graph algorithms, and semantic web applications. Her work bridges theoretical foundations with practical implementations, addressing scalability and efficiency challenges in modern data management systems. Research and advising activities include supervision of projects on distributed graph processing, query optimization, and knowledge representation. She has contributed to open-source tools like LegoDB and StatiX, and her lab focuses on interdisciplinary approaches to data-centric AI.

• Database Systems
• Information Retrieval
• Semantic Web Data Management
• +3 more

Adriana Tapus is a Full Professor at ENSTA Paris, affiliated with Institut Polytechnique de Paris, leading the Autonomous Systems and Robotics Laboratory (SAR) within the Computer Science and Systems Engineering Unit (U2IS). She holds an HDR (Habilitation) and a PhD from EPFL, Switzerland, with postdoctoral experience at USC. Her research focuses on socially assistive robotics, human-robot interaction (HRI), and personalized therapy for individuals with physical/cognitive impairments. She directs the IP Paris Doctoral School and coordinates national/international projects like the EU-funded ENRICHME and SWEET. Education: PhD in Mobile Robotics, EPFL (2005) Habilitation (HDR), ENSTA Paris (2011) M.S. Computer Science, University Joseph Fourier Engineer, Politehnica University of Bucharest Research Interests: Tapus pioneers socially assistive robotics, integrating machine learning, human modeling, and multimodal communication (verbal/non-verbal/para-verbal). Her work addresses adaptive therapies for vulnerable populations using robotics, physiological data interpretation, and context-aware interaction. Key themes include: Human-robot cooperation and trust Emotion recognition and expression Personalized rehabilitation systems AI ethics and human-centered design Publications: Over 150 articles, with recent work exploring humor in HRI, teleoperation trust models, and cross-cultural intelligent vehicles. Notable 2025 contributions include studies on robot laughter efficacy and multimodal facial expression frameworks. Awards: 2025: 4 IROS papers accepted 2016: 25 Women in Robotics recognition 2010: Romanian Academy Award Multiple conference best paper awards (RO-MAN, ICRA, etc.) Advising & Grants: Supervised over 20 PhD students and led projects like EU Horizon 2020 ENRICHME. Current students focus on teleoperation dynamics, robot humor, and haptic interfaces. Active in editorial roles (IJSR, THRI) and conference organization (HRI General Chair 2019). Labs/Teams: Founder of RoboticsByDesign lab and co-initiator of the Hi! Paris interdisciplinary AI center. The SAR lab develops systems for healthcare, education, and human-robot collaboration.

• Robotics
• Human-Robot Interaction
• Machine Learning
• +7 more

James R. Eagan is an Associate Professor in the Computer Science and Networks Department (Infres) at Télécom Paris , part of the Institut Polytechnique de Paris. He is also a Visiting Professor at the University of Colorado, Boulder for the 2024–25 academic year. His research focuses on making computers more expressive tools for human interaction, emphasizing malleable software, collaborative dynamic media, and multi-surface environments. His work spans Human-Computer Interaction , Data Visualization , and User Interface Programming . A key theme involves adapting software for user-driven customization, exemplified by projects like Webstrates (shareable dynamic media) and SchemeLens (semantic zoom for technical diagrams). He also explores uncertainty in data analytics and gesture-based interfaces for experts. Recent publications from 2020–2024 address Explainable AI (XAI) , Financial Crime Detection , and Interactive Data Analysis . His tools Tarantula and SchemeLens have received acclaim, including the 2015 ACM SIGSOFT Impact Award and Best Paper at UIST 2015. Scientific accolades include: Prix de l’Impact 2015 d’ACM SIGSOFT Best Paper Award at UIST 2015 Honorable Mention at CHI 2017 He teaches courses in Mobile Application Development , Human-Computer Interaction , and Data Visualization . His lab, DIVA (Design, Interaction, Visualization & Applications), operates within the Information Processing and Communication Laboratory (LTCI). He actively recruits PhD candidates and postdocs for research in these domains.

• Human-Computer Interaction
• Data Visualization
• Software Adaptability
• +4 more

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

• Programming Languages
• Type Theory
• Dependent Types
• +12 more

Reetika Gupta is an Associate Professor at ESSEC Business School, Singapore, with a career spanning institutions such as Lehigh University (College of Business and Economics) and City University of New York – Baruch College. Her research focuses on Marketing , Consumer Behavior , and Digital Marketing , particularly in areas like Interactive Marketing , Bottom-of-the-Pyramid Consumers , and Augmented Reality in Marketing . PhD in Marketing (City University of New York – Baruch College, 2005) PGDPC (Mudra Institute of Communications, 1996) BA (Honors) in Economics (St. Stephen's College, 1994) Her research explores: Psychological factors in ethical consumption and sustainable marketing Design of digital platforms to enhance consumer revisits and engagement Impact of social relationships on consumer behavior in emerging markets Political ideology's influence on product preferences Recent publications analyze Bottom-of-the-Pyramid Consumers , Mobile Marketing , and Healthcare Challenges . Awards include Fond de Recherche ESSEC grants and the Alfred Noble Robinson Faculty Award (2012). She has served as Editor-in-Chief of the Journal of Consumer Marketing (2020–2022) and currently as Associate Editor.

• Marketing
• Consumer Behavior
• Interactive Marketing
• +12 more

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +7 more

Ruth Fong is a Teaching Professor at the Department of Computer Science, Princeton University , where she teaches foundational and advanced AI/ML courses (COS324, COS126) while leading the Looking Glass Lab in explainable AI research. She collaborates closely with the Visual AI Lab and Professor Olga Russakovsky . Education: PhD in Visual Geometry Group, University of Oxford (advised by Andrea Vedaldi , funded by Rhodes Trust and Open Philanthropy ) MSc in Neuroscience, University of Oxford (with Rafal Bogacz , Ben Willmore , and Nicol Harper ) AB in Computer Science, Harvard University (with David Cox and Walter Scheirer ) Research Focus: Pioneering Explainable AI and ML Fairness , with emphasis on post-hoc model understanding, interpretable-by-design architectures, and human-AI interaction frameworks. Her work spans computer vision, self-supervised learning, and neuroscience-inspired methodologies. Publication Trends: Recent papers (2023-2025) analyze interactive explanations , concept salience , and gender artifacts in vision datasets . Earlier work (2017-2020) established foundational techniques in extremal perturbations , backpropagation saliency , and neural network interpretability . Scientific Awards: Princeton Engineering Council Teaching Award (2025) Keller Center Summer Course Development Grant (2025) CHI Honorable Mention Paper Award (2023) Open Philanthropy AI Fellowship (2018) Rhodes Scholarship (2015) Advising: Directly mentored 10 Princeton undergraduates on IW/senior theses projects spanning generative AI , medical imaging fairness , and interactive visualization tools . Grants include Princeton SEAS and Open Philanthropy funding for the Looking Glass Lab. Lab & Team: Leads the Looking Glass Lab with 6 graduate/postgraduate members including Rawand Aziz , Matthew Barrett , and Ben Wachspress . Collaborates with faculty across Princeton and Oxford.

• Computer Vision
• Machine Learning
• Explainable AI
• +3 more

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

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

Béatrice Parguel is a CNRS Research Director at Paris-Dauphine University where she directs the Center for Marketing and Public Policy Research. Her academic career spans consumer psychology with a focus on experimental methodology, examining implications for public authorities in consumer information and education. Her research interests center on greenwashing, environmental labeling, ecology education for children, and reduction of over-packaging. She investigates how marketing practices influence consumer behavior, particularly in sustainable consumption contexts, with significant contributions to understanding luxury brand management, CSR communication, and the psychological mechanisms behind consumer responses to environmental claims. Her work bridges academic research with practical policy implications, often exploring the tension between commercial interests and public welfare. Parguel's publications reveal consistent themes in sustainable consumption, with a growing emphasis on food-related behaviors, digital activism, and luxury market dynamics in recent years. Her research employs rigorous experimental methods to uncover both conscious and subconscious consumer responses to marketing stimuli, particularly in ethically charged contexts. As director of the Center for Marketing and Public Policy Research, she leads a team investigating the intersection of marketing practices and societal impact, with particular attention to regulatory implications and consumer protection.

• Consumer Psychology
• Marketing
• Environmental Labeling
• +7 more

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +16 more

Pierre Marquis is a distinguished Professor of Computer Science at Université d'Artois , affiliated with the Centre de Recherche en Informatique de Lens (CRIL-CNRS, UMR 8188) . Since December 2024, he has served as the vice-president for research and doctoral studies at Université d'Artois. His research focuses on Artificial Intelligence , particularly knowledge representation , automated reasoning , inconsistency handling , and knowledge compilation , with recent emphasis on Explainable AI (XAI) . Research Interests: Marquis's work spans foundational AI topics including abduction , induction , belief revision , and preference modeling . He has pioneered knowledge compilation techniques to optimize AI tasks and developed frameworks for reasoning under inconsistency through paraconsistent logics and argumentation. His EXPEKTATION chair (2020-2026) under France's national AI program drives his current focus on interpretable machine learning models. Scientific Awards: 2025: CNRS Silver Medal 2022: AAIA Fellow 2017: Senior Member of Institut Universitaire de France (IUF) 2009: EurAI (ECCAI) Fellow Doctoral Students: Mentoring Clément Lens (critical patient monitoring systems) and Mehdi Sabiri (data-knowledge integration for AI explanations). Collaborating with students like Louenas Bounia (formal XAI models) and Romain Wallon (pseudo-Boolean constraints). Grants & Projects: Leads the EXPEKTATION research chair (2020-2026) and participates in ANR PING/ACK (2019-2023), ANR THEMIS (2021-2025), CNRS IRP MAKC (2020-2024), and H2020 TAILOR (2020-2024). Previously led PIA4 MAIA (2023-2032) and Pint (2022-2023). Labs & Teams: Active in CRIL-CNRS, contributing to PyXAI (Python XAI library) and d4 (model counting), while mentoring teams on consensus belief merging and dynamic constraint processing .

• Artificial Intelligence
• Knowledge Representation
• Automated Reasoning
• +6 more

Julien Cloarec is a Full Professor of Quantitative Marketing at iaelyon School of Management, Université Jean Moulin Lyon 3, where he also serves as Vice-President for Digital Strategy and Artificial Intelligence. He is an internationally recognized expert in artificial intelligence, with a focus on responsible AI development that balances innovation with privacy protection. His research interests center on Artificial Intelligence , Privacy in AI , Consumer Behavior , and Digital Marketing . He investigates how users perceive and adopt AI technologies, particularly in domains like autonomous vehicles, brain–machine interfaces, and eHealth, emphasizing the psychological and ethical dimensions of trust and privacy. His recent publications (2022–2025) reflect a strong thematic focus on the personalization-privacy paradox , algorithmic aversion , and transparency in AI systems . These works appear in leading journals across marketing, technology, and transportation research, demonstrating interdisciplinary impact. Scientific Awards: Prix AFM - Association Française du Marketing pour la meilleure communication (2022) Julien Cloarec actively collaborates with regulatory bodies, professional associations, and academic institutions to influence public policy and promote responsible AI. He leads research at the Magellan Laboratory @iaelyon and manages educational initiatives such as the Certificate in Artificial Intelligence for Marketing . He advises on doctoral research and has contributed to publications on the doctoral experience in management. Laboratory Affiliation: Magellan Laboratory @iaelyon - Research in Organizational Management

• Artificial Intelligence
• Quantitative Marketing
• Data Science
• +7 more

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.

• Software Security
• Embedded Systems
• Program Analysis
• +9 more

Vincent Roca is a permanent researcher at Inria , a French national research institute for digital science and technology. Since 2019, he leads the Privatics research team focusing on privacy, previously part of the Planete team (2000-2012) for Internet protocols and applications. His work spans Privacy in smartphones, IoT, and web browsers Design of the ROBERT and CLEA protocols for the French TousAntiCovid app Standardization in IETF working groups, notably on FEC and network coding Co-author of Inria's cybersecurity white book (2019) Instructor of the popular Privacy in the digital world MOOC (14,006 participants) Research Interests include privacy risks in digital technologies, robust content distribution via FLUTE/ALC transport protocols and LDPC-Staircase FEC codes, and network coding for scalable services. His articles focus on privacy in LoRaWAN, contact tracing protocols, GDPR compliance, and FEC optimization. Scientific Awards include the Third Applied Research Price from FIEEC (2014) Knight Medal of the French Order of Merit (2020) Students supervised include PhD candidates in privacy-preserving IoT, secure authentication, and alumni like Samuel Pelissier (LoRaWAN privacy) and Michael Toth (GDPR compliance). Software Contributions include openfec.org (AL-FEC codes) and FLUTE/ALC implementations .

• Privacy
• Robust Content Distribution
• Transport Protocols
• +6 more

Gaël Bonnin is a Professor of Marketing at NEOMA Business School, France, where he has held the role of Director of Research from 2020 to 2023. He teaches technology innovation, marketing strategies, design, and qualitative research methods across undergraduate, graduate, and doctoral programs (DBA/PhD). His research focuses on product/place design, technology adoption, and narrative approaches to market construction, with notable contributions to healthcare servicescape optimization, consumer resistance to misinformation, and senior engagement with new technologies. Director of Research (2020–2023), NEOMA Business School Co-led EU-funded projects on companion robots, agricultural robotics, and AR tourism applications Published in International Journal of Hospitality Management , Advances in Consumer Research , and Journal of Retailing and Consumer Services Research highlights include analyzing sensory elements (colors/music/scent) in hospital environments to reduce patient anxiety, studying emotional responses to fake news warnings, and evaluating anthropomorphic design impacts on robot acceptance among elderly populations. His work bridges consumer behavior theory with practical applications in retail, healthcare, and technology sectors. Key contributions span over 30 years, including book chapters on B2B technology branding, neutralization strategies in piracy contexts, and design marginalization in retail spaces. He frequently presents at conferences like ACR, IMP, and CAUTHE, emphasizing interdisciplinary approaches to market dynamics.

• Marketing
• Consumer Behavior
• Technology Adoption
• +4 more