Description: André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.
Keywords: André Platzer, Alexander von Humboldt Professor, Karlsruhe Institute of Technology, Logic of Dynamical Systems, Logic of Autonomous Dynamical Systems, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods
Science Math Algebra Software 网站
2024年12月25日