, He has been wondering for a while how audio programming should be. He currently works on the formal semantics of the Faust audio programming language at MINES ParisTech In the past, he has worked on privacy, security, software verification and semantics