Write a Blog >>
David Janin

Registered user since Sat 27 Feb 2016

Name: David Janin

Bio: 1996, PhD in Computer science, Bordeaux University,

2005, Habilitation à diriger les recherches, Bordeaux University

Since 2015, team leader of the research project PoSET.

Country: France

Affiliation: Bordeaux INP / CNRS LaBRI / Bordeaux University

Personal website: http://www.labri.fr/~janin

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