- ๐ฅ 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