danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Obsidian/Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md
Dane Sabo 6f32f89836 Auto sync: 2025-12-23 17:40:07 (8 files changed) 
M  .task/taskchampion.sqlite3

A  "Zettelkasten/Permanent Notes/20251223161108-andre-platzer.md"

A  "Zettelkasten/Permanent Notes/20251223162450-web-of-science.md"

A  "Zettelkasten/Permanent Notes/20251223162954-snowballing.md"

A  "Zettelkasten/Permanent Notes/20251223163648-deterministic-parity-automata.md"

A  "Zettelkasten/Permanent Notes/20251223165340-mealy-machines.md"

A  "Zettelkasten/Permanent Notes/20251223170627-finite-state-machines.md"

A  "Zettelkasten/Permanent Notes/20251223171835-moore-machines.md"
2025-12-23 17:40:07 -05:00

580 B
Raw Permalink Blame History

id title type created modified tags
20251223161108 Andre Platzer permanent 2025-12-23T21:11:08Z 2025-12-23T21:53:21Z

Andre Platzer

Andre Platzer is a computer scientist who is a professor at both Carnegie Mellon and the Karlsruhe Institute of Technology. Platzer is a leading researcher in differential dynamic logic and [[cyber-physical systems]]. He has helped to create software like KeYmaera X.

He has also written a book, called "Logical Foundations of Cyber-Physical Systems." Manyu worked with KeYmaera X some and was inspired by his work.