Edinburgh Research Explorer

Research Interests

I'm a computer scientist specialised in programming languages theory. Physics is nature's programming language, so I also like physics. And everything in between. My interests revolve around formal methods and theoretical computer science.

Qualifications

Master 1 STIC Poitiers University 2007

Master 2 MPRI Paris VII University 2008

PhD Computer Science Paris-Sud University 2012

 

Websites

www.ilias-garnier.org

Research outputs

  1. Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Pointless learning

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Computing continuous time Markov chains as transformers of unbounded observation functions

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (12) »

ID: 3563579