André Platzer @ Carnegie Mellon Universityhttp://portalrankings.com/info/symbolaris.com
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.
- Updated On (Date): 2017-Apr-14
- Expiration time: 2018-Apr-15
- Website Registered On (Date): 2008-Apr-15