About me


I am Basile Pesin, a computer science PhD student in ENS Ulm. I am interested in programming languages, compilers and proof assistants. In particular, I am currently working on formalizing the semantics of SCADE-style state machines in the Coq proof assistant, as part of the Velus project. I also enjoy working on various subjects, such as functional or logic programming, or programming embedded devices. Because programming isn't everything, I also take some time for rock-climbing, baking or reading.


Since 2020, I've been teaching a few undergrad courses at Sorbonne Université (in french):


  • [VPVC:VMIL:2020] Steven Varoumas, Basile Pesin, Benoit Vaugon & Emmanuel Chailloux, Programming Microcontrollers through High-Level Abstractions, in in: VMIL 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, edited by (2020)
  • [BCPT:FC:2020] Bruno Bernardo, Raphaël Cauderlier, Basile Pesin & Julien Tesson, Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain, 584-598, in in: Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers, edited by Springer (2020)
  • [BRHPT:FM:2019] Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin & Julien Tesson, Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts, 368-379, in in: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, edited by Springer (2019)


You can reach me by email at basile.pesin@vertmo.org

Auteur: Basile Pesin

Created: 2021-01-17 dim. 12:02