Arthur Milchior

Themes

  • First order logic over integers
  • Weak arithmetic (below addition)
  • Logic over words
  • First order logic over reals
  • Deterministic automata accepting numbers
  • High-order logic

Conference

Journaux

  • My PhD manuscript : Logique du premier ordre, relations d'entiers et automates dans une base fixe and its slides.
International conference
Seminars

Teaching

Lecture

  • System and Network (x2) 44 hours of lectures and of labs

Labs

Each class is composed of approximately 20 students

  • Languages and Automata (x2) 36 hours of theoretical exercices
  • Languages and Automata 24 hours of exercice, 24 hours on computes,
  • Functional programing (oCaml) 36 hours on computer
  • Internet and tools (html, mysql, php) (x2) 48 hours on computers
  • Object oriented programing (Java) 24 hours on computer
  • Data structure (Java) 36 hours on computer
  • Introduction to computation (Ada) 64 hours of theory and computer exercice.

CV

* CV

Nom Arthur Milchior
Téléphone 01 57 27 94 44
Bureau 4033
Mail milchior@irif.fr
Page web https://www.irif.fr/web9/equiprech/fichepers_fr.php?id=353