جستجوی استاد راهنمای دانشگاهی

Ashwin BALIGAمشاهده پروفایل

استادیار

• B2B Marketing
• Sales Management
• Service Recovery
• +۵ مورد دیگر

Ashwin BALIGA is an Assistant Professor of Sales at IÉSEG School of Management , France, since 2022. He holds a Ph.D. in B2B Marketing from the Indian Institute of Technology, Madras (2022), a Master of Technology in Engineering Management (2015), and a Bachelor’s in Mechanical Engineering (2011). Ph.D. in B2B Marketing, Indian Institute of Technology, Madras (2022) Masters of Technology in Engineering Management, Manipal Institute of Technology (2015) Bachelors in Mechanical Engineering, National Institute of Engineering, Mysore (2011) His research focuses on B2B Service Failure & Recovery , Mental Health in B2B Sales , Technology in B2B Sales , and Buyer-Supplier Relationships . Recent work includes systematic reviews and morphological analyses of DEI in B2B selling, mental health impacts, and tech-driven sales strategies. In 2025, he received the Best Reviewer Award from the Journal of Hospitality and Tourism Management (JHTM). Additional accolades include the Sri N Kannan Prize for Best PhD Thesis in Marketing (2022), multiple gold medals for academic excellence (2015, 2011), and recognition for research contributions at NASMEI and the Sheth Foundation Doctoral Consortium. Baliga teaches Selling Techniques at the bachelor’s level and Services Marketing and Sales Management at the master’s level. He is a member of the Laboratory of Economics and Management (LEM) and has contributed to journals like the Journal of Personal Selling and Sales Management, Journal of Business Research, and the International Journal of Mineral Processing.

Adriana Tapusمشاهده پروفایل

استاد

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

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.

Deian Stefanمشاهده پروفایل

دانشیار

• security
• programming languages
• systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Daniel Varroمشاهده پروفایل

استاد

• Model-Based Systems Engineering
• Cyber-Physical Systems
• Software Engineering
• +۱۲ مورد دیگر

Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.

Stefania Dumbravaمشاهده پروفایل

دانشیار

• Formal methods for databases
• Graph databases
• Property graphs
• +۷ مورد دیگر

Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.

Thomas Grenierمشاهده پروفایل

دانشیار

• Medical Image Segmentation
• Clustering
• Filtering
• +۳ مورد دیگر

Thomas Grenier is an Associate Professor in the Department of Electrical Engineering at INSA Lyon and a member of the CREATIS laboratory (CNRS UMR 5220, INSERM U1294). He obtained his HDR (Habilitation à Diriger des Recherches) in 2023 and his Ph.D. in Image Processing from INSA Lyon in 2005. His research focuses on medical image segmentation, clustering, and filtering using feature space, scale-space, and deep learning approaches. Doctoral School: EEA (Electronics, Energy, and Automatics) Research Affiliation: CREATIS Lab (CNRS/INSERM/INSA Lyon/Université Lyon 1/Université Jean Monnet Saint-Etienne) He has contributed to 20 papers and co-supervised 5 PhD students, including Léo Dumortier and Florent Guépin. Grenier leads the annual Deep Learning for Medical Imaging (DLMI) school, which he co-founded, and has organized five editions across Lyon and Montreal since 2019. The school emphasizes practical deep learning applications in medical imaging for participants of all expertise levels. His work spans interdisciplinary domains such as medical imaging , deep learning , and image processing , with recent publications on generative AI for MRI synthesis, explainable networks, and segmentation of neurological pathologies in preclinical models. He manages pedagogical platforms, coordinates LabEx PRIMES project activities, and oversees lab room infrastructure for 200 hours/year across 10 training programs. Grenier also leads the MUSIC transversal project on Multiple Sclerosis since 2019.

Conrad Wattمشاهده پروفایل

استادیار

• WebAssembly
• Formal Verification
• Programming Languages
• +۴ مورد دیگر

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

• Formal Verification
• Software Testing
• Programming Languages
• +۱۲ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.

• Marketing
• Consumer Behavior
• Digital Marketing
• +۳ مورد دیگر

Amir SEPEHRI is an Assistant Professor in the Department of Marketing at ESSEC Business School, France. He holds a PhD in Marketing from Ivey Business School, Canada (2021). His research focuses on consumer behavior, digital marketing strategies, and text analysis, addressing topics such as online retailing dynamics, deception detection in communication, and the psychological impacts of narrative framing. He has developed tools like PassivePy for automated text analysis, and his work bridges consumer psychology with practical industry applications. Key research areas include the unintended consequences of product tagging in e-commerce, the role of information load in online talk popularity, and the strategic use of third-person narratives in fundraising. His findings have been published in journals like Journal of Personality and Social Psychology and Journal of Consumer Psychology . SEPEHRI also explores emerging technologies, such as voicebots' anthropomorphism and user engagement, as seen in his 2024 conference presentation. No scientific awards are listed, though his contributions to consumer behavior research are notable. He advises on grants related to text analytics and marketing strategies, though specific grant details are not provided. His academic activities include teaching marketing and consumer behavior courses, though course specifics are not detailed here.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

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.

Thomas Walterمشاهده پروفایل

استاد

• Biomedical Image Analysis
• Machine Learning
• Computational Pathology
• +۴ مورد دیگر

Thomas Walter is a Professor at Mines ParisTech and Director of the Centre for Computational Biology (CBIO) , a research group affiliated with the Institut Curie and INSERM . His work focuses on applying Machine Learning and Computer Vision to biomedical image analysis, particularly in high-content screening and computational pathology . He also serves as Deputy Director of the Computational Oncology (U1331) unit and leads the Statistical Learning and Modeling of Biological Systems team. PhD in Medical Image Analysis (2003, Mines ParisTech) Postdoctoral work at EMBL (European Molecular Biology Laboratory) Director of CBIO since 2018 Holder of a PRAIRIE Chair (Paris Artificial Intelligence Research Institute) since 2019 Dr. Walter's research bridges biomedical imaging , machine learning , and cancer genomics . Key areas include: Statistical reconstruction of biological networks Prediction of tumor progression at genomic/transcriptomic levels Development of deep learning methods for cell cycle analysis Integration of multi-omics data for precision oncology Tools for spatial transcriptomics (e.g., autoFISH, RNA2seg) Recent publications highlight his work in spatial transcriptomics , immunotherapy outcome prediction , and deep learning for digital pathology . His team has developed open-source tools like FISH-quant and pyHiM for single-molecule RNA imaging analysis. Scientific Honors: PRAIRIE Chair (2019) for AI research in life sciences Dr. Walter actively contributes to teaching deep learning for image analysis in multiple graduate programs across France, including courses at Mines ParisTech , Université Paris-Saclay , and Institut Curie . His software tools (FISH-quant, pyHiM) and methodological frameworks (e.g., Cut-Detector, PointFISH) have become standard resources in bioimage informatics.

Benoit Combemaleمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Software Language Engineering
• +۷ مورد دیگر

Benoit Combemale is a Full Professor of Software Engineering at the University of Rennes , currently on leave as Research Director at Inria . He is affiliated with the DiverSE research team (joint between IRISA and Inria) and the SM@RT team at IRIT. He serves as Editor-in-Chief of the Springer-Nature journal Software and Systems Modeling (SoSyM) and holds leadership roles in academic conferences like ACM SIGPLAN Intl. Conference on Software Language Engineering and MODELS . Education : Habilitation (2015) and PhD (2008) in Software Engineering from University of Rennes and University of Toulouse, respectively. Research : Focuses on Model-Driven Engineering , Digital Twins , and ICT for Sustainability , with applications in cyber-physical systems, scientific computing, and industrial systems. Recent Publications highlight trends in digital twin modeling, energy-aware software engineering, polyglot programming, and formal verification for heterogeneous systems. His scientific awards include: Editor-in-Chief of SoSyM Steering Committee member of ACM SIGPLAN Intl. Conference on Software Language Engineering General Chair for ICT4S 2023 and MODELS 2016 PC Chair for MODELS 2024, ECMFA 2019, and SLE 2014 Coordinator of Dagstuhl Seminars and Bellairs workshops Advising includes 30+ students in topics ranging from digital twin engineering to software testing and language design. He leads the GEMOC Initiative and contributes to projects like SciHook and GEMOC Studio .

Loris D'Antoniمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Program Synthesis
• +۴ مورد دیگر

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.

• Intelligent software systems
• Model-driven engineering
• Distributed systems
• +۵ مورد دیگر

IIham ALLOUI is a permanent Lecturer in Computer Science (CNU 27 section) at Savoie Mont Blanc University since 1998, based at Polytech Annecy-Chambéry. She leads research in intelligent software systems at the LISTIC laboratory. Her roles include managing the Competency-Based Approach (CBA) mission for Polytech and overseeing the Pix Digital Skills project for the university. Education : PhD in Computer Science from Université Grenoble II (1992-1996), DEA in Computer Science from Université Grenoble II (1989-1990). Research Themes : Focuses on evolving software systems, model-driven engineering, distributed intelligent systems, and adaptive architectures using formal methods like modal logic, process algebra, and Markov Decision Processes. Her recent work (2015–present) involves designing adaptive 'Wise Object' frameworks for autonomous learning in software systems, with applications in fraud detection and microservice optimization. She co-supervised multiple theses on software architecture refinement, remodularization, and knowledge representation. Grants & Projects : Led or contributed to projects such as OpenCloudware (FUI), EcoCitoyen (AAP), and McWO/COMDA (USMB AAPs), addressing cloud architectures, home automation modeling, and educational innovation. Teaching : Specializes in model-driven engineering, software quality, and formal programming methods. Initiated educational projects like Reflexpro and APC By Karuta to enhance student professionalization and skill-based learning.