André Platzer @ Carnegie Mellon University
André Platzer, Associate Professor @ Carnegie Mellon University. Research, tools, and courses on logic, computer science, mathematics, cyber-physical systems, hybrid systems, and verification.
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
Is this your site? Certify your site and update informations
