Nominal String Diagrams
Lead Research Organisation:
University College London
Department Name: Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Publications
Bonchi F
(2022)
String diagram rewrite theory III: Confluence with and without Frobenius
in Mathematical Structures in Computer Science
Lobski L
(2023)
String Diagrams for Layered Explanations
in Electronic Proceedings in Theoretical Computer Science
Wilson P.
(2023)
String Diagrams for Non-Strict Monoidal Categories
in Leibniz International Proceedings in Informatics, LIPIcs
Wilson P
(2022)
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition
in Electronic Proceedings in Theoretical Computer Science
Description | We developed new formalisms of string diagrams, new ways of formally reasoning about them, investigated their implementability, and applied them to relevant fields such as authomatic differentiation. |
Exploitation Route | String diagrams are a great vehicle for dissemination of ideas, both between scientists and to the general public. These methodologies will also inspire the development of new software, based on principled methodologies that may ensure its modularity and trustworthiness. |
Sectors | Digital/Communication/Information Technologies (including Software),Education |
Description | Companies have shown interest in applying our methodologies to the development of software for machine learning |
First Year Of Impact | 2022 |
Sector | Digital/Communication/Information Technologies (including Software) |
Impact Types | Economic |
Description | Graphical Piecewise-Linear Algebra, with Guillaume Boisseau, University of Oxford |
Organisation | University of Oxford |
Department | Department of Computer Science |
Country | United Kingdom |
Sector | Academic/University |
PI Contribution | Research expertise, writing a scientific article. |
Collaborator Contribution | Research expertise, writing scientific articles, dissemination in seminars, conferences and workshops. |
Impact | A scientific article accepted for publication in an international conference. |
Start Year | 2021 |
Description | APR seminar (LIP6 at Sorbonne University) |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Professional Practitioners |
Results and Impact | I gave a talk (online) entitled "A diagrammatic axiomatisation of finite-state automata" to the LIP6 at Sorbonne University. My presentation sparked questions and discussions with several members of the group afterwards. |
Year(s) Of Engagement Activity | 2020 |
Description | Blog post "String diagrams for the lambda-calculus" |
Form Of Engagement Activity | Engagement focused website, blog or social media channel |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Professional Practitioners |
Results and Impact | I wrote a blog post explaining a research topic to a wider audience. This sparked several questions and further discussions with other researchers and students in the field. |
Year(s) Of Engagement Activity | 2021 |
URL | https://piedeleu.com/posts/diagrammatic-lambda-calculus/ |
Description | Cosynus seminar (LIX laboratory, École Polytechnique) |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Professional Practitioners |
Results and Impact | I gave a talk (online) entitled "A diagrammatic axiomatisation of finite-state automata" to the Cosynus team of the LIX Laboratoire of the École Polytechnique, presenting joint work with Fabio Zanasi. The talk sparked questions and further discussions with several members of the group afterwards. |
Year(s) Of Engagement Activity | 2021 |
Description | FoSSaCS conference talk |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Professional Practitioners |
Results and Impact | I gave a talk at the 24th International Conference on Foundations of Software Science and Computation Structures (online), to present the paper "A String Diagrammatic Axiomatisation of Finite-State Automata" (see associated publication). The talk sparked questions and discussions with several audience members afterwards. |
Year(s) Of Engagement Activity | 2021 |
URL | https://etaps.org/2021/fossacs/fossacs-programme |
Description | Invited Keynote Speaker at the 14th International Conference on Mathematics of Program Construction (MPC 2022), Tbilisi, Georgia. |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Other audiences |
Results and Impact | Invited Keynote Speaker at the 14th International Conference on Mathematics of Program Construction (MPC 2022), Tbilisi, Georgia. |
Year(s) Of Engagement Activity | 2022 |
Description | Invited Speaker at the 3rd Italian Category Theory Workshop (ItaCa III), Pisa, Italy |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Other audiences |
Results and Impact | Invited Speaker at the 3rd Italian Category Theory Workshop (ItaCa III), Pisa, Italy |
Year(s) Of Engagement Activity | 2022 |
Description | Invited Speaker at the International Workshop 'Differentiable Programming', Paris, France |
Form Of Engagement Activity | A talk or presentation |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Other audiences |
Results and Impact | Invited Speaker at the International Workshop 'Differentiable Programming', Paris, France. About 50 attendants. |
Year(s) Of Engagement Activity | 2022 |