Software Engineering and Analysis Lab (SEAL), IIIT-B
Pranita Ganguly
Degree Registered For: MS by Research
Supervisor: Sujit Kumar Chakrabarti
Date of Joining: August 2024
Research Interest: Software Testing and Verification, Formal Methods in Software Engineering, Model-Based Testing for Web Services,Type Systems and Program Analysis
Biographical Sketch
Pranita is an MS student at IIIT Bangalore in the Department of Computer Science, working under the Software Engineering and Analysis Lab.
Prior to joining IIIT Bangalore, she worked for two years at Cognizant as a Test Automation Engineer, gaining hands-on experience in software testing and verification.
Beyond academics, she enjoys traveling to new places , reading books at an alarming speed, and geeking out over the latest gadgets like a true tech enthusiast.
Her Research Areas:
- Software Testing and Verification
- Formal Methods in Software Engineering
- Model-Based Testing for Web Services
- Automated API Testing & Verification
- RESTful API Specification and Validation
- Type Systems and Program Analysis
- Automated Test Case Generation for Software Systems
Courses taken till now: Concrete Mathematics, Software Testing, Program Analysis, Multi Agent Systems, Topics in Computability and Learning and Programming Languages.