… I solemnly declare this blog, open! (oh my gosh am I excited!)

Okay, who are you already?

On the internet, I go by Krab, or, Dr Krab (Ph.D.). I am an assistant professor in computer science, which means I do both teaching and research in this area.

I teach various topics related to CS, from software design to theory, and of course, formal methods, which is my research’s topic of interest.

I did all my studies in the South-West of France, and most of them in Toulouse, although I am initially from the Vosges, in the North-East of France.

So then, what is this?

During my off time, I sometimes stumble across something that I find interesting, or do something that I find funny… And my frustration has always been that I could not just present it to people (besides my adorable colleagues).

So here I am, doing just that: ramble about stupid stuff I do and interesting stuff I read, hoping it finds an audience of nerdy people that are into that as well.

I want to attempt to do a bit of vulgarisation, and also talk about computer science in general. I believe this is a big enough of a topic that I can run a blog about it for the next thousand year…

Anything else

Although this is the first post and my blog has not been online for very long it is already a bit furnished. If you want to learn more about me I highly recommend you look at the About menu at the top of the page. It includes a way to contact me should you want to!


With that, welcome to my blog! I hope to see you soon :3