About

Interests

I am a verification engineer by training, with a solid background in interactive theorem proving and model checking.

Am experienced in applying formal methods to verify both software and hardware systems.

Seeking to leverage expertise in formal verification to build provably correct, reliable hardware designs.

Currently trying to further my understanding of UVM and SVA.

—

A quote

Here is a quote that I found online (source unknown. Tell me if you know where it's from):

It is quite simple - nothing that is meant for you will ever get away.

Love deeply, and without the need to possess or own;

let beautiful connections pass through you without attachment,

slam your heart into the people and the places and the things that ignite something deep inside of your soul,

and I promise, I promise - the right things will stay.
You will never lose what is for you.
Please don’t ever forget that.

Email id

Require Import String.

Inductive email : Set :=
| Email: forall (username domain tld:string), email.

Goal
  email.
Proof.
  eapply Email.
  - exact "famubu"%string.
  - exact "disroot"%string.
  - exact "org"%string.
Qed.

My current GPG key is: 3D6B63118BEC4F3B4C78182645D5D368403B0E25