My email: [email protected] ©

By Day: rummaging through random code regularly By Night: admiring the work of others For Fun: long walks at the beach For Free: community work that helps the planet and it`s people For Um: yes Q: What`s a binary rifle? A: It`s a rifle that fires 1`s and 0`s... (pew) (pew) ©

Assistant professor of computer science at the Université de Sherbrooke (Canada). My research lies around the intersection of theoretical computer science and formal methods. My interests include formal verification, automata theory, model checking of concurrent and distributed systems, computational complexity theory, logic and verification tools. ©

Front-end developer with a sense of style. More than 3 years working remotely. Always looking for an opportunity to do work easily and simply, without unnecessary complexity / abstraction. That is why I became a big fan of vue.js. You can do very complex things with it, but simple things are done easily. In addition to work, I enjoy snowboarding and swimming. ©