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

Here's some recent blog entries:

Introduction [Thursday 05 May 2022]

What is pyaixi [Saturday 07 May 2022]

Subscribe to the RSS feed for this site here