#### Find out more about Daniel Murfet's experience

### Daniel Murfet's highlights

##### Daniel Murfet's selected work

Proving the Landau-Ginzburg/Conformal Field Theory correspondence

###### Research Grant

Cofree coalgebras and differential linear logic

###### Journal article

Frobenius manifolds from a geometrical and categorical viewpoint

###### Research Grant

Encodings of Turing machines in linear logic

###### Journal article

Trustworthy Software Systems - Formal Analysis Tools Development

###### Research Contracts

Logic and the 2-Simplicial Transformer

###### Conference Proceedings

##### Daniel Murfet's selected work

## Projects

Displaying the 6 most recent projects from 6 for Daniel Murfet.

#### Project Types

2

Internal Research Grant

2

Research Contracts

2

Research Grant

## Scholarly Works

Displaying the 10 most recent scholarly works from 15 for Daniel Murfet.

## Credentials

#### Positions

**Lecturer (Level B) Pure Mathematics**

Mathematics and Statistics

#### Education

**Doctor of Philosophy**

Australian National University