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

Yannick Benezethمشاهده پروفایل

استاد

• video health monitoring
• video analytics
• remote photoplethysmography
• +۵ مورد دیگر

Yannick Benezeth is a Professor of Computer Science at Université de Bourgogne Franche-Comté in Dijon, France, where he teaches courses on databases, optimization, and image/video processing at the IUT de Dijon. He conducts research at the ImViA research laboratory (EA7535), focusing on video health monitoring and video analytics applications. His academic journey includes serving as an Associate Professor from 2011-2024 and earning his Habilitation à Diriger des Recherches (HDR) in 2019. Dr. Benezeth's research interests center on video-based health monitoring systems, particularly remote photoplethysmography (rPPG) for non-contact vital sign measurement. His work spans computer vision , video analytics , and physiological signal processing , with applications in stress detection, abnormal event recognition, and health monitoring. He has developed several publicly available datasets including UBFC-Phys, UBFC-RPPG, and IMVIA-NIR that have become valuable resources for researchers in affective computing and remote physiological monitoring. His publication record demonstrates consistent contributions to top computer vision venues including CVPR, ICPR, and IEEE Transactions. Recent work shows a clear trend toward multimodal approaches combining video analysis with physiological signal processing, particularly in psychophysiological stress studies. The UBFC-Phys dataset published in 2021 represents a significant contribution to affective computing research with over 50 participants and comprehensive physiological measurements. As a research supervisor with HDR qualification, Dr. Benezeth leads projects in the ImViA laboratory focusing on video analytics for healthcare applications. His team has developed innovative methods for background subtraction, abnormal event detection, and skin tissue segmentation that have been adopted by other researchers through his publicly shared code and datasets. Current work appears focused on improving the robustness of video-based physiological measurement under realistic conditions.

• Software Evolution
• Software Libraries
• APIs
• +۵ مورد دیگر

Thomas Degueule is a CNRS researcher in the Software Engineering group at LaBRI (Bordeaux, France). His research focuses on software evolution , modularity , and comprehension , with a particular emphasis on software libraries , APIs , software ecosystems , and domain-specific languages (DSLs) . Prior to his current role, he worked as a postdoctoral researcher at CWI (Amsterdam) and earned his PhD at IRISA (Rennes, France). Research Themes : Software evolution, API analysis, dependency management, empirical software engineering, DSL engineering Projects : ANR JCJC ALIEN (PI), H2020 CROSSMINER (WP leader), ALE (associate member), LEOC Clarity (member), ANR INS GEMOC (member), ITEA2 MERgE (member) Software Tools : Roseau, Maracas, BreakBot, Melange, Eclipse GEMOC Studio, K3, Alex, Scava His recent publications highlight trends in API breaking changes , dependency evolution , DSL interoperability , and automated software analysis (see articles list for details). He also contributes to software education through tools like MOON and Immediate Feedback for Jupyter Notebooks. Thomas has supervised PhD students including Gustave Monce (University of Bordeaux), Lina Ochoa (now assistant professor at Eindhoven University), Corentin Latappy (post-doc at University of Bordeaux), and Christophe Casseau (lecturer at University of Bordeaux). He actively participates in academic service, serving on program committees for conferences such as ICSE , ASE , ICSME , ISSTA , and SLE , and organizing workshops like SLEBoK and MLE 2021 .

Caroline Lemieuxمشاهده پروفایل

استادیار

• Fuzz testing
• Program synthesis
• Property-based testing
• +۴ مورد دیگر

Caroline Lemieux is an Assistant Professor at the University of British Columbia, specializing in automated software testing and reliability. Her research develops methods for testing, debugging, and improving software correctness through techniques like fuzz testing and program synthesis. She holds a Ph.D. from UC Berkeley advised by Koushik Sen and a B.Sc. in Computer Science and Mathematics from UBC. Research Interests: Dr. Lemieux's work focuses on: Fuzz testing for vulnerability detection Program synthesis using AI/ML approaches Property-based testing frameworks Automated debugging and specification mining Applications of reinforcement learning in test generation Publication Trends: Her recent papers explore large language models for test generation, fuzzing strategies in CI/CD environments, and neural-backed program synthesis. Work consistently bridges theoretical computer science with practical software engineering challenges. Awards: ACM SIGSOFT Distinguished Paper Award Google PhD Fellowship Best Paper Award (Industry Track) Berkeley Fellowship for Graduate Study

Pascale MARTIN-BIDOUمشاهده پروفایل

مدرس

• International Law
• Environmental Law
• International Security and Defense Law
• +۱ مورد دیگر

Pascale MARTIN-BIDOU serves as Lecturer in Public Law at Paris-Panthéon-Assas University, where she holds dual leadership roles as co-director of the Institute of Advanced International Studies (IHEI) and co-head of the Master 2 Law and Security Strategies program. Her academic profile centers on the intersection of international legal frameworks with contemporary security and environmental challenges, operating from the university's historic Panthéon campus in Paris. Her research portfolio demonstrates deep specialization across three interconnected domains: International Law (particularly United Nations mechanisms and judicial processes), Environmental Law (with emphasis on climate security and resource governance), and International Security and Defense Law (covering terrorism, maritime security, and armed conflict). This tripartite focus manifests in her analysis of climate change as a security threat, the Montego Bay Convention's security implications, and counterterrorism legal frameworks. Analysis of her 15 most recent publications (2024-2015) reveals evolving scholarly priorities: early work concentrated on historical jurisprudence (e.g., Alvarez's ICJ theories), shifting toward urgent contemporary issues like Russia's Council of Europe withdrawal (2022) and climate-security linkages (2021). Her methodological approach consistently bridges theoretical legal analysis with practical security applications, particularly evident in her ongoing commentary on France's Internal Security Code since 2020. Through her REDS (Defense and Security Education Officer) role and AFDSD board membership, she actively shapes security law pedagogy while her external ethics positions with the Defender of Rights and Melun-Val-de-Seine Urban Community demonstrate applied legal engagement beyond academia. Her leadership in the Master 2 program constitutes her primary mentoring function, guiding next-generation security law practitioners. The Research Center of the Institute of Advanced International Studies (IHEI) serves as her primary research ecosystem, facilitating interdisciplinary collaboration on international security challenges. Her current work on the 2025 Environmental Law treatise and 2024 Public International Law Fact Sheets indicates ongoing scholarly productivity with immediate practical relevance for legal practitioners and policymakers.

Quentin Stiévenartمشاهده پروفایل

پژوهشگر

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

• Language Acquisition
• Child Language Development
• Psycholinguistics
• +۵ مورد دیگر

Naomi Havron is a post-doctoral researcher at the Laboratoire de Sciences Cognitives et Psycholinguistique (LSCP) at the École Normale Supérieure in Paris, France. Her academic focus is on language acquisition and development, particularly the mechanisms young children use to learn syntax and vocabulary. She investigates syntactic adaptation, differences between children and adults in language processing, and the impact of family environment on language development. Her work employs behavioral experiments, eye-tracking, day-long recordings, and corpus studies. Education PhD (2013-2016): Hebrew University of Jerusalem, Psychology. Dissertation: 'The Effect of Literacy on Language Learning and Processing.' MA (2010-2012): Tel Aviv University, Philosophy (Summa Cum Laude). Dissertation explored Wittgenstein's influence on Tomasello's language theory. BA (2005-2008): Haifa University, Psychology (Summa Cum Laude). Honors program with a thesis on language and empathy. Research Interests Dr. Havron's research explores how children adapt to linguistic input to learn syntax and vocabulary, emphasizing predictive coding mechanisms. She studies how environmental factors like family size and literacy influence language development. Her work bridges experimental methods (e.g., eye-tracking) with naturalistic approaches, such as analyzing language corpora and day-long recordings. Awards and Fellowships 2017-2018: Victor Smorgon Post-doctoral Fellowship for Outstanding Women ($20,000). 2016-2017: Social Science and Humanities Post-doctoral Fellowship (€22,500) from the French Embassy. 2009: Prize for exceptional paper from Bar-Illan University (Linguistic Philosophy). Collaborations and Grants Her collaborations include projects with Anne Christophe (ENS) on syntactic adaptation and predictive coding, and with Alejandrina Cristia on language exposure in large families. She has also worked with international teams like the ManyBabies Consortium to study variability in infant language research. Labs and Teams She is affiliated with the LSCP at ENS, focusing on cognitive and psycholinguistic approaches to language development. Her work integrates interdisciplinary methods from psychology, linguistics, and neuroscience.

• Programming Languages
• Formal Methods
• Semantics of Programming Languages
• +۳ مورد دیگر

François Pessaux is a Professor and Teacher-researcher at ENSTA Paris, working within the Computer Science and Systems Engineering Unit (U2IS). His academic career spans several decades with significant contributions to programming language theory and formal methods. His research interests focus on Programming Languages , Formal Methods , Semantics of Programming Languages , Compilation , Proofs , and Hybrid Systems . Pessaux has developed extensive expertise in programming language semantics, particularly with functional languages like OCaml, and has made substantial contributions to formal verification techniques. His work bridges theoretical computer science with practical software development, especially for critical systems. His publication record shows a consistent focus on programming language design, semantics, and verification. Notable works include his comprehensive books on programming language concepts and his significant contributions to the FoCaLiZe environment, which supports formal integrated development for certified software. His research has evolved from foundational work on exception analysis in the 1990s to more recent comprehensive treatments of programming language semantics. Pessaux actively contributes to both research and education at ENSTA Paris, teaching foundational computer science courses including IN101 (Algorithms and Programming) and other advanced programming language courses. His teaching materials from recent academic years (2022-2023) demonstrate his ongoing commitment to computer science education. He is deeply involved with the FoCaLiZe project, which appears to be a formal integrated development environment for building certified software. This work connects programming language theory with practical software verification for critical systems, demonstrating his ability to bridge theoretical and applied computer science.

Jiasi Shenمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Program Analysis
• +۳ مورد دیگر

Jiasi Shen is an Assistant Professor in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. She leads the HKUST Automated Reasoning and Transformation of Software research group. PhD and Master's from Massachusetts Institute of Technology Bachelor's from Peking University Her research focuses on automating software development through program analysis , program transformation , and active learning . She explores how to systematically introduce safety checks, optimize performance, and enable cross-platform adaptation while maintaining core functionality. Recent work includes: Dynamic graph-based fingerprinting for cryptomining detection Benchmarking LLMs for operating system verification tasks Improving program comprehension via deimplicitization techniques She has received the Distinguished Artifact Award at SLE 2017 and serves on program committees for OOPSLA, Onward!, and SPLASH conferences. Her group supervises multiple PhD and MPhil students while developing systems like Konure (database application modeling) and KumQuat (parallel Unix command synthesis).

Dinh Emmanuelمشاهده پروفایل

مدرس

• International Tax Law
• Corporate Taxation
• Cross-Border Taxation
• +۳ مورد دیگر

Dinh Emmanuel is an active Lecturer specializing in international tax law with a prolific publication record spanning over a decade. His academic work primarily appears in prominent French tax law journals including International Taxation (Fiscalité Internationale), Tax Law Review (Revue de droit fiscal), and La Semaine Juridique. His research interests focus on international tax law , particularly in the areas of cross-border taxation, dividend distribution mechanisms, interest payments, royalty taxation, and cryptocurrency tax treatment. His work frequently addresses contemporary issues in tax treaty interpretation, BEPS (Base Erosion and Profit Shifting) implementation, and EU anti-tax avoidance directives. Dr. Emmanuel's publication pattern shows consistent scholarly output with multiple articles annually, including comprehensive year-end chronicles of international tax developments. His most recent work in 2024 demonstrates ongoing active research in the field. He frequently collaborates with other tax scholars including Ardouin J. and Perrot T., suggesting participation in academic networks or research groups focused on tax law. His research demonstrates particular expertise in the practical application of tax treaties, analysis of dividend, interest and royalty flows between jurisdictions, and emerging challenges in digital asset taxation. The consistent publication in specialized tax journals indicates recognition within the tax law academic community.

Cédric Bouhoursمشاهده پروفایل

مدرس ارشد

• Design patterns
• Damaged patterns
• Model engineering
• +۳ مورد دیگر

Cédric Bouhours is a Senior Lecturer at the University Institute of Technology (IUT) d'Aubière of the University of Clermont-Ferrand. He oversees the professional license program in Software Engineering and Development on Mobile Platforms and serves as Editor-in-Chief of the journal Technique et Science Informatique (TSI). His offices are located in room C30 at the IUT computer science department and room 106 at the LIMOS Laboratory, both on the Cézeaux campus. His research focuses on methods and tools for promoting effective use of design patterns in software models, with particular emphasis on: Detection of broken/damaged patterns Real-time pattern recognition during coding Model engineering techniques Agile software development methodologies Object-oriented design principles Dr. Bouhours has developed a reverse engineering approach that identifies broken patterns on the fly during programming, providing developers with immediate feedback and correction suggestions. His theoretical framework distinguishes between canonical solutions (proper design pattern implementations) and alternative solutions (broken patterns that solve problems but degrade software quality). He founded the GOPROD (GOod PRactices in Object oriented Designs) collaborative website, which serves as a comprehensive catalog of design patterns and their associated broken patterns. The platform features: Documentation of all 23 Gang of Four design patterns Analysis of pattern strengths and quality factors Identification of recurring broken pattern instances Community-submitted alternative solutions Validation committee for new pattern submissions His work has significantly advanced understanding of how structural deviations from canonical design patterns lead to reduced software maintainability and quality, providing practical tools for developers to recognize and correct these issues during the development process.

Cristina Cifuentesمشاهده پروفایل

استاد مدعو

• Program Analysis
• Secure Languages
• Code Comprehension
• +۷ مورد دیگر

Cristina Cifuentes is an Adjunct Professor at the University of Queensland (School of Information Technology and Electrical Engineering) and Queensland University of Technology (School of Electrical Engineering and Computer Science). She serves as Vice President of Software Assurance at Oracle Labs, leading a team focused on large-scale application security and vulnerability detection. PhD in Computer Science (1994) from Queensland University of Technology Chancellor's Outstanding Alumnus (2001) from QUT Her research interests span program analysis , secure languages , and binary translation , with a focus on enterprise systems and commercial applications. Her work includes static analysis tools like Oracle Parfait and cryptographic API misuse detection. Recent publications address secure programming language design (POPL 2020), scalable static analysis (SAS 2021), and malware analysis platforms (ColdPress). These works emphasize code comprehension , vulnerability detection , and automated security frameworks . Scientific Awards LABSCon 2024 Lifetime Achievement Award Mother of Decompilation Chancellor's Outstanding Alumnus (2001) from QUT She actively contributes to academic communities through committee roles (PriSC, SPLASH) and mentoring, particularly in women in STEM . Her impact includes dozens of patents and leading Oracle Labs Australia for 12 years.

Bruno Pinçonمشاهده پروفایل

مدرس

• Partial Differential Equations
• Numerical Analysis
• Scientific Computing

Bruno Pinçon serves as a Lecturer at Telecom Nancy, University of Lorraine, where he is affiliated with the Partial Differential Equations research team within the IECL (Institut Élie Cartan de Lorraine) laboratory—a joint research unit of the University of Lorraine and CNRS. His academic focus spans: Partial Differential Equations Numerical Analysis Scientific Computing He develops mathematical methodologies for complex problem-solving while actively contributing to the integration of computational techniques in academic instruction. His research aligns with IECL's core mathematical disciplines including Analysis, Geometry, and Probability. Dr. Pinçon teaches specialized Python programming courses for scientific computing, providing structured session materials (including session_1_and_2.pdf ) and practical coding resources distributed via secure academic networks. His pedagogical approach emphasizes hands-on implementation of mathematical concepts. The IECL laboratory maintains comprehensive research frameworks across: Analysis and Number Theory Partial Differential Equations Geometry Probability and Statistics It hosts INRIA project teams (SIMBA, SPHINX, PASTA) driving interdisciplinary innovation in computational mathematics and scientific computing ecosystems.

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

دانشیار

• Human-Computer Interaction Engineering
• Software Maintenance
• Domain-Specific Languages
• +۲ مورد دیگر

Dr. Arnaud Blouin is an Associate Professor at INSA Rennes (University of Rennes) and researcher at IRISA/Inria. He leads projects in software engineering including Interacto (user interaction framework) and HyperAST (large-scale code analysis). His research focuses on improving developer productivity through human-computer interaction engineering, domain-specific languages, and software maintenance techniques. He currently supervises PhD candidates working on web testing, scientific computing, and heterogeneous modeling. Dr. Blouin teaches human-computer interaction, object-oriented programming, and web engineering. He serves on program committees for major software engineering conferences including FSE and ASE.

Wissam Antounمشاهده پروفایل

پژوهشگر

• Natural Language Processing
• Arabic Language Models
• French Language Models
• +۵ مورد دیگر

Wissam Antoun is a PhD Researcher at ALMAnaCH, a research team within INRIA (Institut National de Recherche en Informatique et en Automatique) in Paris. Specializing in Natural Language Processing with a focus on Arabic and French language models, he has developed several influential models including AraBERT (the first Arabic BERT), AraGPT2 (the first Arabic LLM), and CamemBERTa (a French language model based on DeBERTa V3). Prior to his current position, he served as a Research Engineer at ALMAnaCH, a Senior Machine Learning Engineer at Siren Analytics in Beirut, and co-founded the Machine INtelligence Development (MIND) Lab at the American University of Beirut. Wissam's research focuses on developing state-of-the-art NLP technologies for languages displaying high variability, particularly Arabic dialects used on social media. His work spans multilingual language modeling, tokenization techniques for morphologically rich languages, and the development of comprehensive language model suites. Recent projects include Gaperon (a French LLM suite with 1.5B, 8B, and 24B parameters), ModernCamemBERT (the first non-English ModernBERT model), and pioneering work on detecting French AI-generated text. His research demonstrates expertise in model training, evaluation, and practical implementation for real-world NLP applications. His publication record shows consistent high-impact contributions, with AraBERT becoming the most cited Arabic AI paper and most starred Arabic GitHub repository, with over 10 million downloads on Hugging Face. His work has been published at major venues including Findings of ACL 2023 and preprints on arXiv. The trends in his recent articles show a progression from foundational Arabic language models to more sophisticated French language modeling and analysis of AI-generated content. Wissam has received multiple prestigious awards including First Place in the Arabic Sentiment Analysis competition at KAUST (2021) and Second Place in the OSACT4 Shared task on Offensive Language Detection (2020). His technical capabilities span the full AI stack from research to deployment, with expertise in major frameworks, software tools, and programming languages. As an educator, Wissam has served as a Graduate Teaching Assistant at the American University of Beirut, teaching courses in Software Tools, Parallel Programming, and Data Structures and Algorithms. He has also provided NLP instruction through workshop series and supported contestants in the Stars of Science program. His lab work centers around the ALMAnaCH research team at INRIA, where he contributes to advancing French language modeling capabilities through active development on GitHub repositories.

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

دانشیار

• Computational Linguistics
• Natural Language Processing (NLP)
• Discourse Processing
• +۴ مورد دیگر

Jessy Li is an Associate Professor in the Department of Linguistics at The University of Texas at Austin, specializing in computational linguistics and natural language processing (NLP). She actively engages in interdisciplinary research across discourse processing, language generation, and NLP applications in social and code-related contexts. Education: Ph.D. in Computer and Information Science, University of Pennsylvania (2017) Jessy’s research spans four core areas: Discourse Processing (analyzing discourse structure, pragmatics, and human/machine comprehension), Natural Language Generation (improving text generation through discourse models), Language and Society (exploring how self-perception and social context influence language use), and Language and Code (applying NLP to software evolution and documentation). Her recent publications align with these themes, emphasizing discourse-level analysis, generation evaluation, and interdisciplinary applications of NLP in software engineering and sociolinguistics. She received recognition for an Outstanding Paper at EMNLP 2024. She serves on the Graduate Studies Committee in the Department of Computer Science and leads AI initiatives at the NSF-Simons AI Institute for Cosmic Origins (CosmicAI) . Her service roles include Senior Area Chair for ACL 2025, Action Editor for Transactions of the Association for Computational Linguistics (TACL) , and co-organizing the Workshop on Computational Approaches to Discourse (CODI).