CARTE

Theoretical Adverse Computations and Safety

Department 2 : Formal methods

Team leader : Emmanuel Jeandel
Tél. : +33 3 54 95 84 22
Mail : emmanuel.jeandel@loria.fr

Website

Presentation

There are two main research directions : Computability and complexity

Research activities

  • Computability and Complexity
  • Computer virology

Software

  • MMDex
  • TraceSurfer

Collaborations

John Case (University of Delaware), Stefano Galatolo (Universita di Pisa), Peter Gacs (Boston University), Cristobal Rojas (Toronto), Klaus Weihrauch (FernUniversität Hagen), Alexander Shen (LIF), Daniel Graca (University of Faro), Laurent Bienvenu (LIAFA), Florian Deloup, Walid Gomaa, Simona Ronchi della Rocca (Turin), Georg Moser, José Fernandez (Montreal), Daniel Leivant (Indiana, invited for six months). We also start some collaborations with Dawn Song at Berkeley.

Keywords

Complexity, Computability, Continuous spaces, Virus, Malware, Computational Models, Resource Analysis, Rewriting, Program Properties, Termination, Logic

Now

Logo du CNRS
Logo Inria
Logo Université de Lorraine