جست‌وجوی استاد و پژوهشگر

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

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.

Salim ROSTAMIمشاهده پروفایل

دانشیار

• Operations Research
• Scheduling under Uncertainty
• Project Planning and Scheduling
• +۳ مورد دیگر

Salim ROSTAMI is an Associate Professor at the IÉSEG School of Management in France, specializing in Operations Management. He holds a Ph.D. in Economics and Mathematics Sciences from KU Leuven (2019) and a Master’s in Engineering from KU Leuven (2013), alongside a Bachelor’s in Industrial Engineering from Ferdowsi University of Mashhad (2012). His research focuses on scheduling under uncertainty, project planning, combinatorial optimization, and healthcare logistics. Notable achievements include the 2016 2nd Best Conference Paper Award from the University of Valencia. Education: Ph.D., Economics and Mathematics Sciences, Operations Management, KU Leuven, Belgium (2019) Master, Engineering, Operations Research, KU Leuven, Belgium (2013) Bachelor, Engineering, Industrial Engineering, Ferdowsi University of Mashhad, Iran (2012) His work spans stochastic resource-constrained project scheduling, sequential testing of systems, and chemotherapy appointment scheduling. He has published widely in journals like the European Journal of Operational Research and Flexible Services and Manufacturing Journal. Teaching roles include courses on operations management and project management across undergraduate and graduate programs. Awards: 2016: 2nd Best Conference Paper Award, University of Valencia His research emphasizes practical applications in healthcare and project management, leveraging dynamic programming and metaheuristic algorithms. Collaborations include work with institutions like École des Mines de Saint-Étienne and KU Leuven.

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.

• statistical machine learning
• optimization
• sparse methods
• +۵ مورد دیگر

Francis Bach is a Professor and researcher at INRIA, leading the SIERRA project-team since 2011, which is part of the Computer Science Department at Ecole Normale Supérieure (ENS) within PSL Research University. His work bridges CNRS, ENS, and INRIA as a joint research effort. Elected to the French Academy of Sciences in 2020, he currently runs the ERC project SEQUOIA following his previous ERC project SIERRA (2009-2014). His research spans statistical machine learning with focus on optimization, sparse methods, kernel-based learning, neural networks, graphical models, and signal processing. Bach completed his Ph.D. in Computer Science at U.C. Berkeley under Professor Michael Jordan, followed by work at Ecole des Mines de Paris and the WILLOW project-team at INRIA/ENS/CNRS (2007-2010). His recent book "Learning Theory from First Principles" was published by MIT Press in December 2024. Bach's publication record shows consistent high-impact contributions across machine learning theory and applications, with recent work focusing on conformal prediction, diffusion models, optimization theory, and learning theory foundations. His research demonstrates strong connections between theoretical guarantees and practical algorithms, with applications spanning generative modeling, robust optimization, and statistical inference. Elected to French Academy of Sciences (2020) ERC project SIERRA (2009-2014) ERC project SEQUOIA (current) Author of "Learning Theory from First Principles" (MIT Press, 2024) Bach actively mentors numerous PhD students and postdocs, with many alumni now holding faculty positions at institutions like EPFL, Ecole Polytechnique, University of Washington, and University of Montreal. His teaching includes advanced courses on learning theory at ENS's Master's programs. He regularly presents tutorials at major conferences including COLT, NeurIPS, and ICML, demonstrating his leadership in the theoretical machine learning community.

• Quantum Field Theory
• Scattering Amplitudes
• Gravitation
• +۵ مورد دیگر

Julio Parra-Martinez is a Permanent Professor at the Institut des Hautes Études Scientifiques (IHES) since 2024. Originally from Spain, he completed his undergraduate studies at the University of Valencia, followed by a MASt in Applied Mathematics from the University of Cambridge in 2015, and a PhD in Physics from UCLA in 2020. Prior to joining IHES, he was a Sherman Fairchild Prize Postdoctoral Fellow at Caltech for three years and an Assistant Professor at the University of British Columbia for one year. His educational background includes: Undergraduate: University of Valencia, Spain MASt in Applied Mathematics: University of Cambridge (2015) PhD in Physics: University of California Los Angeles (2020) Parra-Martinez is a theoretical physicist specializing in quantum field theory, scattering amplitudes, gravitation, effective field theories, and string theory. His recent work focuses on importing techniques from particle physics to classical general relativity, with applications to gravitational-wave and black-hole physics. He has made significant contributions to understanding how scattering amplitude techniques, originally developed for particle colliders, can be applied to gravitational systems. His research bridges the gap between quantum field theory and classical gravity, particularly in the context of binary black hole systems and gravitational wave emission. His publication record shows a consistent focus on using scattering amplitude methods to tackle problems in gravitational physics. Over the past five years, he has published extensively on post-Minkowskian expansions, gravitational waveforms, soft theorems, and connections between quantum field theory and classical gravity. His work often involves collaborations with leading researchers in the field and demonstrates how techniques from particle physics can be adapted to gravitational systems, particularly in the context of extreme mass ratio binaries and gravitational wave physics. Among his notable scientific achievements are: Mayhew Prize (2015) Fulbright Fellowship (2015-2020) Sherman Fairchild Prize Postdoctoral Fellowship Parra-Martinez is actively involved in the theoretical physics community, with numerous upcoming seminars, talks, and lectures scheduled through 2026 at institutions worldwide including ICTP Trieste, Universidade de Sao Paulo, University of Southampton, and others. His research program continues to explore the connections between particle physics techniques and gravitational physics, with particular emphasis on gravitational wave astronomy and black hole physics.

• Political Science
• International Relations
• French Foreign Policy
• +۳ مورد دیگر

Florent Pouponneau is a Professor at Toulouse Capitole University, affiliated with the Institute of Space, Territorial, Cultural and Communication Law (IDETCOM). His research centers on political science, particularly focusing on French foreign policy, nuclear non-proliferation, bureaucratic dynamics in international interventions, and European security frameworks. 2015 : Published research on French nuclear non-proliferation policy. 2022 : Co-edited a book analyzing the French intervention in Mali through bureaucratic and political lenses. Repeated Collaborations : Frequently works with scholars like Johanna Siméant-Germanos and Grégory Daho on diplomatic and military policy topics. His publications highlight the intersection of domestic bureaucratic struggles and international policy outcomes, with a focus on France's role in nuclear diplomacy and military interventions. His methodological approach often integrates fieldwork and sociological analysis of institutions. Key themes across his work include: Nuclear non-proliferation and export policy French diplomatic practices in conflict zones Bureaucratic constraints on foreign policy decisions European Union security governance International intervention dynamics

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.

Christine Di Martinellyمشاهده پروفایل

دانشیار

• Operations Management
• Healthcare Systems
• Supply Chain Optimization
• +۱ مورد دیگر

Christine Di Martinelly is an Associate Professor in Operations Management at IÉSEG School of Management. She holds two PhDs in Economic and Management Sciences from Louvain School of Management and Applied Sciences from INSA Lyon. Her research focuses on operations management, healthcare systems, supply chain optimization, and resource allocation. Di Martinelly's extensive publication record addresses operational challenges in healthcare, including surgical scheduling, inventory management, and resource allocation. Her work employs mathematical modeling, optimization algorithms, and multicriteria decision analysis to improve efficiency in healthcare delivery systems. She has served as Academic Director at IÉSEG since 2014 and has professional experience as a consultant at Arthur Andersen earlier in her career.

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.

Delphine Allèsمشاهده پروفایل

استاد

• Southeast Asia and International Relations
• Global International Relations and Area Studies
• Religion and International Relations
• +۵ مورد دیگر

Delphine Allès is a University Professor at the National Institute of Oriental Languages and Civilizations (INALCO) in Paris, France, where she serves as Vice-President responsible for board of directors, organization and resources. She is a leading scholar in International Relations with a focus on Southeast Asia, particularly Indonesia, and specializes in non-Western approaches to international relations, religion in global politics, and Indo-Pacific security dynamics. Her research interests span multiple interconnected domains: Religion and International Relations Non-Western Approaches to International Relations Diplomacy, Security and Multilateral Cooperation in Southeast Asia (Indonesia / Indo-Pacific) Civilizational Narratives Global International Relations and Area Studies Allès's scholarly work demonstrates a consistent focus on decentralizing International Relations theory through empirical studies of Southeast Asian practices. Her recent publications examine the Indo-Pacific concept, religious diplomacy between Russia and Indonesia, and critiques of Western-centric security frameworks. She has pioneered research on how non-Western civilizations conceptualize international order, particularly through religious frameworks. Professor Allès serves on the editorial boards of multiple prestigious journals including European Journal of East Asian Affairs, Global: Jurnal politik internasional, and Archipel. She is also Scientific manager of the AMI-SHS DECRIPT program focused on crises and civilizational narratives. Her administrative leadership includes membership on the Scientific and Strategic Council of Pôle Asie (MEAE) and the board of the French Political Science Association. Previously, she directed the International Relations department at INALCO (2018-2023) and co-edited the journal Etudes internationales (2021-2024).

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.

Guibourg Delamotteمشاهده پروفایل

استاد

• Political Science
• Japanese Domestic Politics
• International Relations
• +۴ مورد دیگر

Guibourg Delamotte is a tenured Full Professor of Political Science and head of the Japanese Studies Department at the French Institute of Oriental Studies (Inalco), where she has been affiliated since 2006. She also teaches at Sciences Po Paris and holds international research fellowships at the University of Tokyo’s Research Center for Advanced Science and Technology (RCAST), Temple University Japan, and the Japan Forum on International Relations (Tokyo). Her career spans Japanese defense policy, domestic politics, parliamentary institutions, and Indo-Pacific security dynamics. Education: Law, University of Paris Panthéon Assas Law, University of Oxford Japanese (BA, MA), Inalco Political Science, Sciences Po Paris PhD in Political Studies, EHESS (2007, Highest Honours, Shibusawa-Claudel Award) Habilitation à Diriger des Recherches, Sciences Po Paris (2022) Her research focuses on Japanese domestic and foreign policy, parliamentary governance, defense modernization, and Indo-Pacific security. She has authored/co-edited eight books, including Le Japon, un leader discret (Eyrolles, 2023) and La Démocratie au Japon, singulière et universelle (ENS Ed., 2022), and over 20 journal articles and book chapters. Recent publications emphasize Japan's strategic evolution in the Indo-Pacific, AUKUS implications, and democratic governance challenges. She examines security policy intersections with domestic politics, legal frameworks, and international alliances. Scientific Awards: Shibusawa-Claudel Award for PhD dissertation Highest Honours (PhD, EHESS) Delamotte leads the French Research Institute on East Asia (IFRAE)’s program on Contemporary East Asia's trajectory. She serves on the National Academic Council’s Political Science Section (CNU, Section 4) and contributes to policy debates through academic and governmental institutions.

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.