Write a Blog >>
David Janin

Registered user since Sat 27 Feb 2016

Name:David Janin

1996, PhD in Computer science, Bordeaux University,

2005, Habilitation à diriger les recherches, Bordeaux University

Since 2015, team leader of the research project PoSET.

Affiliation:Bordeaux INP / CNRS LaBRI / Bordeaux University
Research interests:Programing for interactive arts, functional programming, algebraic, logic and categorical modeling


PADL 2020 Panel: Memory and real-time programming in practice
A Timed IO Monad
Show activities from other conferences

POPL 2020-profile
View general profile