profile icon
Dr

Daniel Murfet

Lecturer (Level B) Pure Mathematics
Mathematics and Statistics
science & technology
physical sciences
mathematics
modules
categories
mathematics, applied
complexes
triangulated categories
resolutions
Daniel Murfet's Profile Picture
Dr

Daniel Murfet

 
Division
Science
Daniel Murfet's Profile Picture
Dr

Daniel Murfet

 
Print
Daniel's  Short Profile
 

Projects

Displaying the 6 most recent projects by Daniel Murfet.

Project icon

Proving the Landau-Ginzburg/Conformal Field Theory correspondence

2021 - 2024
Active
Project icon

Frobenius manifolds from a geometrical and categorical viewpoint

This project aims to provide connections between Frobenius manifolds obtained from algebraic curves in diverse ways. The different construct..

2018 - 2021
Completed
Project icon

Trustworthy Software Systems - Formal Analysis Tools Development

2018 - 2018
Completed
Project icon

Trustworthy Software Systems - Formal Analysis Tools Development

2017 - 2017
Completed
Project icon

The symmetry and differentiability of computer programs

2017 - 2019
Completed
Project icon

The geometry and complexity of computer programs

2016 - 2016
Completed

6

Projects

Project Types

2

Internal Research Grant

2

Research Contracts

2

Research Grant

Scholarly Works

Displaying the 10 most recent scholarly works by Daniel Murfet.

Scholarly works icon

Cofree coalgebras and differential linear logic

James Clift, Daniel Murfet

Journal article  |  2020  |  Mathematical Structures in Computer Science

We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differ..

Scholarly works icon

Encodings of Turing machines in linear logic

James Clift, Daniel Murfet

Journal article  |  2020  |  Mathematical Structures in Computer Science

AbstractThe Sweedler semantics of intuitionistic differential linear logic takes values in the category of vector spaces, using th..

Scholarly works icon

The cut operation on matrix factorisations

Daniel Murfet

Journal article  |  2018  |  Journal of Pure and Applied Algebra

Scholarly works icon

Adjunctions and defects in Landau Ginzburg models

Nils Carqueville, Daniel Murfet

Journal article  |  2016  |  Advances in Mathematics

Scholarly works icon

On Sweedler's cofree cocommutative coalgebra

Daniel Murfet

Journal article  |  2015  |  Journal of Pure and Applied Algebra

Scholarly works icon

A toolkit for defect computations in Landau-Ginzburg models

D MURFET, N Carqueville

Conference Proceedings  |  2015

Scholarly works icon

Computing Khovanov-Rozansky homology and defect fusion

Nils Carqueville, Daniel Murfet

Journal article  |  2014  |  Algebraic and Geometric Topology

Scholarly works icon

Residues and duality for singularity categories of isolated Gorenstein singularities

Daniel Murfet

Journal article  |  2013  |  Compositio Mathematica

Scholarly works icon

PUSHING FORWARD MATRIX FACTORIZATIONS

Tobias Dyckerhoff, Daniel Murfet

Journal article  |  2013  |  Duke Mathematical Journal

Scholarly works icon

The Kapustin-Li formula revisited

Tobias Dyckerhoff, Daniel Murfet

Journal article  |  2012  |  Advances in Mathematics

13

Scholarly Works

Keyword Analysis

Expanding Knowledge
Pure Mathematics

Credentials

Positions

Lecturer (Level B) Pure Mathematics

Mathematics and Statistics

Education

Doctor of Philosophy

Australian National University

Links