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

Antonio Kungمشاهده پروفایل

مدرس

• Embedded Systems
• Real-Time Systems
• Privacy in Intelligent Transportation Systems (ITS)
• +۶ مورد دیگر

Antonio Kung is a Lecturer with 30 years of experience in embedded systems. He co-founded Trialog in 1987 and currently serves as its Chief Technology Officer (CTO), leading product development and collaborative projects in embedded systems, privacy for Intelligent Transportation Systems (ITS), ICT for aging populations, and smart grids. He holds a Master's degree from Harvard University and an Engineering degree from École Centrale Paris. His research focuses on privacy-preserving technologies in transportation systems, ambient assisted living (AAL) platforms, and real-time embedded systems. Key areas include securing vehicular communication networks, designing flexible distributed systems (Flex-eWare), and creating interoperable solutions for aging-in-place technologies. He has contributed to projects like the Sevecom initiative for secure vehicle networks and the TEAHA framework for open home networks. Dr. Kung has presented at major conferences such as the Transport Research Arena 2008, ACM Computers, Freedom, and Privacy (CFP) 2010, and the European Innovation Partnership on Active and Healthy Ageing. His work bridges industry and academia, emphasizing practical implementations of privacy-by-design principles in embedded and smart systems. He has been actively involved in interdisciplinary initiatives, including the European Commission’s AAL Interoperability Days, where he addressed complexities in managing AAL systems. His publications span topics from Ada run-time libraries (1980s) to modern challenges in IoT and aging technologies, reflecting a career-long commitment to advancing embedded systems security and usability.

Antoine Miechمشاهده پروفایل

پژوهشگر

• Computer Vision
• Machine Learning
• Natural Language Processing
• +۷ مورد دیگر

Antoine Miech is a Researcher at DeepMind's Vision Group , with prior affiliations at Inria and Ecole Normale Supérieure where he completed his computer vision Ph.D. under Ivan Laptev and Josef Sivic . He has collaborated with researchers from Facebook AI and Google during his academic career. Research Interests span video understanding, weakly-supervised machine learning, and multimodal analysis. His work focuses on: Text-video embedding Self-supervised video representation Action localization Anticipatory video modeling Scalable multimodal learning Scientific Contributions include: HowTo100M - A massive dataset of narrated instructional videos MIL-NCE - A novel loss function for video-text alignment MEE - A model for handling heterogeneous data Context Gating - Learnable pooling architecture Awards & Recognition : Google Ph.D. Fellowship (2018) Technical Leadership : Created the LOUPE TensorFlow toolbox for feature pooling and maintained annotated video dataset catalogs. Organized the Data Science Game competition (2016-2017).

• Programming Languages
• Formal Verification
• Compilers
• +۵ مورد دیگر

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

Renaud Pacaletمشاهده پروفایل

پژوهشگر

• Hardware Security
• Side-Channel Attacks
• Embedded Systems
• +۷ مورد دیگر

Renaud Pacalet is a Researcher at Institut Mines-Télécom – Télécom Paris , affiliated with the Communications and Electronics (Comelec) Department and the System on Chip (LabSoc) research team under the Information Processing and Communication Laboratory (LTCI). His work spans hardware security, embedded systems, and software-defined radio (SDR) architectures. Current Research: Hardware security, side-channel attacks (power, timing, fault injection), RISC-V security analysis using gem5, FPGA scheduling for cloud data centers, and model-driven design methodologies. Past Research: Hardware acceleration for ray tracing, SDR front-end processing, SoC security, and memory bus protection (SecBus project). Teaching: Courses on Digital Systems, Computer Architecture, and Hardware Security at EURECOM, including lab sessions on side-channel attacks and fault analysis. Email: renaud.pacalet@telecom-paris.fr Contact: Télécom ParisTech, Campus SophiaTech, 450 route des Chappes 06410 Biot, France

• Real-time Systems
• Model Checking
• Critical Systems
• +۴ مورد دیگر

Yasmina Abdeddaïm is an Associate Professor at Université Gustave Eiffel and affiliated with ESIEE Paris. She works within the Laboratoire d'Informatique Gaspard-Monge (Softwares, Networks and Real-time team) and serves as Head of the Master in Artificial Intelligence and Cybersecurity (AIC) program. Her research focuses on real-time systems, critical systems, and scheduling algorithms. University: Université Gustave Eiffel Role: Head of Master AIC program Laboratory: Laboratoire d'Informatique Gaspard-Monge Team: Softwares, Networks and Real-time Her research spans real-time systems , mixed-criticality scheduling , energy-harvesting systems , and probabilistic schedulability . Recent publications analyze compilation optimization impacts on timing variability and propose new models for real-time deep neural networks over GPUs. She employs formal methods like timed automata for scheduling verification. Her teaching includes courses on Real-time Systems , Model Checking , Critical Application Development , and Artificial Intelligence . She is based at Cité Descartes, Champs-sur-Marne, France, with office contact details provided.

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.

Oum El Kheir Aktoufمشاهده پروفایل

استاد

• Dependability
• Safety
• Security
• +۵ مورد دیگر

Oum El Kheir Aktouf is a Professor in Computer Science at Grenoble Institute of Technology (Esisar Engineering School) and a member of the LCIS laboratory, France. She previously served as a Visiting Professor at San José State University, USA, during a sabbatical leave. Education : Master and PhD in Computer Science from Grenoble Institute of Technology Her research focuses on dependability, safety, and security of embedded and interconnected systems, including sensor-based applications and multi-agent architectures. She employs runtime testing, diagnosis, and monitoring approaches. Her work spans mobile application testing, fault diagnosis in RFID and wireless sensor networks, and security frameworks for autonomous systems. Recent publications highlight trends in Android security benchmarking , decentralized cryptography , and multi-agent resilience . She has participated in 12 funded national and international research projects and supervised courses in operating systems, real-time systems, distributed computing, and system dependability.

Tarik Grabaمشاهده پروفایل

مدرس

• Hardware Security
• Embedded Systems Design
• Integrated Circuit Reliability
• +۳ مورد دیگر

Tarik Graba is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) department. His work focuses on hardware security, embedded systems, and cryptographic implementation. Education: Not explicitly mentioned Current Affiliations: Télécom Paris (Faculty), LTCI, SSH Team His research explores designing secure and reliable integrated systems , with emphasis on managing complexity, power consumption, and flexibility in embedded environments. He contributes to side-channel analysis , lightweight cryptographic algorithms , and hardware-based security mechanisms . The 15 most recent publications highlight his work in lightweight cryptography , hardware security , and embedded system optimization , particularly focusing on RISC-V extensions , side-channel leakage , TRNG circuits , and secure cryptographic processors . Scientific Awards Academic Palms award, Télécom Paris (2021) Tarik Graba collaborates extensively in hardware security research and has advised multiple projects on physical security countermeasures and embedded cryptographic systems . He works with teams like the SSH Laboratory to develop secure hardware architectures.

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.

Sylvain Conchonمشاهده پروفایل

استاد

• Formal Methods
• Automated Deduction
• Program Verification
• +۱۰ مورد دیگر

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

Amel MAMMARمشاهده پروفایل

استاد

• Formal Methods
• Software Verification
• Computer Security
• +۳ مورد دیگر

Amel MAMMAR is a Professor at Telecom SudParis, specializing in formal methods and software verification. Her work focuses on applying the Event-B method to model and verify critical systems such as automotive systems, railway signaling, and cloud applications. She has contributed extensively to the development of formal approaches for ensuring correctness in embedded systems, smart contracts, and security protocols. Her research integrates formal modeling with tools like SAGEMATH for hybrid systems analysis and ProB for policy validation. MAMMAR collaborates on projects involving requirements engineering, safety-critical systems, and access control mechanisms. Her key contributions include Event-B models for automotive exterior lighting systems, railway standards (ERTMS/ETCS), and cloud resource allocation. She has published widely in venues like the International Journal on Software Tools for Technology Transfer and IEEE Transactions, emphasizing formal verification techniques for safety and security. Her work bridges theoretical formal methods with practical applications in industry sectors like transportation and aerospace.

Pasquale Lisenaمشاهده پروفایل

پژوهشگر ارشد

• Knowledge Graphs
• Knowledge Engineering
• Recommender Systems
• +۳ مورد دیگر

Pasquale Lisena is a Research Fellow in the Data Science department at EURECOM, where he contributes to the Data2Knowledge research group. His work bridges academic research with practical applications in knowledge-intensive domains. Education: PhD in Computer Science from EURECOM / Sorbonne University (2019), thesis: "Knowledge-based music recommendation: Models, algorithms and exploratory search" supervised by Raphaël Troncy His research centers on Knowledge Graphs, Knowledge Engineering, and Recommender Systems with strong applications in cultural heritage and music. Key specializations include: Semantic Web technologies for domain-specific knowledge representation Information extraction from multimedia and text sources Development of ontologies for complex cultural domains Music metadata modeling and recommendation systems Recent publications reveal a trajectory from foundational music metadata work (2018-2019) toward cutting-edge applications in olfactory heritage (Odeuropa) and language model-driven recommendation (2025). His research consistently integrates knowledge graphs with machine learning, demonstrating expertise in both classical music informatics and emerging sensory heritage domains. Awards: Best Resource Paper Award (2022) for Odeuropa Data Model publication Funding and Collaboration: ANR JCJC project coordinator for kFLOW (2022-2024) Key contributor to EU H2020 projects including Odeuropa, SILKNOW, and MeMAD Extensive cross-institutional collaboration across European cultural heritage initiatives He operates within EURECOM's Data2Knowledge group, participating in international research consortia focused on knowledge-intensive applications in cultural heritage preservation and digital humanities.

• Embedded Systems
• Synchronous Languages
• Theorem Proving
• +۸ مورد دیگر

Timothy Bourke is a Researcher at Inria in the PARKAS team , affiliated with the Informatics Department of École normale supérieure (ENS) . He also serves as an Adjunct Professor at the Informatics Department of École Polytechnique , contributing to both institutions' academic and research missions. Research Focus: His work centers on rigorous approaches to modeling, programming, and verifying embedded control systems. This includes developing and analyzing Vélus (Verified Lustre) and Zélus (synchrony + ODEs) , integrating formal methods with practical applications like robotic wheelchair control systems, infrared sensors, microkernel operating systems, microprinter components, and wireless routing protocols. Academic Service: Active in program committees for conferences including DAC , ECRTS , EMSOFT , iFM , JFLA , and SETTA , including chairs/co-chairs at ESOFT 2019 , JFLA 2022-2023 , and SETTA 2024 . Regular reviewer for journals like ACM Transactions on Embedded Computing Systems and Real-Time Systems . Students: Advised Guillaume Baudart (2013–2017), Lélio Brun (2016–2020), Paul Jeanmaire (2020–2024), and Basile Pesin (2020–2023). Labs/Teams: Core member of the PARKAS team at Inria, focusing on embedded systems and synchronous language design. His technical contributions include software tools like Muttlight , Sundials/ML , and Urpal for timed trace inclusion testing. He also teaches courses such as L3 at ENS , MPRI INF559 , and CSE205 at École Polytechnique .

Romain Raveauxمشاهده پروفایل

دانشیار

• Image Analysis
• Machine Learning
• Structural Pattern Recognition
• +۵ مورد دیگر

Romain Raveaux is an Associate Professor at the LIFAT Computer Science Laboratory, University of Tours, affiliated with Polytech Tours. His research focuses on Image Analysis, Machine Learning, Structural Pattern Recognition, Graph Matching, Graph Neural Networks, Discrete Optimization, Reinforcement Learning, and Transfer Learning . Email: romain.raveaux@gmail.com , romain.raveaux@laposte.net Address: 64 av. Jean Portalis, Tours, France, 37200 Phone: +33 (0)2 47 36 14 27 Research Interests Graph Matching and Neural Networks Discrete Optimization for Pattern Recognition Transfer Learning in Graph-Based Models Historical Document Analysis Scientific Trends His recent work bridges Graph Neural Networks with Mixed-Integer Programming , focusing on Image Semantic Segmentation and Graph Cycle Detection . Earlier studies emphasize Genetic Algorithms for graph classification and Graph Edit Distance optimization in pattern recognition.

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.