Hello World!
My name is Szymon “KatJon” Wróbel, I am currently working on a PhD in Computer Science on Wrocław University of Science and Technology.
Main topics
- Functional programming
- Computational complexity, logic, and optimization.
- Formally verified software and theorem proving in Coq and SPARK
- Logic programming: SWI-Prolog