Hi! I'm SG Kassel.
I'm a web developer, a DevOps person, and a computer scientist, interested in software verification, automated reasoning/deduction, and their relationship to artificial intelligence (AI). Amongst many other things!
I'm gathering my work together here, so people can find me for collaborations and paid projects through my consultancy business.
I'm also posting my thoughts on various tech topics, with descriptions of my projects and where to next.
If you'd like to get in touch, please use the contact form here
Have a lovely day!