Raphaël Amiard is a software engineer at AdaCore working on tooling and compiler technologies. He received his B.Sc. and M.Sc. degrees in Computer Science from the Pierre et Marie Currie University in Paris, in 2010 and 2012, respectively. He joined AdaCore in 2013, after an internship on AdaCore’s IDEs. His main interests and topics of work are compiler technologies and language design. He is familiar with digital sound processing through the making of a hobbyist DSP Library for Ada, ada-synth-lib.