Raph Levien
About
Raphael Linus Levien is a software developer, a member of the free software developer community, through his creation of the Advogato virtual community and his work with the free software branch of Ghostscript. From 2007 until 2018, and from 2021 onwards, he was employed at Google. He holds a PhD in Computer Science from UC Berkeley. He also made a computer-assisted proof system similar to Metamath: Ghilbert. In April 2016, Levien announced a text editor made as a "20% Project" : Xi.
