Concurrency Workbench Development Professors and Supervisors

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

استاد

Max Planck Institute for Software SystemsGermany

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

پروفایل رسمی دانشگاه

Jean-Marc Jezequelمشاهده پروفایل

استاد

InriaFrance

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.

پروفایل رسمی دانشگاه

Edwin Bradyمشاهده پروفایل

دانشیار

University of St AndrewsUnited Kingdom

Edwin Brady is a Reader in the School of Computer Science at the University of St Andrews. His research focuses on dependent types, programming languages, and their application to verification, DSLs, and compiler design. He is a key contributor to the Idris programming language, emphasizing type-driven development and formal methods. Brady supervises PhD students including Thomas Hansen, Ellis Kesterton, Bhakti Shah, and Constantine Theocharis. His work spans foundational research in type systems, practical compiler implementation, and tool development for dependently typed languages. Notable contributions include frameworks for resource-dependent DSLs and type-level property-based testing. Brady has led projects such as the EPSRC-funded 'Type-Driven Verification of Communicating Systems' and contributed to the EU-funded ADVANCE initiative on concurrency engineering. Research Interests: Dependent types, functional programming, program verification, DSLs, compilers. Tools Developed: Idris programming language, type-level testing frameworks. Professional Activities: Organized Doors Open @ Computer Science events (2023–2025), presented at Lambda World and Idris workshops. His publications emphasize practical applications of type theory to ensure correctness in concurrent systems, session protocols, and refactoring tools. Brady’s work bridges theoretical foundations with real-world software development challenges.

پروفایل رسمی دانشگاه

Tijs van der Stormمشاهده پروفایل

استاد

National Research Institute for Mathematics and Computer ScienceNetherlands

Tijs van der Storm is a Senior Researcher and Groupleader at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands, with a part-time professor appointment at the University of Groningen . His work spans Domain-Specific Language (DSL) design , software engineering , and programming language theory , focusing on tools like the Rascal meta-programming language for DSL construction and evolution. Email: storm@cwi.nl , T.van.der.Storm@cwi.nl Academic Rank: Professor (University of Groningen), Scientific Staff Member (CWI) Research Interests center on building and evolving DSLs , integrating live programming environments , and advancing language workbenches . His work addresses challenges in software analysis , model-driven development , and interactive programming tools . Trends in his scientific publications (2015–2024) emphasize DSL engineering , concrete syntax , gradual typing , and block-based language design . He has contributed to software testing and distributed systems through projects like AlleAlle and Recaf . Awards and Recognitions : Most Influential Paper Award (SLE 2023) Distinguished Artifact Award (SLE 2021) Distinguished Vision Paper Award (SLE 2018) Best Software Engineering Technology Paper (ICT OPEN 2019) Professional Activities include leadership roles in academic communities: chair of IFIP TC2 Working Group 2.16, treasurer of the European Association for Programming Languages and Systems (EAPLS), and organizer of conferences like SLE 2016 . He has served on program committees for IFIP TC2 WG 2.16 , EAPLS , and SPLASH symposia.

پروفایل رسمی دانشگاه

Erwan Bousseمشاهده پروفایل

دانشیار

InriaFrance

Erwan Bousse is an Associate Professor at Nantes Université, France, affiliated with the Department of Computer Science in the Faculty of Science and Technology. He specializes in Software Language Engineering (SLE), Model Driven Engineering (MDE), and Domain-Specific Languages (DSLs), with a focus on model execution, simulation, debugging, and testing of models within the context of computing within limits. PhD in Computer Science (2015), Université de Rennes 1 MEng in Computer Science (2012), INSA Rennes His research explores executable DSLs, behavioral typing, test coverage frameworks, and debugging tools. Recent publications include work on test amplification, KPI definition, and domain-parametric debuggers. He advises PhD and Master’s students on topics ranging from epidemiological modeling to manufacturing systems. Scientific awards include: MODELSWARD 2024 Best Student Paper Award SoSym 2022 and 2021 Best Reviewer Awards ECMFA 2021 Best Paper Award SoSym 2019 Best Paper Award SLE 2018 Distinguished Reviewer He contributes to projects like ANR Rodic, ITN Lowcomote, and COST Action MPM4CPS, and develops tools such as GEMOC Studio and dpDebugger.

پروفایل رسمی دانشگاه

Jan de Muijnck-Hughesمشاهده پروفایل

مدرس

University of StrathclydeUnited Kingdom

Jan de Muijnck-Hughes is a Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, where he is a member of both StrathCyber and the Mathematically Structured Programming groups. He also participates in the Scottish Programming Languages Institute and SICSA (Scottish Informatics & Computer Science Alliance), contributing to the broader academic community in Scotland. His educational background includes a PhD in Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages from the University of St Andrews (2016), an MSc in Data Protection and the Cloud from Radboud Universiteit Nijmegen (2011), and a BSc in Searching for Efficient Permutation Codes from the University of St Andrews (2008). He also holds a PGCert in Learning and Teaching from the University of Strathclyde (2024) and is a Fellow of Advance HE. Dr. de Muijnck-Hughes' research centers on making system engineering more trustworthy through Type-Driven Engineering (TyDe). His work investigates how cutting-edge programming language theory—particularly type systems, dependent types, and functional programming—can fundamentally change how we engineer systems by interlinking specifications and implementations. He believes that building trustworthy systems requires making machine-checkable specifications an intrinsic aspect of system development. His research spans functional programming as a foundation for code and specification structure, novel type systems for hardware design and program behavior, behavioral types for program correctness, and the application of dependent types through the Idris programming language. His recent publications demonstrate a consistent focus on applying type theory to practical system engineering challenges. The research shows a progression from theoretical foundations of dependent types to practical applications in hardware design, security protocols, and language workbenches. A notable trend is the application of formal methods to ensure correctness in cyber security contexts, reflecting his dual expertise in programming languages and security. Fellow of the Advance HE (2024) Dr. de Muijnck-Hughes teaches advanced topics in functional programming, formal verification, and Cyber Security at the Masters level, including CS813: Advanced Information Security and CS886: Advanced Security-by-Design. He actively supervises undergraduate and Masters students through various dissertation projects. His professional activities include speaking engagements at major conferences such as the Conference on Types for Proofs and Programs and organizing the Scottish Programming Languages and Verification Summer School. As a member of StrathCyber and the Mathematically Structured Programming group, he contributes to research initiatives focused on secure and reliable systems development. His work bridges theoretical programming language concepts with practical security applications, positioning him at the intersection of two critical computing disciplines.

پروفایل رسمی دانشگاه

Matthias Felleisenمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Matthias Felleisen is a Professor in the College of Computer Science at Northeastern University. He is renowned for founding the PLT research group and pioneering the TeachScheme! educational initiative, which evolved into the Bootstrap project. His work spans programming languages, type systems, and educational tools. Affiliation: Northeastern University Academic Rank: Professor Research Interests: Programming Languages, Type Systems, Domain-Specific Languages, Concurrency Models His recent research includes type tailoring, effectful software contracts, and trace contracts. He has contributed extensively to programming language design and implementation, with a focus on gradual typing, language workbenches, and educational frameworks. Conference Contributions (2012-2025): ECOOP 2015-2025: Papers on gradual typing, contract systems ICFP 2016-2024: Research on Typed Racket, blame evaluation, concurrency SPLASH 2012-2023: OOPSLA papers on type migration, macros, visual syntax Mentoring Activities: Keynote speaker at PLMW 2016 ICFP 2020 mentoring sessions

پروفایل رسمی دانشگاه

Kathleen Fisherمشاهده پروفایل

استاد

InriaFrance

Kathleen Fisher is a Professor in the Computer Science Department at Tufts University. Previously, she held positions as a Principal Member of the Technical Staff at AT&T Labs Research, a Consulting Faculty Member at Stanford University, and a program manager at DARPA where she started and managed the HACMS and PPAML programs. Professor Fisher's research focuses on advancing programming language theory and practice, with particular emphasis on domain-specific languages for managing ad hoc data. Her main contributions include the Hancock system for efficiently building signatures from massive transaction streams and the PADS system for managing ad hoc data. Recently, she has been exploring synergies between machine learning and programming languages, and applying programming language advances to build more secure systems. The Fisher Lab specifically focuses on using programming language techniques such as domain-specific languages, program synthesis, and formal methods to make it easier, safer, and faster to ingest untrusted or ill-formed data. Analysis of her recent publications reveals a consistent focus on formal verification, parser technology, bidirectional transformations, and domain-specific language design. Her work spans theoretical foundations while maintaining practical applications in data management and security. A notable trend in her research is the application of programming language techniques to solve real-world data challenges, particularly in handling unstructured or ill-formed data. Her scientific recognition includes: ACM Fellow Professor Fisher has held significant leadership roles in the programming languages community, including serving as program chair for FOOL, ICFP, CUFP, and OOPSLA, and as General Chair for ICFP 2015. She was past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN), past Co-Chair of CRA's Committee on the Status of Women (CRA-W), and has served as an editor for the Journal of Functional Programming and as an Associate Editor for TOPLAS. She has also been active in mentoring through PLMW (Programming Languages Mentoring Workshop), focusing on topics like work/life balance, career options, and time management. Her laboratory work centers on creating tools and techniques that bridge the gap between theoretical programming language research and practical data management challenges, with particular emphasis on making data ingestion safer and more efficient.

پروفایل رسمی دانشگاه

Johannes Borgströmمشاهده پروفایل

دانشیار

InriaFrance

Johannes Borgström is an Associate Professor in the Department of Computer Science at Uppsala University, Sweden. He serves as the program director for the Bachelor's program in Computer Science and has been actively involved in numerous academic conferences including ESOP, POPL, and FASE as a committee member. His research spans theoretical computer science with practical applications in programming language design and analysis. Borgström's research primarily focuses on semantics for programming languages and process algebras , with significant contributions to both theoretical foundations and practical applications. His work centers on two major strands: probabilistic programming languages for statistical models and Bayesian inference, and psi-calculus as a framework for modeling communicating systems. His research integrates formal methods with practical programming language implementation, creating bridges between theoretical computer science and real-world applications in statistical computing and distributed systems. Analysis of Borgström's recent publications reveals a strong trajectory in probabilistic programming and formal verification. His 2021 work demonstrates applications of probabilistic programming to statistical phylogenetics, while his foundational work on lambda-calculus for universal probabilistic programming (2016) established important theoretical frameworks. The research shows increasing integration of statistical methods with programming language theory, particularly in Bayesian inference techniques. His work on psi-calculi continues to evolve with applications to wireless protocols and higher-order systems, demonstrating the versatility of process calculi approaches. Borgström has served on program committees for numerous prestigious conferences including ESOP, POPL, ICFP, and FASE, demonstrating his standing in the programming languages research community. His service includes roles as committee member for NWPT 2023, ESOP 2019, POPL 2017-2018, and ICFP 2016. His research laboratory appears to be part of Uppsala University's Department of Information Technology, with collaborations extending to Microsoft Research (Andrew Gordon appears as frequent co-author) and other international institutions. Borgström's work on the Psi-Calculi Workbench suggests active development of practical tools for formal verification, bridging theoretical research with software engineering applications. His current research trajectory indicates continued exploration of probabilistic programming semantics and their applications to statistical modeling across diverse domains.

پروفایل رسمی دانشگاه

Manel Barkallahمشاهده پروفایل

پژوهشگر

University of NamurBelgium

Manel Barkallah is a Researcher at the University of Namur's Faculty of Computer Science, affiliated with the Namur Digital Institute. They hold a Doctorate in Sciences and a Master of Informatics (2015-2017). Their research focuses on coordination languages, cybersecurity tools, formal methods, and algorithm optimization. Key projects include leading the STS-Bach PhD project (Contextual Coordination Model for Socio-Technical Systems) and contributing to the CYBEREXCELLENCE initiative in cybersecurity. They actively participate in conferences and workshops, such as DisCoTec 2025 and the Belgium-Netherlands Software Evolution Workshop. Barkallah also promotes gender equality in STEM, organizing events like 'Women and Girls in Science' at UNamur. Research interests span guarded lists, tool integration (e.g., B2Scala), and workbench development (Anemone). Their work emphasizes security, efficiency, and formal verification in distributed systems. Barkallah has contributed to 7 peer-reviewed publications and actively engages in academic outreach and mentoring.

پروفایل رسمی دانشگاه

Nicklas Andersenمشاهده پروفایل

مدرس پاره‌وقت

Aalborg UniversityDenmark

Nicklas Andersen is a Part-time Lecturer in the Department of Computer Science at Aalborg University, affiliated with The Technical Faculty of IT and Design. His work bridges computer science with healthcare, education, and interdisciplinary technology applications. He specializes in Virtual Reality (VR) systems for therapeutic and educational contexts, including autism therapy, choral singing, and clinical nutrition studies. Research interests focus on human-computer interaction, clinical informatics, and software engineering tools like the CAAL concurrency workbench. His recent work (2021) emphasizes VR's potential in sensory-based therapies and collaborative artistic experiences. Earlier contributions (2015) include formal methods in concurrency analysis. No scientific awards or grants are listed in the provided text. He has no recorded advisees or students listed. His research spans labs within the Department of Computer Science, though specific lab affiliations are not explicitly stated.

پروفایل رسمی دانشگاه

Søren Deboisمشاهده پروفایل

دانشیار

IT University of CopenhagenDenmark

Søren Debois is an Associate Professor at the IT University of Copenhagen , specializing in the intersection of process technologies and IT security . His research focuses on technical solutions for trust between parties, including applications of blockchain to process management and declarative process models for legal-compliant municipal systems. He is a principal author on the DCR process modelling notation and architect of the DCR Workbench , contributing to the commercial dcrgraphs.net engine. He leads a work package in the Innovation Fund Denmark -funded EcoKnow project, aiming to align municipal case-management with legal compliance. A frequent expert in Danish media on IT security, he teaches Distributed Systems , Security I , and Security II at ITU. His accolades include the 2017 ITU Excellence in Teaching Award and a BPM '18 Best Paper Honorable Mention .

پروفایل رسمی دانشگاه