Symbolaris.com
Top symbol sites |
Top aris sites |
- Title
- André Platzer @ Carnegie Mellon University
- Meta Description
- André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
- Meta Keywords
- André Platzer, Carnegie Mellon University, logic, mathematics, algorithms, computing science, computer science, theorem proving, symbolic math, algebra, computer algebra, differential dynamic logic, hybrid systems, cyber-physical systems, KeYmaera X, formal verification
- Technologies in use
- HumansTxt