Arnaud is Tweag’s head of R&D. He describes himself as a multi-classed software engineer/constructive mathematician. Prior, Arnaud was a researcher in formal methods and programming language theory. Arnaud’s spare time includes solving Rubik’s cubes and speedrunning video games outside of programming and computer science. You can also find him on his Twitch channel, where he streams his speedrunning, as well as live coding sessions. He can also be found on Twitter, where he thinks aloud about science.