André Platzer @ Carnegie Mellon University
Description
pulled from site's meta descriptionAndré Platzer, Assistant Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
This is an automatically generated AboutUs page for symbolaris.com. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.
Categories:
- AboutUs AutoGen
- André Platzer
- Carnegie Mellon University
- logic
- mathematics
- algorithms
- computing science
- computer science
- theorem prover
- symbolic math
- algebra
- computer algebra
- numerical
- object-oriented programming
- software
- design
- theory
- Orbital library
- differential dynamic logic
- hybrid systems
- KeYmaera
- verification
- Java library
- Java applets
- Java applications
- java packages
- Rhythmomachia
- Seti
- algorithmic templates
- download