Curriculum Vitae

Professional experience

  • 2000 - 2016: Research engineer, CeV project, MDSC team (I3S)
    (thanks to RNTL Inka, ACI V3F, RNTL DANOCOPS, ANR CAVERN, FP7 MANCOOSI, OSI PAJERO and ANR COVERIF grants)
    • Constraints over the floating point numbers (dedicated to software verification)
    • Tight cooperation between constraint programming and abstract interpretation to improve software verification
    • Global optimization of non linear constraints
    • Safe and rigorous use of linear relaxations of non linear constraints to solve constraints over the reals

  • 1990 - 1992: Software engineer, Thomson Multimedia (Deutsche Thomson Brandt GmbH), Villingen, Germany
    • Design and development of a software and hardware platform to prototype Tv set (Universal Tv Controller).

Diploma

  • 2016: Habilitation à diriger des recherches (accreditation to supervise research)
    (Contraintes sur les réels et contraintes sur les flottants: contributions, in french).
  • 1997: Phd in computer sciences (Models and implementations of reflective interpreters, in french).
  • 1990: Master in computer sciences (DEA).
  • 1990: Engineer in computer sciences (ESSI).

Conference organization & Program committees

PhD students

  • Heytem Zitoun: "Search in floating-point constraint systems for program verification", 2015-2018 (ongoing).
  • Mohammed Said Belaid: "Solving floating-point constraint systems for program verification", december 2015, ([pdf], in french).
  • Heikel Batnini: "Global constraints and search heuristics for continuous CSPs", december 2005, ([pdf], in french).

Founded project member

  • COVERIF (ANR générique, PRC, 2015-2020).
  • PAJERO (OSEO ISI, 2011-2015).
  • MANCOOSI (FP7, 2008-2011).
  • CAVERN (ANR, 2008-2011).
  • DANOCOPS (RNTL, 2004-2007).
  • V3F (ACI, 2003-2006).
  • INKA (RNTL, 2000-2003).

Teaching experience

  • Database, 1st year of IUT SID (2016, 12h).
  • Constraint programming, 1st year of Master in computer sciences (2003-2007, 100h).
  • Unix, 1st year of IUT (2000-2001, 60h).
  • Reflexion in computer languages, DEA (2001 & 1998, 6h).
  • Excel, DEUG B (1994-1995 & 1992-1993, 128h).
  • Pascal, DEUG A (1993-1994, 64h).
  • C, Lex, Yacc (1991, 50h).

Software developments

  • FPCS: Floating Point Constraint Solver (C++, C, assembler, m4)
  • mccs: a multi criteria upgradeability optimization solver (C++, lex, yacc, Cplex, Gurobi,...)

Languages

  • French: native
  • English: proficient in spoken and written English