Member of the PrincipiaCybernetica Editorial Board.
Inventor of the programming language Refal (RefalLanguage) and discoverer of the principle of supercompilation (SuperCompiler).
See http://pespmc1.vub.ac.be/TURCHIN.html