Research Director at Inria Sophia Antipolis-Méditerranée, Kairos EPC

​

Scientific interests

• Semantics and Logics of Computation

  • Type Theory
  • Lambda-calculus

  • Logical Frameworks

  • Term Rewriting Systems

• Semantics of Programming Languages

  • to describe algorithms with particular emphasis to the functional, object-oriented, and synchronous paradigms

  • to describe logical proofs using interactive proof assistants based on the Curry-Howard isomorphism

• Standardizize IoT protocols

• Design Protocols for Overlay Networks

  • interconnecting peer-to-peer networks

  • dealing with resource discovery and content-based routing for IoT