This site is supported by donations to The OEIS Foundation.

User:David M. Cerna

From OeisWiki
Jump to: navigation, search

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