Linux Symposium

Alexandre LISSY

After having been a contributor to the FrenchMozilla project, discovered kernel development with a small example of USB Missile Launcher driver to create as part of a school project. Working on the Kerrighed project the next-year, to introduce some "hybrid scheduling policies" in the cluster, and pushing a new scheduling policy (RBT) upstream. Now a PhD student of Mandriva and the Laboratoire d'Informatique of the Université de Tours, France, working on using formal methods in the kernel to be able to prove "things".

Policies   |   Media Archives