Martin Bodin — Esplorado

Martin Bodin — Travaux de recherche

Martin Bodin — Research

Mi estas postdoktorulo ĉe Imperial College, en Londono. Mi laboras je la esplorada grupo Verified Trustworthy Software Specification.

Je suis post-doctorant à l’Imperial College, à Londres. Je travaille dans le groupe de recherche Verified Trustworthy Software Specification.

I am a postdoc at the Imperial College, in London. I work on the Verified Trustworthy Software Specification research group.

Mi estis partoprenanto de la projektoj JSCert kaj SecCloud. La projekto JSCert celas al konstrui modelojn de Javaskripto en la pruvhelpilo Coq kaj konstrui aŭtomatajn ilojn purvatajn per tiuj semantikoj. La projekto SecCloud celas ellabori lingvaĵbazajn laborgvidojn por la difino, analizo kaj realigo de sekuraj programaĵoj ellaboritaj per Javaskripto aŭ similaj lingvaĵoj.

J’ai fait partie des projets JSCert et SecCloud. Le projet JSCert a pour but de construire des modèles de JavaScript en Coq et de concevoir des outils d’analyses automatiques basés sur ces modèles formels. Le projet SecCloud a pour but de concevoir une approche orientée langages de programation pour la définition, l’analyse et l’implémentation d’applications sécurisées développées en JavaScript ou en des langages similaires.

I have been part of the JSCert and the SecCloud projects. The the JSCert project aims to build models of JavaScript in the Coq proof assistant and to design automated tools based on those semantics. The the SecCloud project aims to provide a comprehensive language-based approach to the definition, analysis and implementation of secure applications developed using JavaScript and similar languages.

Ĉi tiu paĝo listas miajn eldonaĵojn. Vi ankaŭ povas kontroli miajn profilojn ĉe Orcid, DPLP, aŭ Google Scholar.

Cette page liste mes publications. Vous pouvez aussi consulter mon profil Orcid, DPLP, ou Google Scholar.

This page lists my publications. You can also check my Orcid, DPLP, or Google Scholar profile.


Eldonaĵoj

Publications

Publications


Babilkongresoj

Colloques

Workshops


Doktoriĝo

Thèse

Thesis


Aliaĵoj

Autres

Miscellaneous

Populariga filmeto

Esperanta filmeto kiu prezentas mian esploradan temon.

Vidéo de vulgarisation

Vidéo en espéranto sur une présentation générale de ma recherche.

Qualification

Tio estas la dokumentaro kiun mi elpreparis por la franca “qualification”, por la CNRS.

Qualification

Ceci est le dossier que j’ai monté pour la qualification aux postes d’enseignents-checheurs aux CNRS.

Qualification

This is the document that I prepared for the French “qualification” for the CNRS.


Retejo kreita per Martin Bodin. Se vi renkontas ian ajn problemon kun ĝi, bonvolu kontakti min.

Site conçu par Martin Bodin. En cas de problème avec ce site, n’hésitez pas à me contacter.

Website created by Martin Bodin. In case of issues with this website, do not hesitate to contact me.

Laste ŝanĝita je la 2020-09-16

Dernière mise à jour le 2020-09-16

Last update the 2020-09-16