Pratyay Sarkar
@pratyay225kgr
Badges
Certifications
Work Experience
Project Intern
Indian Association for the Cultivation of Science•  January 2023 - Present
Working on an open source tool called SAT-Reach and implementing a new engine to handle Compositional Hybrid Automata.
Education
IACS
BSMS in Computer Science, BS
Links
Skills
pratyay225kgr has not updated skills details yet.