Talks

Outcome Logic: a foundational framework for concurrent and probabilistic program analysis

Semirings in Logic, Semantics, and Verification.

Coalgebra for the working programming languages researcher

Finding a research topic (or being found by a research topic?)

Models Of Concurrent Kleene Algebra (Invited Talk)

Programming and Reasoning with Kleene Algebra with Tests (Tutorial)

Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)

Guarded Kleene Algebra with Tests

CLAM: Coalgebraic Learning for Automated Modelling

Layer by Layer: Combining Monads

Decidability and Expressiveness results for Nondeterministic Probabilistic Automata

Almost Surely productivity

A (co)algebraic theory of succinct acceptors (invited talk)

Coalgebraic Learning (invited talk)

(Co)-Algebraic and Analytic Aspects of Weighted Automata Minimization and Equivalence, Part I. (invited tutorial)

Completeness and Incompleteness in Nominal Kleene Algebra

Applications of Automata and Concurrency Theory in Networks (invited talk)

Algebra-Coalgebra Duality: applications in automata theory (invited tutorial)

Towards a nominal Chomsky hierarchy (invited talk)

NetKAT: a formal system for the verification of networks.

Coalgebras for Concurrency

The generalized powerset construction: applications to semantics and concurrency (Invited talk)

Initial Algebras of Terms, with binding and algebraic structure

Trace semantics via determinization

Brzozowski's algorithm (co)algebraically

A coalgebraic perspective on minimization and determinization

Determinization constructions: from automata to coalgebras

Deriving syntax and axioms for quantitative regular behaviours

Regular expressions for polynomial coalgebras

  • November 2009, Arco meeting, Eindhoven, The Netherlands (blackboard talk)

Quantitative regular behaviours

Tool demonstration

From regular expressions to automata

Beyond Kleene: A Kleene Theorem for polynomial coalgebras

A Kleene theorem for polynomial coalgebras

Bi-infinite streams coalgebraically

Behavioural differential equations and coinduction for binary trees

Behavioural differential equations and coinduction for binary trees

Behavioural differential equations and coinduction for binary trees -- An exercise on coalgebraic reasoning

A calculational account of lambda-coinduction

Strong Types for Relational Databases

Spreadsheet Understanding - A Survey