Julien Tesson is a Senior Engineer at Nomadic Labs, specializing in research and development for safe distributed and decentralized software. They previously held positions as an Associate Professor at Université Paris-Est Créteil and a Postdoctoral Researcher at Kochi University of Technology, focusing on formal verification of parallel programs. Julien's academic journey includes a Doctorat in Computer Science from Université d'Orléans, where they also earned a Master in Computer Science and a research-focused master's degree. Their research interests range from proof assistants to high-level parallel programming languages, and they have enjoyed teaching a diverse student body at various educational levels.
This person is not in the org chart
This person is not in any teams
This person is not in any offices