Anuj More — Software Engineer
• Working in Hardware verification industry since 2019 • Have worked on various types of HW designs, as part of external projects of clients at Oski, and also internal projects at Nvidia • PhD from IIT Kanpur, India on algebraic, logical and category-theoretic studies on rough sets (Thesis supervisor - Mohua Banerjee) • BS-MS from IISER Pune with mathematics major. • Interested in academics, as well as, industry. ResearchGate profile: https://www.researchgate.net/profile/Anuj_More • Research oriented: 5 pubs • Talks in various logic meets at national (India) and international conferences. • I have strong Mathematics background, as well as interests in other sciences. I am always interested in learning new subjects.
Stackforce AI infers this person is a Hardware Verification Engineer with a strong academic background in Mathematics.
Location: Gurgaon, Haryana, India
Experience: 6 yrs 9 mos
Career Highlights
- PhD in Mathematics from IIT Kanpur.
- Strong background in Mathematics and logic.
- Research-oriented with publications and conference talks.
Work Experience
NVIDIA
Formal Verification Engineer (4 yrs 5 mos)
Oski Technology, Inc.
Formal Verification Engineer (2 yrs 4 mos)
Education
Doctor of Philosophy - PhD at Indian Institute of Technology, Kanpur
Bachelor and Master of Science (Integrated BS+MS) at Indian Institute of Science Education and Research, Pune
High School at Kendriya Vidyalaya
Secondary School at Creane Memorial High School Gaya
