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

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.

Fabian Suchanekمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Bases
• Natural Language Processing
• +۳ مورد دیگر

Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.

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.

Mingsheng Yingمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +۵ مورد دیگر

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۳ مورد دیگر

Caterina Urban is a Research Scientist (Chargé de Recherche) at INRIA and École Normale Supérieure (ENS) in Paris, France. She is a member of the INRIA research team ANTIQUE (ANalyse StaTIQUE), where she focuses on formal methods and static analysis. Prior to her current position, she was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. Dr. Urban holds a PhD in Computer Science (2015) from École Normale Supérieure, Paris, where she worked under the joint supervision of Radhia Cousot and Antoine Miné. She also earned a Master's degree (2011) and Bachelor's degree (2009) in Computer Science, both with full marks and honors (summa cum laude) from the Università degli Studi di Udine, Italy. Her research interests span the whole spectrum of formal methods with a focus on developing rigorous methods and tools to enhance the reliability of computer software, particularly data science applications. Her main area of expertise is static analysis based on abstract interpretation. Dr. Urban is currently engaged in several research projects including Lyra (focusing on data science software), Libra (fairness certification for neural networks), and SAIF (addressing safety concerns in machine learning-based systems). Dr. Urban's recent publications demonstrate her expertise in applying abstract interpretation to diverse areas including machine learning, data science, program verification, and security. Her work bridges theoretical foundations with practical applications, particularly in ensuring the reliability and trustworthiness of increasingly critical data science and machine learning systems. She has received recognition for her work through invitations to serve on program committees for major conferences including OOPSLA 2026, PLDI 2026, and CAV 2026. She is also the general chair of iFM 2025 in Paris. Dr. Urban actively mentors the next generation of researchers, supervising PhD students and postdoctoral researchers. She teaches courses on abstract interpretation and its applications at the Master Parisien de Recherche en Informatique (MPRI) and various international summer schools. She has developed several open-source software tools including Lyra (a static analyzer for data science applications), Libra (for fairness certification of neural networks), and Typpete (SMT-based static type inference for Python).

Tom Schrijversمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Type Systems
• +۶ مورد دیگر

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

Limin Jiaمشاهده پروفایل

استاد پژوهش

• Security
• Programming Languages
• Formal Verification
• +۳ مورد دیگر

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) .

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.

Laurent Daudetمشاهده پروفایل

استاد

• Machine Learning
• Optics
• Signal Processing
• +۳ مورد دیگر

Laurent Daudet is a Professor of Physics at Université Paris Cité (on leave) and CTO & co-founder of LightOn, a startup developing optical computing technologies. His research spans signal processing, wave physics, and machine learning, with a focus on scalable AI solutions. He holds a PhD in Applied Mathematics from Marseille University and is a graduate of École Normale Supérieure in Paris. Research Interests: Laurent’s work bridges academia and industry, addressing challenges in massive-scale AI, optical computing, and hardware optimization. He leads cross-disciplinary R&D projects at LightOn, advancing technologies like the Optical Processing Unit (OPU) for low-power, parallel computing. Awards: Fellow of the Institut Universitaire de France Grants & Advising: Over 200 scientific publications and patents; collaborates globally with researchers and engineers. Former academic roles include Visiting Senior Lecturer at Queen Mary University of London and Visiting Professor at the National Institute for Informatics (Tokyo). Labs & Teams: Leads LightOn’s R&D initiatives, integrating optics, ML, electronics, and software engineering to tackle AI scalability challenges.

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.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI