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

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.

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

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
• +۷ مورد دیگر

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.

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

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
• +۳ مورد دیگر

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

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

Gül Varol is a permanent researcher at École des Ponts ParisTech's IMAGINE group, an ELLIS Scholar, and Guest Scientist at Max Planck Institute. She holds a PhD from Inria Paris/ENS with awards from ELLIS and AFRIF. Her academic service includes Program Chair at ECCV'24 and Area Chair roles at major conferences. Current affiliations: IMAGINE group (École des Ponts ParisTech), Max Planck Institute Previous roles: Postdoctoral researcher at University of Oxford Her research focuses on vision-language applications, particularly in 3D human motion synthesis, sign language technology, and audio description generation. Key techniques include text-conditioned diffusion models, temporal context modeling, and synthetic data utilization. Scientific contributions recognized through: Google Research Scholar award (2023) ELLIS PhD Award (2020) AFRIF PhD thesis award (2020) Best application paper at ACCV'20 Recent publications demonstrate expertise in: Text-driven 3D motion editing (MotionFix, 2024) Cross-dataset generalization studies (TMR++, 2024) Temporal action composition frameworks (TEACH, 2022) Sign language dense annotation methods (BOBSL, 2022) Zero-shot audio description generation (AutoAD-Zero, 2024) She actively contributes to dataset development including BOBSL (British Sign Language corpus) and SURREACT synthetic action dataset, while pioneering new evaluation metrics for audio description quality and motion retrieval benchmarks.

• Computer Vision
• Natural Language Processing
• 3D Human Motion Synthesis
• +۳ مورد دیگر

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)
• +۱۶ مورد دیگر

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.

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

Thomas Boddaert is an Assistant Professor at the Institut de Chimie Moléculaire et des Matériaux d'Orsay (ICMMO), Université Paris-Saclay . His research focuses on organic photochemistry , synthesis of constrained β-amino acids , and conformational studies of peptide-based foldamers . He leads the photochemistry theme and instrumental platform in the CP3A Organic Synthesis group and manages collaborations with industry partners like Diverchim. PhD in Organocatalysis (Aix-Marseille University, 2009) Postdoctoral research: Manchester University (2010), Rouen University (2010-2012) HDR (2021) for PhD supervision qualification His research includes: Photochemical domino reactions for sulfur heterocycles Peptide foldamer design with cyclobutane motifs Asymmetric synthesis using N-heterocyclic carbenes (NHCs) Visible-light photocatalysis Recent publications demonstrate expertise in: Light-initiated cascade synthesis of alkylidenecyclobutanes (2024) Thia-Paternò-Büchi reaction applications (2024, 2022) Conformational analysis of oxetin oligomers (2018) Fluorinated β-peptide folding studies (2015) Awards: Thieme Chemistry Journals Award (2019) Emergence@international scholarship (INC/CNRS, 2020) Teaching and administrative roles: Co-responsible for L3 Organic Photochemistry Head of L2 Organic Chemistry courses Manager of the Villebon – Georges Charpak Institute chemistry program Member of Paris-Saclay University advisory commission (2021–) He supervises 6 Paris-Saclay PhD students , 2 foreign PhD students , and 2 postdoctoral researchers , with notable projects on: Photochemical post-functionalization of thietanes (2024–) Domino reactions for sulfur heterocycles (2023–) Light-controlled kinase inhibitors (2021)

• Organic Photochemistry
• Peptide-based Foldamers
• Organocatalytic Transformations
• +۳ مورد دیگر

Sylvain Cristol is a Professor at the University of Lille within the Heterogeneous Catalysis department and the Modeling and Spectroscopy (MODSPEC) group. He teaches quantum chemistry, chemical bonding, statistical physics , and X-ray absorption spectroscopy at the university’s European Master’s program. PhD in Molecular and Organic Chemistry (1997-2000, Université de Provence) Postdoctoral work at Davy-Faraday Research Lab, Royal Institution of Great Britain (2000-2002) His research focuses on modeling hydrodesulfurization and hydrodeoxygenation catalysts for biomass valorization, supported by ANR-PNRB project ECOHDOC (with Caen, Poitiers, and TOTAL). He pioneered operando X-ray absorption spectroscopy for characterizing supported oxides (Mo/Re on alumina/anatase) via the ANR SAXO project (Paris VI, Grenoble, SOLEIL). Collaborative work with Francesco Mauri (Paris VI) advanced NMR parameter modeling in solids. Publications span DFT studies , XANES spectroscopy , and solid-state NMR applied to catalysis. Scientific awards include the UCCS Thesis Prize (highest honors) for his work on dibenzothiophene reactivity on molybdenum sulfide.

• Heterogeneous Catalysis
• Quantum Chemistry
• Solid-State Spectroscopy
• +۴ مورد دیگر

Martin C. Schleper is a Professor of Supply Chain Management and Sustainability at NEOMA Business School, France. He holds a PhD from the European Business School in Wiesbaden, Germany, and has previously worked at the Nottingham University Business School and the University of Sussex Business School in the UK. He currently serves as Co-Editor of the International Journal of Operations and Production Management since 2025 and sits on editorial review boards of several top-tier journals. His research focuses on sustainable supply chains, ethical practices in buyer-supplier relationships, and geopolitical risks in global supply chains. Notable areas include: Geopolitical disruptions and resilience Supply chain agility and innovation Corporate Social Responsibility (CSR) in global networks Ethical sourcing and due diligence Climate change mitigation in operations Recent work highlights include examining how supply chains navigate geopolitical tensions (2025), exploring the link between agility and innovation (2025), and analyzing sustainability reporting deficiencies (2020). He has published in leading journals such as Production and Operations Management and Journal of Business Ethics . He holds the Fellowship of the UK Higher Education Academy (FHEA) and teaches supply chain management across undergraduate, graduate, and MBA programs. His research agenda emphasizes ethical global supply chains and sustainable operations in turbulent environments.

• Supply Chain Management
• Sustainability in Operations and Supply Chain Management
• Business Ethics
• +۴ مورد دیگر

Andrei Y. Khodakov is a Research Director (Professor equivalent) at the Unité de Catalyse et de Chimie du Solide (UCCS), UMR CNRS 8181, affiliated with University of Lille. He serves as Coordinator of the CEMOP research team (Catalysis for Energy and Synthesis of Platform Molecules) within the Heterogeneous Catalysis Department. His academic journey began with a Master's in Chemistry from Lomonosov Moscow State University (1987), followed by a PhD from the Zelinsky Institute of Organic Chemistry (1991), and a Dr. Sci. (Habilitation) from University of Sciences and Technologies of Lille (2002). Khodakov's research focuses on heterogeneous catalysis, with particular expertise in Fischer-Tropsch synthesis, syngas conversion to fuels and platform molecules, photocatalysis, CO 2 utilization, and methane valorization. His work bridges fundamental catalyst design with practical applications for sustainable energy and chemical production. He has pioneered research on nanoconfined catalysts, mobile promoters, and single-atom catalytic systems, with significant contributions to understanding reaction mechanisms and kinetics. His publication record spans over 122 papers since 2008, with recent work emphasizing CO 2 hydrogenation, photocatalytic methane conversion, and advanced catalyst design using nanoreactors and single-atom techniques. The research shows a clear trajectory toward sustainable catalytic processes for renewable feedstocks and carbon-neutral chemical production. CNRS Prize of Excellence (2011) CNRS Ph.D. and Research Supervising Bonus (2016) Special Invited Scientist of the Brazilian Government (2013-2016) Khodakov has supervised 27 PhD students and 14 post-doctoral researchers, demonstrating strong commitment to academic training. He teaches at Centrale Lille and University of Lille's Biorefinery Master's program, and organizes international summer schools for Chinese and Brazilian students. His research is supported by 4 ANR projects, 3 European projects, and over 20 industrial contracts, reflecting both academic excellence and industrial relevance. His laboratory focuses on catalyst design for sustainable chemical production, with particular emphasis on reactor engineering, in-situ characterization techniques, and development of catalysts for renewable feedstocks conversion.

• Catalysis
• Heterogeneous Catalysis
• Fischer-Tropsch Synthesis
• +۵ مورد دیگر

Jean-Luc Arregle is a Professor in the Strategy & Organization department at emlyon business school , where he has served since 2012. He previously held a professorship at EDHEC Business School (2010-2011) and served as Director of the PhD Program at emlyon (2015-2018). Arregle is also an Associate Dean for Research at emlyon business school. PhD in Management Sciences (1992, IAE Aix-en-Provence) Accreditation to Supervise Research (1998, IAE Nice) His research focuses on semi-globalization strategies , family firm strategic choices , and institutional influences on multinational enterprises . Publications analyze: organizational autonomy dynamics, family firm internationalization patterns, institutional complexity in foreign investment, multilevel strategic analysis, and resource orchestration in mergers. He serves on editorial boards of Journal of International Business Studies , Strategic Organization , and Entrepreneurship Theory & Practice . Notable works include longitudinal studies of Lamborghini's post-acquisition autonomy management and meta-analytic reviews on family firm uniqueness. Recent publications emphasize: Dynamic frameworks for subsidiary autonomy (2024) Family business-international business integration (2024) Host country politics in multinational strategy (2023) Autonomy oscillation mechanisms (2022) Scientific contributions include Editorial board memberships across 5 journals International Teachers Program (EFMD, 1990) Keynote presentations at Academy of International Business and Strategic Management Society conferences Arregle's work combines theoretical rigor with practical insights from automotive industry case studies (Audi-Lamborghini integration), demonstrating how organizational identity preservation and resource orchestration enable sustained competitive advantage in multinational contexts.

• Semi-globalization strategies
• Family firm strategies
• Institutional approaches to strategy
• +۵ مورد دیگر

Nathalie Bertrand is an Inria Researcher and Head of the DEVINE team at Inria Centre Rennes and IRISA lab. She co-heads the working group on Verification of the GDR IFM of the CNRS with Pierre-Alain Reynier, and co-leads the gender equality commission of IRISA and Inria Rennes with Elisa Fromont. She is also an active member of the Inria committee on gender equality and equal opportunity. PhD from ENS Cachan (October 2006) 1-year post-doc at TU Dresden Hired as Inria researcher (October 2007) Habilitation (HDR) from University Rennes 1 (November 2015) Dr. Bertrand's research focuses on formal methods, verification, model checking, parameterized systems, quantitative models, automata, and games. Her work bridges theoretical computer science with practical applications in distributed systems, probabilistic verification, and game theory. She develops efficient model-based formal methods to verify and enforce functional and non-functional properties of dependable distributed systems that include quantitative aspects such as time, cost, or probabilities. Her recent publications demonstrate a strong trend toward parameterized verification of distributed algorithms, probabilistic systems, and game-theoretic approaches to verification problems. Her research has evolved from foundational work on timed automata and probabilistic systems to increasingly complex problems involving distributed algorithms with arbitrary numbers of participants, blockchain consensus, and randomized fault-tolerant systems. Dr. Bertrand serves on the editorial boards of JLAMP and TCS, and has been a program committee member for numerous prestigious conferences including STACS, TACAS, Concur, QEST, LICS, FoSSaCS, ICALP, MFCS, and many others. She has co-chaired program committees for Formats'20, QEST'17, QAPL'14, and QAPL'15. As an advisor, she has supervised numerous PhD students including Nicolas Waldburger, Bastien Thomas, Suman Sadhukhan, Anirban Majumdar, Engel Lefaucheux, Paulin Fournier, and Amélie Stainer. She currently supervises postdoc Gaëtan Staquet and PhD candidates Pranav Ghorpade, Luca Paparazzo, and Luc Lapointe. She leads the DEVINE project-team (created January 2024), which focuses on developing efficient model-based formal methods to verify and enforce properties of dependable distributed systems with quantitative aspects. Previously, she was part of the SUMO team. Her current projects include ANR MAVeriQ (2021-2025), ANR BISouS (2022-2025), and ANR PaVeDyS (2024-2028).

• Formal Methods
• Verification
• Model Checking
• +۴ مورد دیگر

Houmam Saad is a Syrian archaeologist and researcher affiliated with the École Pratique des Hautes Études - PSL , where he is supported by the PAUSE program. He previously led archaeological efforts in Syria as head of the Excavations and Archaeological Studies Department at the General Directorate of Antiquities and Museums since 2019. His work focuses on Syrian cultural heritage, particularly in Damascus and Palmyra. Education: Master’s in Islamology from EPHE-PSL (2016), International Diploma in Heritage Studies (INP-Paris, 2012), PhD in Archaeology (Damascus, 2013). Dr. Saad’s research spans archaeology , cultural heritage preservation , and Digital Humanities , including 3D digitization and satellite-based damage monitoring. His current projects involve publishing 20 years of Damascus excavations, documenting conflict-related heritage loss, and teaching at the Master’s program in "History of Art and Archaeology." He has contributed to high-profile initiatives like the 3D digitization of Palmyra and the Krak des Chevaliers with ICONEM, showcased in exhibitions at the Grand Palais and Cité de l'Architecture. His scientific work emphasizes the universal value of cultural heritage amid war, regime changes, and looting. Scientific Awards: PAUSE fellowship (2025). Dr. Saad is actively involved in heritage safeguarding, leading the PROCLAC unit, and preparing publications on Byzantine mosaics and Crusades-era artifacts. He also trains students on conflict-induced challenges in archaeology.

• Archaeology
• Digital Humanities
• Cultural Heritage Preservation
• +۴ مورد دیگر