Resume
Researcher
Hachaichi
Yassine
Researcher at University of Carthage
Higher School of Technology and Computer Science
Citations
-
Contact Info
Resume
Professional Skills
Theoretical Computer Science
Logic
Formal Verification
Model Checking
Discrete Mathematics
Graph Τheory
Algorithms
Verification
Combinatorics
Computation
Research Experience
Research Associate
École Nationale d'Ingénieurs de Tunis September 2015 - Present
Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur
Researcher
ENICarthage September 2012 - Present
Electricité Intelligente et Technologies de l’Information et des Communications EI&TIC Lab
Professor (Assistant)
El Manar Preparatory Institute For Engineering Studies September 2001 - Present
Assostant professor in Mathematics. Head of department 2002-2005. Scientific commitee member 2005-2008
Research Assistant
Université Paris-Est Créteil Val de Marne - Université Paris 12 September 1999 - Present
ATER
Moniteur
Paris Diderot University September 1997 - Present
Monteur en Informatique et Thésard à l'Equipe de Logique Mathématique
Education
Paris Diderot University
1997 - 2001
Logic and foundation of Computer Science
Realted Researchers