Archives de
Auteur : christophe

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu – Logic, Functional Programming

Cătălin Hrițcu is a researcher at Inria Paris where he develops rigorous formal techniques for solving security problems.

He is particularly interested in formal methods for security (secure compilation, memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilation chains, secure hardware).

He is actively involved in the design of the F* verification system and was awarded an ERC Starting Grant on secure compilation with Coq.

Catalin was also a PhD student at Saarland University, a Research Associate at University of Pennsylvania, and a visiting researcher at Microsoft Research Redmond.

Suivez-nous :
Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade a obtenu sa thèse à l’ENS Cachan en 2006 sur la vérification automatique de protocoles cryptographique.

Puis il a fait un post-doctorat à ETH Zurich dans l’équipe de David Basin. Ensuite il a été pendant 7 ans maître de conférences à l’Université Grenoble Alpes au sein du laboratoire Verimag. Il a développé des techniques de vérification pour des primitives cryptographiques et à analyser la sécurité de nombreux protocoles (e-voting, e-auction, e-examens …). Il aussi rédigé un livre sur la logique et un livre sur la programmation fonctionnelle avec des collègues grenoblois pour des étudiants en Licence.

De 2013 à 2016 il a été titulaire de la chaire de confiance numérique de l’Université d’Auvergne au sein du LIMOS.

Il est depuis maître de conférences à l’Université Clermont Auvergne.

Il a publié de nombreux articles et livres dont un sur les architectures PKI et les communications sécurisés. En Septembre 2018, il a participé à un ouvrage intitulé les blockchains en 50 questions.

Suivez-nous :
Mathinfoly revient en 2019

Mathinfoly revient en 2019

Après l’édition de 2016, Mathinfoly revient avec une école d’été à l’interface de l’informatique et des mathématiques, pour étudiants en licence et master.

Une semaine intensive (cours, TD, TP, projet) pour comprendre la révolution des blockchains et les mécanismes de vérification associés. Animé par deux chercheurs de haut niveau, le stage sera encadré par une équipe de jeunes chercheurs enthousiastes.

Public visé : étudiants, élèves des écoles ou cursus préparatoires, en fin de L2, L3 ou M1.

Prérequis : goût pour les mathématiques et une familiarité avec un langage de programmation, de préférence OCaml. Français et anglais courant.

Frais de participation : 200 € avec possibilité de prise en charge intégrale de certains participants. Les frais de participation couvrent l’hébergement et les repas. Les frais de transport sont à la charge des participants.

Le nombre de places est limité à 60 participants choisis sur dossier de candidature.
Les candidatures sont ouvertes aux étudiants francophones.

Pour participer rendez-vous sur le site Web de l’école Mathinfoly 2019

Suivez-nous :
Curiosités célestes, ou comment le mouvement des astres est plus compliqué qu’il ne paraît

Curiosités célestes, ou comment le mouvement des astres est plus compliqué qu’il ne paraît

Dans le ciel, il y a plein de choses intéressantes. La Lune qui change de forme de nuit en nuit, les planètes qui se promènent dans le Zodiaque en faisant des loopings, et le Soleil, grâce auquel on définit le jour, l’année, l’heure, bref, le temps !

Lire la suite Lire la suite

Suivez-nous :
Facebook
Facebook
RSS