|Feb 2021 - Present||Plow Technologies|
|Mar 2020 - >Jan 2021||University of Leicester|
|Nov 2017 - Nov 2018||Wyggeston & Queen Elizabeth I College|
Individual/small group drop in sessions, helping A Level students with current class topics and coursework.
|Jul 2015 - Sep 2015||University of Leicester|
|Jun 2014 - Aug 2014||University of Leicester|
Technologies (and other buzzwords)
- CI/CD (Github Actions/Microsoft Azure)
- Cloud (Google Firebase/Heroku)
- Databases (Postgres/MySQL/Neo4j)
- REST services
- SMT solvers (Z3/CVC4)
|Oct 2016 - Sep 2020||University of Leicester|
|Oct 2015 - Sep 2016||University of Oxford|
|Sep 2012 - Jun 2015||University of Leicester|
|Software Tool Support for Modular Reasoning in Modal Logics of Actions S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Proc. ITP 2018|
|Partially monoidal categories and the algebra of simultaneous substitutions S. Balco, A. Kurz, Preprint|
|Nominal String Diagrams S. Balco, A. Kurz, Proc. CALCO 2019, received the best paper award|
|Display calculi and nominal string diagrams S. Balco, PhD thesis|
|Completeness of Nominal PROPs S. Balco, A. Kurz, journal version of the Nominal String Diagrams paper, under review|
Slovak (native speaker), English (native speaker), German (elementary proficiency).
Electronics (e.g. Arduino, Raspberry Pi, ESP32), hacking (former member of the Nottingham hackerspace Nottinghack) and DIY (working with a laser cutter, 3D printer, interested in metalworking, etc.), swimming, skiing and playing tennis. Recently designed and helped build a fort.
Please don't hesitate to contact me using the form below:
The PDF version of this CV can be found here.