Steven de Oliveira

Ph.D. in formal methods


    2017

  1. INF441 - Advanced programming - Ecole Polytechnique
    Kaustuv Chaudhuri, Steven de Oliveira, Hugo Illous, Samuel Mimram, Mario José Parreira Pereira, Xavier Rival, Pierre-Yves Strub
    • Ocaml
    • Functionnal programming
    • Abstraction
  2. 2016

  3. INF411 - Programmation and algorithms - Ecole Polytechnique
    Jean-Christophe Filliâtre
    • Java
    • Basic data structures (Linked list, trees,...)
    • Genericity

  4. INF431 - Concurrency and distributed computing - Ecole Polytechnique
    Roberto Blanco, Kaustuv Chaudhuri, Steven De Oliveira, Cezara Dragoi, Eric Goubault, Samuel Mimram, Giselle Reis, Christelle Rovetta, Francesco Zappa Nardelli
    • Java
    • Complexity
    • Threads, locks
    • Map-reduce, Hadoop, RMI
  5. Homework : Strange programs and behaviors

    2015

  6. INF472 - Web applications - Ecole Polytechnique
    Steven de Oliveira, Baptiste Desprez, Andrey Ivanov, Christelle Rovetta, Olivier Serre
    • HTML, CSS, PHP
    • Databases (MySQL)
    • Security, javascript, ajax
  7. Open course (in french) : jQuery