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