DEV Community

S V Mohit Kumar profile picture

S V Mohit Kumar

Hey everyone. I'm a recent MTech graduate from IIIT Hyderabad. I did my Masters in CSE, and developed very profound interest in Systems programming, especially Distributed Systems.

Location Bilaspur, Chhattisgarh, India Joined Joined on 

Education

DAV Public School, Vasant Vihar, SECL, Bilaspur (Chhattisgarh), India

Pronouns

He/Him

Building a Verification-Aware Programming Language from Scratch in C (with Z3)
svmk_18 profile

Building a Verification-Aware Programming Language from Scratch in C (with Z3)

#programming #computerscience #c #compiling
Comments
4 min read

Want to connect with S V Mohit Kumar?

Create an account to connect with S V Mohit Kumar. You can also sign in below to proceed if you already have an account.

Create Account
Already have an account? Sign in
loading...