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

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

• Operations Research
• Combinatorial Optimization
• Artificial Intelligence
• +۳ مورد دیگر

Omar Rifki is an Associate Professor (Maître de Conférences) specializing in combinatorial optimization and artificial intelligence applications. His research bridges theoretical computer science with practical logistics challenges, focusing on routing problems, process mining, and machine learning integration for complex decision systems. His core research interests include phase transitions in NP-hard problems, vehicle routing optimization under time constraints, and healthcare process modeling. Rifki's work demonstrates a consistent pattern of integrating reinforcement learning with traditional optimization techniques to solve large-scale real-world problems in transportation and logistics, with particular emphasis on spatio-temporal data effects and collaborative systems. Analysis of his 15 publications (2019-2025) reveals three dominant research thrusts: (1) Fundamental studies of combinatorial problem hardness using phase transition frameworks, (2) Practical applications of deep reinforcement learning in vehicle routing and taxi assignment, and (3) Healthcare process optimization through advanced process mining techniques. His work consistently addresses scalability challenges in real-world implementations while maintaining theoretical rigor. No scientific awards were documented in the provided materials. His collaborative work with researchers like Christine Solnon and Thierry Garaix indicates active participation in European operations research communities, though specific grant details remain unreported. Rifki's research shows increasing integration of graph theory and machine learning in transportation applications, particularly evident in his Lyon City case studies on autonomous ride-sharing systems.

Saarthak Singhمشاهده پروفایل

مدرس

• Art History
• South Asian Studies
• Architectural History
• +۵ مورد دیگر

Saarthak Singh is a Lecturer at the École française d'Extrême-Orient (EFEO) in Paris, specializing in South Asian art history. His research focuses on medieval Central India, examining architectural history, epigraphic practices, and cultural constructions of difference. He holds a PhD from New York University (2023) supervised by Finbarr Barry Flood, and previously trained at the University of St Andrews and SOAS. Before joining EFEO in 2024, he initiated a postdoctoral project at Ghent University (2023-2028) on architectural studies of coexistence and conflict supported by the Flanders Science Foundation. His research explores: Landscape and urban development in medieval Indian cities Epigraphic traditions and material culture of writing Architectural transformations of religious spaces Cross-cultural exchanges in pre-modern South Asia Talismanic objects and performative traditions Recent publications focus on Sultanate-era architecture, epigraphic practices, and cultural ecology, demonstrating consistent engagement with material culture and spatial politics in medieval South Asia. His work frequently employs interdisciplinary approaches combining art history, archaeology, and textual analysis. Awards include: Association of Art Historians Award (2015) UC Berkeley Dissertation Prize in Art History (2024) He co-directed a British Library-funded digitization project (2021-2023) on Sufi archives in Madhya Pradesh and teaches courses on Indian architecture, material culture, and pre-colonial history. Current research includes the Central India Research Group and Asia Registrations Online databases.

• Optimization
• Operational Research
• Electric Mobility
• +۳ مورد دیگر

Imene ZAIDI is a Teacher-researcher at CESI engineering school in France, affiliated with the Engineering and Digital Tools research team. Her work bridges computer science and operational research with practical applications in sustainable transportation systems. Her academic background includes: Doctorate in Optimized management of electric vehicle fleet charging from University of Haute-Alsace (2022) Engineering Diploma in Computer Systems from ex.INI Algiers (2018) ZAIDI's research centers on optimization challenges in electric mobility, particularly electric vehicle charging scheduling. She develops computational approaches including heuristics, metaheuristics, and exact algorithms to address grid capacity constraints, demand satisfaction, and energy maximization in unbalanced power systems. Her work integrates operational research with real-world transportation and energy infrastructure challenges. Analysis of her 2020-2024 publications reveals consistent focus on preemptive scheduling, computational complexity, and multi-objective optimization in electric vehicle ecosystems. The research demonstrates increasing sophistication from foundational scheduling models to grid-integrated solutions addressing three-phase power imbalances and capacity limitations. She teaches computer science courses including Object-oriented programming, Algorithms, Databases, Embedded systems, Web development, and Information systems to engineering and bachelor's students across multiple academic levels. The Engineering and Digital Tools research team at CESI provides the collaborative framework for her investigations into decision support systems for sustainable mobility and energy-efficient transportation solutions.

Iza Marfisiمشاهده پروفایل

استاد

• Educational Technology
• Serious Games for Education
• Mobile Learning
• +۵ مورد دیگر

Iza Marfisi is a Professor at the University of Le Mans where she became a University Professor in 2024 and was appointed Head of the IEIAH (Computer Environments for Human Learning) team in 2025. She works within the Claude Chappe Institute of Computer Science, focusing on developing educational technologies that empower teachers to create their own digital learning tools. Her research bridges computer science and educational theory to enhance teaching practices through accessible technology solutions, with particular emphasis on making advanced tools usable for non-technical educators. Marfisi's research spans Educational Technology, Serious Games for Education, Mobile Learning, and Extended Reality (XR), with a consistent focus on teacher-centered design. She develops "no-code" authoring tools enabling educators to create custom digital learning experiences deployable across various hardware platforms. Her work specifically targets situated learning with mobile devices, human-computer interactions for learning, and educational applications of mixed and extended reality. This approach democratizes access to advanced educational technologies by removing technical barriers for teachers. Analysis of her recent publications reveals a clear evolution from foundational mobile learning frameworks toward increasingly sophisticated integration of mixed reality and artificial intelligence in educational contexts. Her 2024-2025 work shows particular emphasis on generative AI for educational activity design, immersive pharmacology learning, and collaborative frameworks that connect multiple learning technologies. The publications consistently emphasize practical teacher needs, with many studies conducted in authentic educational settings rather than controlled laboratory environments. Marfisi actively supervises doctoral research across multiple dimensions of educational technology. Her current advisees explore artificial intelligence for mixed reality activity creation, mixed reality for professional training, free software approaches to serious games, and innovative interaction techniques for collaborative learning. Previous students have investigated mixed reality for fraction learning, educational game indexing systems, and mobile educational game design models. Her supervision portfolio demonstrates both depth in specific technical areas and breadth across the educational technology landscape. As Head of the IEIAH team at LIUM since 2025, Marfisi leads a research group focused on computer environments for human learning. She also serves on the Board of Directors for both the Serious Game Society and the IKIGAI association (Games for citizens), and was elected Deputy Director of Research at the Claude Chappe Institute of Computer Science since 2018. Her leadership extends to communications management for the IEIAH team and participation in the LIUM Laboratory Council (2022-2024), demonstrating significant institutional impact beyond her direct research contributions.

• Software Engineering
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Role & Affiliation: Jean-Christophe BACH is an Associate Professor at IMT Atlantique's Computer Science department since 2015. He leads the PASS research group (IRISA) and focuses on software security, model-driven engineering, and cybersecurity applications. Previously, he held roles as a teaching assistant (ATER) at University of Lille (2014–2015) and completed his PhD on model transformations at Inria/LORIA under Pierre-Étienne Moreau and Marc Pantel (defended 2014). Research Interests: His work centers on improving software trustworthiness through 'security by design' principles. Key areas include model federation, formal methods for software verification, transformation traceability, and cybersecurity in industrial systems. He actively contributes to frameworks like Openflexo and PAMELA, emphasizing practical tooling for secure systems engineering. Teaching & Education: Teaches advanced topics such as object-oriented design, functional programming (OCaml), concurrency modeling, and cybersecurity. Supervises student projects on Openflexo, game development, and network security (IPv6/Tor). Courses include INF301, INF447, and others. Labs & Collaborations: Engaged with IRISA and Lab-STICC research centers. Collaborates on projects like the European Space Agency's SSE4Space framework for secure space missions and the Quarteft project (aerospace software). Active in open-source initiatives and scientific mediation for K-12 programming education.

Yao Liمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Dependent Types

Yao Li is an Assistant Professor of Computer Science at Portland State University, specializing in Programming Languages, Formal Verification, and Dependent Types. They earned a Ph.D. in Computer and Information Science from the University of Pennsylvania (2022), supervised by Stephanie Weirich, and hold a Master’s and Bachelor’s in Software Engineering from Shanghai Jiao Tong University (2016, 2013) under Zhengwei Qi. Ph.D., Computer and Information Science, University of Pennsylvania (2022) M.S., Software Engineering, Shanghai Jiao Tong University (2016) B.S., Software Engineering, Shanghai Jiao Tong University (2013) Their research focuses on formal verification of functional programming languages, particularly Haskell, and mechanized proofs using tools like Coq. They work on specifying and verifying networked servers, lazy program cost analysis, and embedded systems through program adverbs and Tlön embeddings. Recent publications (2018-2025) demonstrate expertise in Haskell verification, formal methods, and interaction trees. Key trends include bridging the gap between mechanized formalization and real-world code, advancing lazy evaluation semantics, and enhancing software verification through dependent types. Yao Li actively participates in academic service as a committee member and session chair in conferences like POPL, ICFP, and PLDI, contributing to artifact evaluation, program organization, and student research competitions.

François MAONمشاهده پروفایل

استاد

• Corporate Social Responsibility (CSR)
• Sustainability Management
• Organizational Change
• +۵ مورد دیگر

Professor François MAON is a Full Professor at the IÉSEG School of Management, specializing in Strategy and Sustainability. He holds a Ph.D. in Management Sciences from the Louvain School of Management (Belgium) and has held academic roles including Visiting Researcher at Copenhagen Business School and UC Berkeley. His research focuses on corporate social responsibility (CSR), sustainability management, organizational change, and stakeholder engagement. Notable contributions include frameworks for CSR implementation, stakeholder reaction analysis, and peace-oriented business strategies. He has been recognized with awards such as the 2019 CSRCOM Best Paper Award and an Honorary Fellowship from the Belgian American Education Foundation. His teaching spans undergraduate and executive programs, covering corporate social responsibility, business ethics, and strategic management. Key publications explore CSR tensions, hybrid organization dynamics, and governance challenges in social enterprises. He has authored/co-authored books on sustainable entrepreneurship and stakeholder engagement, reflecting his commitment to bridging theory and practice in responsible business. Research highlights include analyzing CSR's 'dark side' effects, strategic uses of humor in corporate communications, and cross-sector partnerships for disaster relief. His work frequently integrates organizational learning theories and micro-level dynamics to address CSR challenges. Current research trends emphasize conflict resolution in business operations and sustainable innovation through coopetition.

François Pottierمشاهده پروفایل

پژوهشگر

• programming languages
• functional programming
• type systems
• +۵ مورد دیگر

François Pottier is a senior researcher at Inria in Paris, France, where he leads the Cambium research team. He is affiliated with the Gallium research group and has maintained an active research profile spanning several decades in programming languages and formal methods. His research focuses on programming languages , particularly functional programming and OCaml, type systems design and implementation, program verification using separation logic, and compiler construction . His work bridges theoretical foundations with practical implementation, evidenced by numerous open-source software tools he has developed. Pottier's publication record shows consistent contributions to top programming languages conferences (POPL, ICFP, ESOP) with recent work emphasizing separation logic frameworks, resource analysis, and formal verification of OCaml systems. His research demonstrates a clear trajectory from foundational type theory toward practical verification techniques for real-world programming languages. He has advised numerous PhD students including Remy Seassau, Tiago Soares, Clément Allain, and Alexandre Moine, among others, many of whom have gone on to research positions at institutions like New York University, Imperial College London, and Inria itself. Pottier maintains active service roles in the programming languages community as a member of IFIP Working Group 2.8 on Functional Programming and IFIP Working Group 2.16 on Language Design, and serves on program committees for major conferences including upcoming roles for JFLA 2026 and ITP 2026. He leads the Cambium research team at Inria, which focuses on programming language theory and implementation, particularly around OCaml and formal verification. The team develops both theoretical frameworks and practical tools that have influenced the broader programming languages ecosystem.

• Software Engineering
• Model-Driven Engineering
• Digital Twins
• +۳ مورد دیگر

Antoine Beugnard is a Professor in the Computer Science Department at IMT Atlantique. He received his PhD in Computer Science from the University of Rennes 1 (1993) and accreditation to supervise research in 2005. His career spans academia and industry, including roles at ENST-Bretagne, Telecom Bretagne (now IMT Atlantique), and Michael Jackson France. Education: PhD in Computer Science (University of Rennes 1, 1993), Accreditation to Supervise Research (2005) Affiliation: IMT Atlantique, Lab-STICC (UMR 6285), P4S team Beugnard's research focuses on software modeling, particularly digital twins, model federation (via Openflexo/FML), and late-binding semantics in heterogeneous object-oriented languages. He explores interoperability challenges in multi-language systems and advocates for unified semantics to improve component compatibility. Key trends in his publications include model-driven engineering, digital twin architectures, and formal modeling notations. His work bridges theoretical foundations with industrial applications, notably in telecom systems for Orange and multi-level modeling frameworks. Advising and grants highlight his mentorship of 10+ PhD candidates and leadership in projects like Openflexo. He actively contributes to academic discussions on modeling methodologies and software development processes.

Dominique Blouinمشاهده پروفایل

دانشیار

• Model-Based Engineering
• Multi-Paradigm Modeling for Cyber-Physical Systems
• Model Management
• +۵ مورد دیگر

Dominique Blouin is an Associate Professor at Telecom Paris, Institut Polytechnique de Paris, and a member of the Autonomous Critical Embedded Systems (ACES) research group within the Information Processing and Communications Laboratory (LTCI). With a PhD in computer science from the University of South Brittany and prior industrial experience as a software architect at Cassiopae and research engineer at Lab-STICC, Blouin bridges academic research and industrial application in model-based engineering. Bachelor of Science in Physics, University of Sherbrooke (1989) Master of Science in Astrophysics, University of British Columbia (1994) PhD in Computer Science, University of South Brittany (2011) Blouin’s research focuses on multi-paradigm modeling (MPM) for cyber-physical systems (CPS), emphasizing model management, domain-specific language (DSL) development, and scalability of model-based approaches. Key projects include the ontological foundation for MPM4CPS and the ALISA framework for architecture-led system assurance. Their work leverages the SAE AADL standard for industrial applications, addressing challenges in model synchronization, requirements engineering, and power-aware design. Recent publications highlight advancements in AADL-based model management, incremental transformation tools, and ROS-based robotic system modeling. Blouin’s contributions to model-driven engineering have been recognized with the SoSyM-First Paper award at MODELS 2022. SoSyM-First Paper award, MODELS 2022 Blouin has supervised numerous PhD, Master’s, and Bachelor’s students, authored tools like RAMSES and OSATE-DIM for AADL processing, and participated in standardization committees (SAE AADL) and organization of international workshops (MPM4CPS, MODELS). Their teaching includes object-oriented programming, embedded system modeling with AADL, and real-time systems courses.

Thibault Tricardمشاهده پروفایل

دانشیار

• Computer Graphics
• Procedural Modeling
• 3D Printing
• +۵ مورد دیگر

Thibault Tricard is an Associate Professor at Ensimag Grenoble and a permanent researcher in the Maverick team at Inria Grenoble. His work bridges Computer Graphics and Additive Manufacturing , focusing on procedural methods for virtual world content generation. His research interests include: Procedural modeling for surface and microstructure details Mesh shaders and GPU-accelerated volume rendering 3D printing optimization with staggered infill structures Recent publications like Interval Shading (HPG 2024) and Procedural Phasor Noise (ACM Siggraph 2020) highlight trends in real-time rendering and fabrication-aware procedural synthesis. Awards include the GDR IG-RV Thesis Award 2023 . He advises PhD students and collaborates with researchers such as Sylvain Lefebvre and Hans-Peter Seidel. Teaching includes GP-GPU High-Performance Computing and 3D Graphics at Inp Grenoble and UGA Mosig. Personal projects like the LavaCake Vulkan library emphasize developer accessibility.

Robert Voyerمشاهده پروفایل

دانشیار

• Management Information Systems
• Object-Oriented Programming
• Knowledge Representation
• +۴ مورد دیگر

Robert Voyer is an Associate Professor at Institut Mines-Télécom Business School (IMT-BS), specializing in Management Information Systems. His work bridges computer science and ethical considerations in technology. PhD in Computer Science & Artificial Intelligence (University of Paris 6, 1989) Active in teaching and research since 2000 Focus areas: object-oriented languages, knowledge representation, J2EE architecture, and ethical implications of AI His research explores intersections of: Autonomous agent ethics Big data platforms (Hadoop, Spark) Enterprise architecture patterns Philosophy of knowledge in technical systems Recent publications address ethical conflict resolution in multi-agent systems and responsible AI implementation. He contributes to interdisciplinary collaborations across French institutions including CNRS, EHESS, and ONERA. Teaching engagements include: Leading courses on AI fundamentals (INF 6701, INF 6704) Coordinating data science modules (MIS 5520) Designing curriculum on enterprise architecture (INF 6708) Addressing data ethics (MAN 6704, MAN 6707)

• Programming Languages
• Formal Verification
• Functional Programming
• +۹ مورد دیگر

Li-yao Xia is a researcher at INRIA Saclay in France, with a focus on programming languages, formal verification, and functional programming. His research explores bidirectional programming, lazy evaluation, concurrency, and mechanized verification using tools like Coq and Haskell. His work spans conferences such as ICFP, POPL, and SPLASH, where he has authored and co-authored papers on topics including interaction trees, transactional objects, and demand semantics for cost analysis. He has also served on program committees for Haskell and HIW. For more details, visit his personal website: https://poisson.chat .

• Programming Languages
• Logic and Type Theory
• Logical Frameworks
• +۵ مورد دیگر

Frank Pfenning is a Professor in the Department of Computer Science at Carnegie Mellon University's School of Computer Science. With decades of active research and service in programming languages and logic communities, he maintains a significant presence across major conferences including POPL, ICFP, and ESOP. His research spans foundational work in Programming Languages , Logic and Type Theory , Logical Frameworks , Automated Deduction , and Trustworthy Computing . Recent publications reveal a strong focus on session types, substructural logics, and their applications to concurrency and distributed systems. His work bridges theoretical foundations with practical implementations for reliable communication protocols. Analysis of his publication trends shows a consistent evolution from foundational type theory toward practical applications in concurrent and distributed systems. The integration of logical frameworks with session types represents a signature research trajectory, increasingly addressing real-world challenges in protocol verification and deadlock freedom. As an active community member, Pfenning has served on numerous program committees including POPL (2016-2025), ICFP (2015-2022), and ESOP. His mentoring activities include PLMW@POPL presentations, demonstrating commitment to training next-generation researchers. His technical contributions are primarily disseminated through premier venues in programming languages research. The absence of explicit grant information in available sources suggests focus on theoretical contributions rather than large-scale funded projects, though his sustained conference participation indicates stable institutional support.