Home > Authors > Léonard Brice

Léonard Brice

Léonard Brice is an activist in Gauche Anticapitaliste, the Belgian section of the Fourth International. He works as a researcher in theoretical computer science at an Austrian research institute, specializing in formal methods of program verification.