Feedback

A. Baskar

Assistant Professor

Theoretical Computer Science
D166, Department of Computer Science and Information Systems, BITS Pilani K K Birla Goa Campus
Baskar

Ongoing Projects

Title: Verification and Validation of Satellite Onboard Software written in ADA language using Model Checking

Funding Agency: ISRO

Duration: 24 Months (2024 to 2026)

Amount: 17 Lakhs