October 2024 – Consulting Joe

General Updates

Proving Agrawal’s Conjecture Using Isabelle: A Journey in Formal Verification

Joe October 30, 2024 0 Comments

Formal verification has always intrigued me, but it was only recently that I decided to…

Read More

General Updates

Proving Agrawal’s Conjecture Using Isabelle: A Journey in Formal Verification

Portfolio Projects

How I Create a 3D Model of My Brain using Slicer and the Swiss Skull Stripper Plugin

YOLOv8 Image Annotation Tool – Simplifying Image Labeling with AutoIt

Helpful Things Portfolio

Simplifying Product Photo Management with a Node.js Application