Ramit Das

About Ramit Das

So I have been on the Academic treadmill till now and haven\'t had any industry exposure except perhaps out of campusing from my bachelor\'s I had landed up some jobs which I had rejected for a higher calling of sorts. I\'m actually pretty comfortable with any sort of coding in any language and as long as it is interesting I\'m going to get it done. In my academic journey my entire interest was about picking up the essentials of mathematics that is the base on which almost the entire world runs on. I would like to now turn that core foundational understanding of building models and systems for any problem/task at hand and code it out to make math meet reality. Looking forward to good connections! I have worked in areas of Game Theory, Logic, and some proof theory for my master\'s project. Would be comfortable picking up complexity theory and algorithms and playing around with algorithm implementations and definitely Theorem Proving (which I have lotss of bets on!)

Experience

1. Principal Software Engineer

   Cadence

   Dec 2025 — Present · Bengaluru, IN

   searching an answer for https://cstheory.stackexchange.com/questions/54761/concepts-that-go-into-converting-an-algorithm-to-a-hardware-implementation-of-it/54762 straight from the horse\'s mouth!

Education

• IIEST, Shibpur

  B.E., Computer Science

• The Institute of Mathematical Sciences, Chennai

  Doctor of Philosophy - PhD, Theoretical Computer Science

• Chennai Mathematical Institute

  Masters, Mathematics and Computer Science

Skills

• Computational Complexity
• C
• Programming
• C++
• Algorithm Design