I am a senior researcher with INRIA in Rennes, Brittany, with current scientific interests in concurrency, type and proof theory for system design with ...
Oct 7, 2024 · Jean-Pierre Talpin: The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228: 102958 (2023)
Jean-Pierre Talpin received the PhD degree from the Université Paris VI Pierre et Marie Curie, France, in 1993. He then was a research associate with the ...
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, ...
People also ask
What did Jean Pierre Falret do?
Where is Jean Pierre chef from?
Nov 9, 2023 · Professor Talpin first talked about embedded systems, and used modern high-end cars as an example to show the complexity of such systems. Based ...
Jean-Pierre Talpin's 229 research works with 3392 citations, including: End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.
Inria Centre de Recherche Rennes Bretagne Atlantique: Rennes, Bretagne, FR 1995-09-01 to present Employment
Subject Areas: Embedded and cyber-physical systems, Real-time systems, Logic, Formal languages and automata theory, Document types, Formal methods.
I have a Master in Theoretical Computer Science from University Paris VI. I did my PhD Thesis at Ecole des Mines de Paris under the advisory of Pierre Jouvelot.