PARSED CONTENT

The site had the following in the web page, "Im a Principal Researcher in the RiSE." I observed that the web site stated " Tutorial on Lean at CADE 2015." They also stated " Interactive Theorem Proving course at CMU using Lean. Invited talk at CICM 2015. Z3 is now open source MIT License. Here is a list of courses I have taught in the past. Tools and Algorithms in Real Algebraic Geometry, University of Milan. Decision Methods for Arithmetic, Third Summer School on Formal Techniques. Menlo Park, 2013, part 1." The meta header had Z3 as the first keyword. This keyword was followed by SMT, SAT, and Leonardo which isn't as important as Z3. The other words the site uses is Leo. de Moura is also included and could not be seen by search engines.