M.E. in Computer Science and Engineering & Information Technology
Punjab Engineering College, Chandigarh, India
Formal Methods and Verification of Large Systems, Semantics of Programming Languages
Theoretical Computer Science
Verification of Machine Learning Models
Security in Mobile Ad-hoc Networks
International Conference Attended
A Behavioural Theory for Intrusion Detection System in Mobile Ad-hoc Networks, Proc. of the International Conference on High Performance Compilation, Computing and Communications (HP3C-2018), Hong Kong, China, 15th-17th March, 2018
More than 13 years of Teaching and Research experience at reputed engineering colleges/ universities.
Taken duties & assignments like Teaching, Mentoring, Program Leader, Research Supervision, Project Guidance.
Taught courses like Data Structures, Design and Analysis of Algorithm, Theory of Computation, Compiler Design, Discrete Structures, Principles of Programming Languages etc. to under-graduate and post-graduate students.
Member of Research Group Formal Analysis, Algorithm for System Theories (FAST) Group at Centre for Advanced Studies, Lucknow (http://cas.res.in/fast)