Iro Bartzia

Scientific activities for children at CRI - Centre de Recherches Interdisciplinaires
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Le Pré-St.-Gervais, Île-de-France, France, FR

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Experience

  • Learning Planet Institute
    • France
    • Higher Education
    • 100 - 200 Employee
    • Scientific activities for children
      • Sep 2017 - Present

      Organising scientific workshops for children (theme secret codes and cryptography) Organising scientific workshops for children (theme secret codes and cryptography)

  • Université Paris 8
    • France
    • Higher Education
    • 300 - 400 Employee
    • ATER en Mathématiques
      • Sep 2015 - Sep 2016

      Enseignement Recherche Enseignement Recherche

  • Inria
    • France
    • Research Services
    • 700 & Above Employee
    • Doctoral Researcher
      • Jan 2012 - Sep 2015

      Development of a formal proof of elliptic curve theory for cryptography using the Coq proof assistant. Formal verification of elliptic curve algorithms. Development of a formal proof of elliptic curve theory for cryptography using the Coq proof assistant. Formal verification of elliptic curve algorithms.

  • Microsoft Research - Inria Joint Center
    • Saclay Area, France
    • Internship
      • Apr 2011 - Sep 2011

      Training in Coq and development of formal proofs for mathematics. Training in Coq and development of formal proofs for mathematics.

  • INSERM
    • France
    • Research Services
    • 700 & Above Employee
    • Computer Technician assistant
      • Apr 2010 - Feb 2011

Education

  • Institut National de Recherche en Informatique et Automatique
    Doctor of Philosophy - PhD, Mathematics and Cryptography
    2012 - 2016
  • Université Paris 8
    Master's degree, Mathematics and Cryptography
    2008 - 2011
  • Aristotle University of Thessaloniki (AUTH)
    Bachelor of Science - BS, Mathematics
    2001 - 2008

Community

You need to have a working account to view this content. Click here to join now