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

• Old Turkish Language (Orkhon, Uyghur, Karakhanid)
• New Turkish Language (Old Anatolian, Ottoman, Türkiye Turkish)
• Historical Linguistics
• +۴ مورد دیگر

Kaan YILMAZ is an Associate Professor at the Faculty of Humanities and Social Sciences at Kastamonu University , Turkey, specializing in Turkish Language and Literature . He holds a PhD (2012) and Master's (2006) in Turkish Language and Literature from Sakarya University and has been a full-time academic since 2003. BA (1999-2003), Sakarya University, Department of Turkish Language and Literature Master's (2003-2006), Sakarya University, Institute of Social Sciences PhD (2006-2012), Sakarya University, Institute of Social Sciences His research focuses on Old Turkish (Orkhon, Uyghur, Karakhanid) and New Turkish (Old Anatolian, Ottoman, Türkiye Turkish), with expertise in diachronic linguistics , lexicography , and dialectology . Recent work explores lexical change , morphological patterns , and dialectological variations . The 15 most recent publications span two domains: (1) Turkish historical linguistics , including studies on Old Turkish etymology , Ottoman dialects , and lexical evolution ; (2) Interdisciplinary collaborations in entomology and invasive species monitoring , possibly indicating citizen science outreach. Scientific Missions : 10 documented collaborations with scholars like Cevdet Şanlı and Ali Rıza Tosun. Editorial Roles : Served as editor for TÜRÜK International Journal (2016-2020). Projects : Led the 2015-2017 BAP project on Kavaid-i Türkiyye , a 19th-century Turkish grammar text. His teaching portfolio includes 35 courses (2012-2022) on Old Turkish , Modern Turkish , and Sociolinguistics . Current work at Kastamonu University emphasizes linguistic continuity and dialect preservation in Anatolian-Turkish contexts.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Automated Theorem Proving
• Runtime Verification
• Program Verification
• +۷ مورد دیگر

Giles Reger is a Senior Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He completed his BA in Computer Science at the University of Cambridge in 2009, followed by an MSc in Advanced Computer Science at the University of Manchester in 2010 (awarded Highest Achiever of the Year), and earned his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". His research spans several key areas within computer science: Automated Theorem Proving (first-order) Saturation-based techniques Reasoning with theories and quantifiers Finite Model finding Collaborative and Concurrent proof attempts Runtime Monitoring/Verification Temporal specification languages Specification Mining/Inference Dr. Reger leads multiple EPSRC-funded research projects including SCorCH (Secure Code for Capability Hardware), CAPS (Collaborative Architectures for Proof Search), and QuTie (reasoning with Quantifiers and Theories). His work on the Vampire theorem prover and MarQ monitoring tool demonstrates his bridge between theoretical computer science and practical applications. Recent publications show strong focus on runtime verification, theorem proving, and program analysis with applications to security and performance monitoring. Notable awards: Highest Achiever of the Year Award for MSc studies Dr. Reger collaborates extensively with institutions including the University of Oxford, Arm, Amazon Web Services, and CERN (CMS Experiment). As Manchester lead on the SCorCH project, he develops formal analysis tools for security-aware hardware chips. His work on the VyPR framework enables developers to analyze Python program performance through temporal specification languages and monitoring algorithms.

Xiusi Chenمشاهده پروفایل

پژوهشگر ارشد

• Large Language Models
• Natural Language Processing
• AI for Science
• +۵ مورد دیگر

Xiusi Chen is a Postdoctoral Research Fellow in the Blender Lab at the University of Illinois Urbana-Champaign (UIUC), working under Prof. Heng Ji. His research focuses on improving reasoning, alignment, and decision-making capabilities of Large Language Models (LLMs). Previously, he completed his Ph.D. in Computer Science at UCLA under Prof. Wei Wang, and earned M.S. and B.S. degrees in Computer Science from Peking University under Prof. Jun Gao. His educational background includes: Ph.D. in Computer Science, University of California, Los Angeles (UCLA), advised by Prof. Wei Wang M.S. in Computer Science, Peking University, advised by Prof. Jun Gao B.S. in Computer Science, Peking University, advised by Prof. Jun Gao Dr. Chen's research program targets three interconnected areas: advancing Large Language Models (particularly in low-resource reasoning and alignment), developing NLP applications for AI in Science and recommendation systems, and modeling complex decision-making processes in sports domains. His work bridges theoretical foundations with practical implementations, resulting in numerous publications in top-tier conferences including ACL, ICML, ICLR, and KDD. Analysis of his recent publications reveals a strong focus on making LLMs more efficient, reliable, and capable of complex reasoning tasks across diverse domains. His significant academic contributions include: 2023 Best Poster Award (Honorable Mention) at SDM 2023 2023 SIAM Student Travel Award 2021 and 2022 SIGIR Student Travel Grants from ACM SIGIR Multiple academic scholarships from Peking University Co-creation of the widely adopted Amazon Reviews'23 dataset (500k+ HuggingFace downloads) Dr. Chen actively serves the research community as Workshop Organizer for KDD 2025, Program Committee member for major conferences (KDD, WSDM, ICML, NeurIPS, ICLR, AAAI), and journal reviewer. He maintains a strong commitment to mentoring, offering dedicated time for students (especially from underrepresented groups) to discuss research and career development. Starting Fall 2025, he will be seeking academic positions to continue his research on language agents and decision-making systems. Currently based in the Siebel Center for Computer Science, Dr. Chen collaborates with the Blender Lab team on advancing NLP and LLM capabilities. His work has practical impact through widely adopted resources like the Amazon Reviews'23 dataset and theoretical contributions through his publications on reasoning frameworks and alignment techniques.

Christian Mauderمشاهده پروفایل

استاد

• Premodern Islamic history
• Mamluk Sultanate studies
• Islamic court cultures
• +۹ مورد دیگر

Christian Mauder is Professor of Islamic Studies at Freie Universität Berlin’s Institute of Islamic Studies, Department of History and Cultural Studies. His research focuses on premodern Islamic religious, intellectual, and social history, particularly the Mamluk Sultanate (1250–1517), Islamic court cultures, historical semantics, Arabophone Christianity, Christian-Muslim relations, and Quranic discourses. He has published extensively on Mamluk military education, legal riddles, Persian and Circassian ethnic identities, and Ottoman-Mamluk transitions, emphasizing transregional interconnectedness. PhD in Arabic and Islamic Studies, University of Göttingen (2017) Postdoctoral research at Yale, Princeton, NYU Abu Dhabi, and University of Bonn Associate Professor at University of Bergen (2018–2023) Mauder’s scholarly work bridges Islamic history and cultural studies, exploring how concepts like mujaddid (renewer) shaped religious authority. His publications include monographs on Mamluk court culture and edited volumes on Quran reception, legal knowledge transmission, and Islamic eschatology. Recent articles analyze Persian identity construction, Hanafi riddles, and Mamluk-Ottoman entanglements. His awards include the 2018 Malcolm H. Kerr Dissertation Award and Christian Gottlob Heyne Award. He supervises doctoral students and participates in international seminars, including the Balzan Seminar on Muslim state formation. His office hours (Tue 4:15–6:00 PM) are open for academic consultation at Fabeckstr. 23/25, Berlin.

Christoph Schroederمشاهده پروفایل

استاد

• Linguistics
• Language Contact
• Contrastive Linguistics
• +۶ مورد دیگر

Christoph Schroeder is a Professor for German as a Second and Foreign Language at the Institute for Germanistics, University of Potsdam. He serves as a corresponding member of the Institute for Migration Research and Intercultural Studies (IMIS) and has held visiting professorships at the University of Cyprus (2004) and Istanbul Bilgi University (2005). His work bridges linguistics, migration studies, and multilingual education. Education: Habilitation in Linguistics (University of Osnabrück, 2004); Promotion (PhD) in Germanistics (University of Bremen, 1995). Key Affiliations: IMIS, Center of Migration Studies (Istanbul Bilgi University), Arbeitsgebiet DaZ/DaF (University of Potsdam). Research Interests focus on language contact, contrastive linguistics, and multilingualism in schools. His work examines orthographic challenges in German-Turkish language contact, secondary predication in Turkish, and strategies for supporting students with non-German native languages through multilingual education frameworks. Notable Projects include leading the Volkswagen Foundation-funded project "Schriftspracherwerb in der Organisation Schule unter den Bedingungen von Migration und Mehrsprachigkeit" (2007-2012), which explored literacy acquisition in multilingual schools across Germany, Turkey, and Cyprus. His editorial roles include co-editing Essener Linguistische Skripte and serving on the editorial board of Language Typology and Universals (STUF) . Publications span contrastive linguistics, language typology, and migration-related educational challenges. Recent work analyzes orthographic systems in language contact scenarios, adverbial modification in Turkish, and article systems across European languages. His research often integrates sociolinguistic and typological perspectives. Professional Memberships: Association of Linguistic Typology (ALT) Deutsche Gesellschaft für Sprachwissenschaft (DGfS) Deutsche Gesellschaft für Fremdsprachenforschung (DGFF)

• Computational Linguistics
• Natural Language Processing
• Grammar Engineering
• +۳ مورد دیگر

PD Dr. phil. Evangelia Kordoni is a research assistant at Humboldt University of Berlin's Faculty of Linguistics and Literary Studies, specifically within the Institute for English and American Studies. Her office is located at Dorotheenstraße 28, Room 3.04, and she can be contacted via email for appointments. She is an active researcher in computational linguistics with a focus on grammar engineering and natural language processing. Kordoni's research primarily explores: Computational linguistics frameworks including HPSG grammar implementation Multiword expression processing and machine translation systems Treebank development for languages including English, German and Bulgarian Lexical acquisition methods for large-scale grammars Semantic parsing and disambiguation techniques Her work bridges theoretical linguistics with practical NLP applications. Kordoni's publication record shows consistent focus on deep linguistic processing, with recent emphasis on: Multiword expression analysis in machine translation systems Parallel treebank development for multilingual applications Verb subcategorization and compound noun disambiguation Dynamic annotation methodologies for Wall Street Journal texts Cross-linguistic studies of Germanic syntax

• Service-Oriented Architectures and Information Systems
• Web Data Engineering
• Web Engineering and Web Modeling
• +۶ مورد دیگر

Ioannis Tzimas is a Professor at the Department of Electrical and Computer Engineering of the University of Peloponnese. He is a highly active researcher with numerous publications in areas of Service-Oriented Architectures, Web Engineering, Big Data, and Artificial Intelligence applications. University: University of Peloponnese Department: Department of Electrical and Computer Engineering Academic Rank: Professor Email: tzimas@uop.gr Ioannis Tzimas received his education from the Department of Computer Engineering and Informatics of the University of Patras, where he also completed his PhD in Web Engineering. His research spans multiple interdisciplinary domains at the intersection of computer science and practical applications. Service-Oriented Architectures and Information Systems Web Data Engineering and Web Modeling Big Data Management and Data Science Machine Learning and Artificial Intelligence Applications Digital Ecosystems and Digital Transformation for the Public Sector Bioinformatics Professor Tzimas' recent research output demonstrates a strategic focus on applying advanced computational techniques to address contemporary challenges. His work shows particular expertise in labor market analysis using large language models, electricity demand forecasting in Greece, and social protection systems. His publications reveal a pattern of bridging theoretical computer science with practical, real-world applications across multiple sectors. Since 2018, he has served as an international consultant to the World Bank in the field of information systems and digital transformation, working on projects across Europe, Africa, the Caribbean, the Pacific Islands, and China. His earlier career included significant technical leadership roles at the University of Patras and other Greek institutions. Technical Manager of the Graphics, Multimedia and Geographic Systems Laboratory (1996-2018) Technical Coordinator of the Internet and Multimedia Technologies Research Unit (1997-2011) Scientific Manager of the Network Management Center of the TEI of Messolonghi (2009-mid 2013)

• Computational Intelligence
• Agent-Based Simulation Systems
• Neuroscience
• +۴ مورد دیگر

Darius Plikynas is a Senior Researcher at the Smart Technologies Research Group within the Institute of Data Science and Digital Technologies at Vilnius University . His research integrates computational intelligence methods with agent-based simulation to model cognitive and social processes. Position: Senior Researcher, Chief Researcher in the Project Address: Akademijos St. 4, room 224, Vilnius Contact: +370 5 210 9333, +370 620 95101 Email: darius.plikynas@mif.vu.lt Personal page: http://www.dariusplikynas.eu Dr. Plikynas' research spans interdisciplinary domains including neuroscience, physics methods, complexity theory, and distributed cognitive systems. He led the 2017–2019 project "Development of a metric, conceptual and simulation model of the social impact of cultural processes" under the LMT Research Group Funding Program. His recent publications (2016–2025) reflect trends in combining machine learning with social science questions (fake news analysis, propaganda detection) and agent-based modeling of cultural/social capital dynamics. Key collaborations include Leonidas Sakalauskas, Rimvydas Laužikas, and Arunas Miliauskas. Scientific supervision includes doctoral students: Andrius Budrionis (University of Tromsø, Norway) Ieva Rizgelienė (PhD topic: "Propaganda detection and classification in social media using hybrid deep learning") He also serves as an expert at Vilnius University and has contributed to projects involving: 2D financial market visualization Neural oscillation-based cognitive modeling Indoor navigation for blind individuals Cultural participation impact on social capital

• Engineering Education
• Self-efficacy
• Team Interactions
• +۶ مورد دیگر

Dr. Senay Purzer is a Professor of Engineering Education at Purdue University's School of Engineering Education in West Lafayette, Indiana. Her office is located in ARMS 1331 with a research lab in WANG 3583. Her educational background shows she has established herself as a prominent researcher in engineering education, with particular expertise in understanding how students learn engineering concepts and develop design skills. Dr. Purzer's research focuses on the relationship between self-efficacy beliefs, team interactions, and student achievement; student interactions in diverse teams; the role of group argumentation in engineering design; and P-12 engineering education. Her recent publications (2023-2025) demonstrate a growing emphasis on ethical considerations in engineering design, data management, and socially transformative approaches to engineering education that address diversity, equity, and sustainability concerns. Her scholarly work spans numerous areas including design reasoning, innovation processes, assessment methodologies, and the integration of engineering concepts into K-12 education. She has published extensively in journals such as the Journal of Pre-College Engineering Education Research (J-PEER), where she has contributed annual reports and conceptual frameworks. Dr. Purzer actively collaborates with other researchers in the field, particularly with colleagues like Quintana on projects related to semantic fluency in design reasoning and argumentation processes. She is currently recruiting graduate students to work on research projects focused on engineering teamwork, diversity in engineering teams, and argumentation in engineering design.

• Spatial Databases
• Geoinformatics
• Internet of Things (IoT)
• +۵ مورد دیگر

Anastasios Zafeiropoulos serves as Assistant Professor at Harokopio University of Athens, specializing in Spatial Data Management and Analysis within the Postgraduate Studies Program for “Applied Geography and Spatial Management” (Direction C: Geoinformatics). His academic role encompasses teaching “Spatial Databases” and advancing research at the intersection of geospatial technologies and distributed computing systems. His research program focuses on Spatial Databases, Internet of Things (IoT), Cloud/Edge Computing, and 6G Network Orchestration, with significant extensions into Knowledge Graph applications for Sustainable Development Goals (SDGs) and socio-emotional learning in education. Key innovations include the EduCardia methodology for student competency assessment and frameworks for climate vulnerability analysis using knowledge graphs. Analysis of his 2024-2025 publications reveals three dominant thrusts: (1) AI-driven orchestration of 6G services across the computing continuum using reinforcement learning; (2) Knowledge Graph applications for SDG interlinkage analysis and materials science; (3) EU-funded IoT/Edge Computing project ecosystems. His work consistently bridges theoretical networking concepts with practical sustainability and educational applications. Dr. Zafeiropoulos actively contributes to EU-funded initiatives in IoT and Edge Computing standardization, particularly through AIOTI WG Standardisation. His project portfolio includes NEPHELE multi-cloud ecosystem development and O-RAN slice admission control research, demonstrating strong industry-academia collaboration in next-generation networking. He leads the development of innovative tools including Palindrome.js for distributed system visualization and the EmoSocio open-access emotional intelligence model, reflecting his commitment to translating research into practical educational and environmental solutions.

• Soil Science
• Geomorphology
• Geoecology
• +۵ مورد دیگر

Thomas Scholten is Professor of Soil Science and Geomorphology at the Department of Geoscience, Faculty of Science, Eberhard Karls University Tübingen. He has been director of the Institute of Geography at Tübingen University since 2006 and has held various leadership roles including President of the German Soil Science Society (2012-2015) and council member of the European Society for Soil Conservation since 2004. In 2016, he was elected as a member of German National Academy of Science and Engineering (acatech). Since 2017, he has been co-speaker of the Collaborative Research Center (SFB 1070) 'ResourceCultures' and since 2019, he has been a principal investigator in the Cluster of Excellence 'Machine Learning - New Perspectives for Science' at Tübingen University. Chair of Soil Science and Geomorphology (full professor) at Eberhard Karls University Tübingen (2005-present) Director of the Institute of Geography at Tübingen University (2006-present) Co-speaker of the Collaborative Research Center (SFB 1070) 'ResourceCultures' (2017-present) Principal Investigator in the Cluster of Excellence 'Machine Learning' (2019-present) Professor Scholten's research focuses on soil science, environment, geomorphology, geoecology, soil erosion, and machine learning applications in soil science. His fieldwork spans Europe, Africa, and Asia with major projects in South Africa, Swaziland, Sudan, Israel, China, Nepal, Switzerland, and Germany. He has published extensively with 9 books, 228 refereed papers, and 378 conference papers to his name. His recent publications reveal a strong integration of traditional soil science with cutting-edge machine learning techniques, particularly in digital soil mapping, soil erosion prediction, and resource management. The research spans multiple continents and addresses critical environmental challenges through interdisciplinary approaches combining soil science, remote sensing, and computational methods. Member of German National Academy of Science and Engineering (acatech) (2016-present) President of the German Soil Science Society (DBG) (2012-2015) Council member of the European Society for Soil Conservation (ESSC) (since 2004) Editorial board member of Journal of Plant Nutrition and Soil Science, Pedosphere Professor Scholten has received research grants from over 15 institutions, primarily the European Union (EU), the German Research Foundation (DFG), and the German Federal Ministry of Education and Research (BMBF). He serves as a referee for numerous international journals and has advised on scientific policy through various advisory boards and committees. His work has significant implications for sustainable land management and climate change adaptation strategies globally. He leads the Soil Science and Geomorphology work group at the University of Tübingen, with research activities spanning field studies, laboratory analyses, and computational modeling. His team collaborates with researchers across disciplines including geography, ecology, computer science, and archaeology to address complex environmental challenges through the ResourceCultures Collaborative Research Center and other international projects.

• Natural Language Processing
• Semantic Parsing
• Large Language Models
• +۳ مورد دیگر

Rui Zhang is an Assistant Professor in Computer Science and Engineering , with research expertise spanning Natural Language Processing , Large Language Models , and Semantic Parsing . His recent work focuses on enhancing multimodal consistency , fairness in summarization , and mathematical reasoning capabilities of LLMs. Key Research Themes: Text-to-SQL and cross-domain semantic parsing Multimodal learning (vision-language models) Fairness and bias mitigation in NLP tasks Efficient model training and prompt optimization Scientific Awards: National Science Foundation CAREER Award (2024) Grants & Projects: CAREER: Trustworthy Human-Centered Summarization (NSF, 2024-2029) addressing LLM trustworthiness through user-centric summarization frameworks. Article Trends: Recent publications emphasize LLM collaboration , compressed reasoning models , and cross-domain knowledge alignment . He explores multi-agent systems , mathematical reasoning , and vision-language limitations , particularly in geometric perception. Applications span bioinformatics (Alzheimer's biomarker discovery) and democratic AI frameworks.

• Intelligent Systems and Control
• Cognitive Robotics
• Nano-robotics
• +۹ مورد دیگر

Laxmidhar Behera is a Professor in the Department of Electrical Engineering at the Indian Institute of Technology Kanpur, specializing in Intelligent Systems and Control. With over two decades of academic experience at IIT Kanpur and international research experience at institutions including Fraunhofer Institute of Autonomous Intelligent Systems in Germany, ETH Zurich, and University of Ulster, he has established himself as a leading researcher in cognitive robotics and intelligent control systems. Dr. Behera's research spans multiple cutting-edge domains including Cognitive Robotics, Nano-robotics, Vision based Control, Soft Computing, Information Retrieval in music and language, Semantic Information Processing, Physics of Complex Systems, Cyber Physical Systems, Formation Control of UAVs, Brain-Computer Interface (BCI), and Sanskrit Computational Linguistics. His interdisciplinary approach bridges traditional control theory with modern computational intelligence techniques, creating innovative solutions for complex real-world problems. His extensive publication record in top-tier journals like IEEE Transactions demonstrates his leadership in areas such as brain-computer interfaces, visual servoing, multi-robot systems, and music information retrieval. Notably, his work on quantum neural networks for EEG filtering and multisatellite formation control has received significant attention in the research community. UKIERI Standard Research Award 2008 Best Paper at International Conf. on Intelligent Sensors and Information Processing (ICISIP-2004) Best Paper at WoSco,02, Int. Conf. High-Performance Computing (HiPC, 2002) AICTE career award for young teacher (1997) Senior Member IEEE Multiple IEEE top accessed articles (2009-2010) As an Associate Editor for Autosoft Journal and Technical Committee Member for Intelligent Control at IEEE Control System Society, Dr. Behera actively contributes to the academic community. His laboratory in the Western Lab - 212A of the Department of Electrical Engineering serves as a hub for research in intelligent systems, where he mentors students and collaborates with researchers worldwide on cutting-edge projects in robotics, control systems, and computational intelligence.

Richard Chanمشاهده پروفایل

دانشیار

• Entrepreneurial Finance
• Technology Development and Commercialization
• Application of Computational Methods in Entrepreneurship Research
• +۱ مورد دیگر

Richard Chan is an Associate Professor at the College of Business, Stony Brook University, specializing in the intersection of psychology, technology, and entrepreneurial finance. His work explores how cognitive processes and computational methods influence entrepreneurial opportunity evaluation and funding success. Ph.D. in Management & Organization with Minors in Technology Entrepreneurship, Behavioral Decision Theory, and Research Methods (University of Washington) B.A. in Psychology (University of California, Berkeley) Chan's research investigates entrepreneurial cognition, focusing on how individual differences and environmental factors shape funding outcomes. Recent work applies computational linguistics and computer vision to analyze crowdfunding pitches, venture narratives, and investment decision-making. His studies span venture capital, startup innovation, and behavioral finance. His publications emphasize artificial intelligence and machine learning in entrepreneurship, examining semantic progression, speech act dynamics, and visual communication. He has also contributed to understanding benefit corporations, franchising strategies, and reproducibility in empirical research. 2024 Dean's Distinguished Scholar Award 2023 Emerald Literati Outstanding Reviewer 2020 KSG Entrepreneurship Research Award 2013 William H. Newman Award 2007 Best Student Paper Award 2003 Betty Nesvold Award Chan serves on the editorial boards of the Journal of Business Venturing and the Journal of Management, bridging psychological theory with technological innovation in entrepreneurship research.

Gérard Berryمشاهده پروفایل

استاد

• Computer Science
• Lambda Calculus
• Functional Programming
• +۵ مورد دیگر

Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.