Anissa Kheireddine

Short Bio

Master degree in Operational Research, Decision-making and Multi-agent Simulation (ANDROIDE) at University of “Sorbonne Université” (Paris 6). Currently a PhD student at LRE and LIP6 (Sorbonne University).

Research

Key words

Model checking, Bounded Model-checking (BMC), Linear programming, SATisfiability (SAT), Automata, LTL, Parallelism, Operational research, Decision aiding, Multi-objective optimization.

Current research

My current research activities cover the optimization of formal verification problems, in particular Bounded model-checking reduced to a propositional formula (SAT). I’m also interested in operational research and decision aid problems.

Teaching

• Programmation concurrente (L3, Sorbonne University)
• Programmation python, C (L1, Sorbonne University)
• Complexité des algorithmes (EPITA)
• Théorie des langages rationnels (EPITA)

Publications

See Dblp