Blog

Blog

September 15, 2022

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