I have a Professor position in the Formal Methods group of the Computer Science Lab of Bordeaux (Labri), University of Bordeaux, since September, 2013.
I am pleased to teach at the Bordeaux Institute of Technology (IPB) (newly renamed "Bordeaux INP", one of the school of the national school network INP). Of course, I'm teaching in the computer Science department.
I am also associate member of the LRI laboratory in the University of Orsay Paris 11, in the Artificial Intelligence and Inference System group (IASI) (I was associate professor in this group before 2013, and happy to formally remember it with this position).