lou1306 / plancksat Goto Github PK

Ciao! Hi! Salut! Tjena! 👋

• I'm a University Assistant at the Cyber-Physical Systems group within TU Wien 🇦🇹🇪🇺
• I want to improve automated reasoning about the correctness of programs and systems ✅
• I also want to use this form of automated reasoning to investigate the emergence of collective behaviour in complex adaptive systems 🐜
• I am also interested in formal semantics of languages, concurrency, and process algebras 🌀
• As of late I have been working on verification and reactive synthesis, and messing with SMT and SAT solvers 👨‍💻

For more information, check out:

• My academic homepage
• My GitHub.io homepage
• My publications