Régis Blanc is a PhD student at the École Polytechnique Fédérale de Lausanne (EPFL), in Switzerland, where he is doing research in Computer Science in the field of Software Verification. He is currently working in the Laboratory of Automated Reasoning and Analysis (LARA).
Régis studied Computer Science at EPFL for his Bachelor, before moving to the University of California, Berkeley, as a visiting student. He then lived some time in Japan, in the beautiful city of Nara, working as an intern at NEC. He came back to Switzerland to complete his Master degree in Computer Science, still at EPFL. He also spent some time as an intern for IBM Research in Zurich during his PhD studies.
Besides trying to teach computers to understand code, he also enjoys building less complex, but nonetheless useful, software with a chance to be used in the real world. This website showcases some of those attempts.
Outside of computing, Régis is an avid football (read: soccer) and (somtimes) tennis player. He also occasionally plays Magic the Gathering, trying to renew with a glorious past.