Karthik’s Introduction

I’m from India and I’m currently pursuing my Master’s in Department of Computer Science, My research work is on Formal Verification & Machine Learning.

My Work

If you have some thoughts on how to verify some unknown mathematical function that works correctly, I would be happy to share my thoughts. If you sometimes wonder how to hack into a Machine learning model, I can also add something to it.

What’s up with DSPG?

I like solving problems, so far data science has a lot of open problems and I see potential in data science solving a lot of real-world problems. I have designed software applications in the past, but this time with DSPG I’m planning to gain some insights into designing mathematical models for the data.

Hobby

Fun Facts

Recently I got to know (credits to Tabassum), the word “karthik” closely relates to “Season & Farming” and I love Farming, Fun stuff!