(Former) Member Profile :
|
Naveen Kumar K.M.Former B.Tech student.Associated with group during : Jul 1994 - Jun Advisor(s) : C. Pandu Rangan Email : |
Disclaimer : This page lists only the information about the individual member relevant to the theory group activities. Please visit the individual's page (using the link above) for broader profile information.
Research InterestsAlgorithms Engineering : A novel approach towards experimental analysis and validation of formally proved systemsMoved to: |