Resume
Researcher
Hachaichi
Yassine
Researcher at University of Carthage
Higher School of Technology and Computer Science
Citations
-
Contact Info
Resume
Professional SkillsTheoretical Computer Science
Logic
Formal Verification
Model Checking
Discrete Mathematics
Graph Τheory
Algorithms
Verification
Combinatorics
Computation
Research ExperienceResearch 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
Message
