This site is supported by donations to The OEIS Foundation.
User:David M. Cerna
From OeisWiki
I am currently a Senior Postdoctoral researcher at the research institute for symbolic computation in upper Austria. My main areas of interest are Computational proof theory, Computational logic, formal methods, automated theorem proving, and term rewriting. http://www.risc.jku.at/home/dcerna