home

Hello, my name is Christophe Junke.

I'm currently a research engineer at CEA List working on SMT solvers and have experience developing embedded systems.

This site is under construction.