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

• Computer Science
• Coordination Languages
• Programming Languages
• +۵ مورد دیگر

Jean-Marie Jacquet is a Full Professor in the Faculty of Computer Science at the University of Namur, where he has maintained an active research and teaching career since completing his Doctor of Science degree in 1989. His academic home spans multiple research institutes including the Namur Digital Institute (NADI), Namur Research Institute for Life Sciences (Narilis), and the Research Group on the Foundations of Computer Science (FOCUS). His research interests center on computer science fundamentals with particular expertise in coordination languages, programming language theory, and formal methods. His fingerprint analysis reveals strong engagement with data structures, language expressiveness, implementation techniques, and modeling approaches. He has developed significant expertise in the Bach coordination language and its applications. His recent publication trajectory shows consistent output in programming language design and analysis, with a clear focus on the Bach language ecosystem. His work bridges theoretical computer science with practical implementation concerns, particularly in the areas of expressiveness, efficiency, and security. Recent publications demonstrate his ongoing contributions to language design and tool development. Professor Jacquet actively participates in major research initiatives including the CyberExcellence project (2023-2028), CYBEREXCELLENCE cybersecurity initiative (2022-2027), and the ROBIN biological pipeline reconstruction project (2021-2022). His collaborative approach is evident in his participation in numerous workshops and conferences related to cybersecurity and programming languages. He leads and contributes to multiple research teams focusing on digital technologies, life sciences computing, and foundational computer science. His laboratory work centers on language design and implementation, particularly through the development of the Bach coordination language ecosystem and related tools like Anemone and B2Scala.

Paolo G. Giarrussoمشاهده پروفایل

پژوهشگر

• Programming Language Theory
• Domain-Specific Languages
• Distributed Systems
• +۵ مورد دیگر

Paolo G. Giarrusso is a researcher at the Institute for Programming Languages and Software Engineering within the Faculty of Informatics at the University of Tübingen . Previously, he was a Ph.D. student at the University of Marburg , where he defended his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation in January 2018.

Jifeng Xuanمشاهده پروفایل

استاد

• Software Analysis and Testing
• Software Testing
• Software Debugging
• +۲ مورد دیگر

Jifeng Xuan is a Professor and Deputy Dean at the School of Computer Science, Wuhan University, China. He leads the CSTAR (Centre of Software Testing, Analysis and Reliability) research group and has made significant contributions to software engineering, particularly in software testing, debugging, and analysis. Dr. Xuan completed his bachelor's degree and PhD at OSCAR Lab, School of Software, Dalian University of Technology, China, under the supervision of Prof. He Jiang. He also conducted postdoctoral research at SPIRALS Team in INRIA Lille - Nord Europe, France, working with Dr. Martin Monperrus and Prof. Lionel Seinturier. His research focuses on Software Analysis and Testing , with specific interests in software testing and debugging, software data analysis, and search-based software engineering. Dr. Xuan's work bridges theoretical foundations with practical applications, addressing real-world challenges in software quality assurance. His research has led to numerous publications in top-tier software engineering venues and has influenced both academic research and industrial practices. Dr. Xuan's recent publications demonstrate a strong focus on innovative approaches to software testing, debugging, and analysis. His work spans multiple subfields including log analysis, fuzz testing, bug triage, and automated program repair. He has made significant contributions to understanding software crashes, improving bug report quality, and developing techniques for more effective software testing and analysis. 2025 ACM SIGSOFT Distinguished Paper Award 2025 IEEE TCSE Distinguished Paper Award 2024 CCF NASAC Youth Software Innovation Award 2018 ACM SIGSOFT Distinguished Paper Award 2015 Young Talent Development Program of CAST and CCF 2015 Luojia Young Scholar Program of Wuhan University 2014 Outstanding Doctoral Dissertation of CCF Dr. Xuan actively mentors PhD and master's students through his CSTAR research group at Wuhan University. He has served on numerous program committees for major software engineering conferences including ICSE, FSE, ASE, and ISSTA. His editorial service includes roles on the editorial boards of Empirical Software Engineering (EMSE), PLOS One, and Frontiers of Computer Science. Dr. Xuan has also organized several workshops and conferences, demonstrating his leadership in the software engineering community. As founder of CSTAR (Centre of Software Testing, Analysis and Reliability), Dr. Xuan leads a research team focused on advancing the state of the art in software quality assurance. The group's work spans theoretical foundations and practical applications, with strong connections to industry challenges. CSTAR has established collaborations with both domestic and international research institutions, contributing to a vibrant research ecosystem in software engineering.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods
• +۳ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

Francisco Ferreiraمشاهده پروفایل

مدرس

• Type Systems and Formal Logic
• Formal Meta-theory
• Concurrency, Process Calculi and Session Types
• +۲ مورد دیگر

Francisco Ferreira is a Lecturer (tenure track, equivalent to Assistant Professor) in the Department of Computer Science at Royal Holloway, University of London. Previously, he was a postdoctoral Research Associate in the Department of Computing at Imperial College London, working with Professor Nobuko Yoshida. Dr. Ferreira's primary research interests include type systems and formal logic, formal meta-theory, concurrency and process calculi, session types, temporal logic and other modal logics, and principled approaches to programming. His work bridges theoretical foundations with practical applications, particularly in the realm of communication protocols and programming language design. His publication record demonstrates a strong focus on session types and their applications, with a trajectory moving from foundational theoretical work to practical implementations. Over the past decade, his research has increasingly emphasized the verification and implementation of communication protocols, resulting in tools and frameworks that ensure communication safety in distributed systems. Scientific Awards: ICFP'12 Student Research Competition First Place Dr. Ferreira has teaching experience in programming languages and paradigms, having served as both a lecturer and teaching assistant for COMP 302. His industrial experience includes Haskell consulting for Erudite Software, game programming for Bluberi, and developing mission-critical software for Motorola Argentina in the telecom industry.