- 🔥 I am an Online Master of Science in computer science (OMSCS) student at Georgia Institute of Technology, specialising in Computing Systems. I graduated with a Master of Science in Computer Science (M.Sc.) degree from Vanderbilt University in December 2024, where I was also a recipient of the Engineering Graduate Fellowship.
- 🏋️♂️ I like to go to a gym.
- 📚 I like to read books.
- 💎 Programming Languages: C, C++, Go, Java, JavaScript, Python, Rust
- 🪭 Database Management Systems (DBMS): SQL, MongoDB
- 💻 Web frameworks and libraries: MERN stack, Bootstrap, Flask, Spring framework
- 💌 Cloud Computing: Docker, Kubernetes, MapReduce
- 📩 Message queueing framework: ZeroMQ (ZMQ)
- 💊 Data Science and Machine Learning libraries: PyTorch, Tensorflow
- 🔫 Formal Verification Tools: NuSMV, NNV, Z3 Theorem Prover, PySMT, UPPAAL
- 🔧 Software Testing Tools: American Fuzzy Loop (AFL), EvoSuite, gcov, JUnit, Mockito