Prantik Chatterjee, Ph.D

Senior Software Engineer

Bengaluru, Karnataka, India12 yrs 1 mo experience
Highly Stable

Key Highlights

  • PhD in Computer Science from IIT Kanpur
  • Winner of Intel Research Fellowship 2022-2023
  • Expertise in Formal Verification and Machine Learning
Stackforce AI infers this person is a Software Engineer with a focus on formal verification and machine learning.

Contact

LinkedIn

Skills

Core Skills

Model Checking

Other Skills

Distributed Framework DesignResearch PublicationCC++MatlabProgrammingData AnalysisC#Machine LearningLaTeX

Experience

Mathworks

Senior Software Engineer

Mar 2023 – Present · 3 yrs · Bengaluru, Karnataka, India · Hybrid

Microsoft

Research Intern

Dec 2019 – Feb 2020 · 2 mos · Bengaluru Area, India

  • Worked on designing a distributed framework for bounded model checking. The framework named Hydra is designed on top of Corral which is used by Microsoft's Static Driver Verifier to verify windows device drivers. Experiments show that Hydra provides 20 times speedup over Corral on average. The research work was published in FMCAD 2020.
Distributed Framework DesignModel CheckingResearch Publication

Indian institute of technology, kanpur

2 roles

Senior Research Fellow

Promoted

Aug 2019 – Mar 2023 · 3 yrs 7 mos

Junior Research Fellow

Aug 2017 – Jul 2019 · 1 yr 11 mos

Indian statistical institute, kolkata

2 roles

Project Linked Person

May 2016 – Mar 2017 · 10 mos · Kolkata, West Bengal, India

  • Transfer Learning: Neuro and Fuzzy Approaches

Project Linked Person

Jun 2013 – Mar 2016 · 2 yrs 9 mos · Kolkata, West Bengal, India

  • Computational Intelligence Approaches for Finding Synergy Networks from Gene Expression Data.

Education

Indian Institute of Technology, Kanpur

Doctor of Philosophy - PhD — Computer Science

Jan 2017 – Jan 2023

Indian Institute of Engineering Science and Technology (IIEST), Shibpur

Master of Technology - MTech — Computer Engineering

Jan 2011 – Jan 2013

West Bengal University of Technology, Kolkata

Bachelor of Technology - BTech — Computer Engineering

Jun 2004 – Jun 2008

Stackforce found 14 more professionals with Model Checking

Explore similar profiles based on matching skills and experience

Pragyesh Agrawal

Pragyesh Agrawal

FX Options Trader

at YES SECURITIES

Mumbai, India9 yrs 4 mos exp
Market AnalyticsPerformance EngineeringQuantitative AnalysisResearchRisk Management
Sourabh Ghurye

Sourabh Ghurye

Vice President

at Goldman Sachs

Mumbai, India9 yrs exp
Machine LearningMarket Risk
Ramneet Singh

Ramneet Singh

Research Fellow

at Microsoft

New Delhi, India3 yrs 4 mos exp
Formal VerificationInfrastructure as a Service (IaaS)Machine LearningMarkov Decision Processes
Laurent X.

Laurent X.

Software Engineer

at Headlands Technologies LLC

Netherlands5 yrs 6 mos exp
Algorithm DevelopmentC#C++CUDALow Latency Programming
Yugesh Kothari

Yugesh Kothari

VP of Engineering

at SigIQ.ai

Écublens, Switzerland7 yrs 5 mos exp
DevOpsFormal VerificationFull Stack DevelopmentNeural NetworksProgram Analysis
Nuno Machado

Nuno Machado

Backend Engineer (AI Agents)

at Maze

Madrid, Spain10 yrs exp
Software EngineeringAI DevelopmentMachine LearningMLOps
Kuldeep Kumar Garg

Kuldeep Kumar Garg

Assistant Professor

at National Institute of Technology, Kurukshetra, Haryana

India4 yrs 2 mos exp
Software EngineeringSoftware Maintenance and Reuse
Ming-Tian Yang

Ming-Tian Yang

Teaching Assistant

at The University of Hong Kong

Hong Kong, Hong Kong0 mo exp
Programming Language TheoryPython (Programming Language)JavaClojureC++