Admissions Open 2026
Helpline - 080-6988-6999
Facebook Instagram Youtube Linkedin X-twitter
Faculty Ms Anwesha Kashyap

Ms Anwesha Kashyap

Assistant Professor

Department of Computer Science and Engineering

Contact Details

anwesha.k@srmap.edu.in

Office Location

School of Engineering and Sciences Computer Science and Engineering Faculty Ms Anwesha Kashyap

Faculty Information

Education

2026
PhD (CSE)
IIIT Guwahati, Assam
2021
M.Tech
IIIT Guwahati, Assam
2019
B.Tech
DUIET, Dibrugarh University, Assam

Personal Website

Experience

  • Assistant Professor, SRM University-AP, Andhra Pradesh
  • Teaching Assistant, Indian Institute of Information Technology Guwahati, Assam, India

Research Interest

  • My research interests are Formal Methods, Static Analysis and Verification, Information Flow Security, Database Security, Abstract Interpretation, and Software Engineering, in which I am currently working on developing efficient techniques for the static analysis and verification of database-driven software systems. I am particularly interested in applying Abstract Interpretation and Formal Methods to verify information flow security, detect software vulnerabilities, and improve the correctness, security, and reliability of modern software applications. Beyond my current research, I am interested in exploring emerging research directions at the intersection of Artificial Intelligence, Machine Learning, and Software Engineering, with a focus on intelligent program analysis, AI-assisted software development, automated software testing and verification, secure software engineering, and trustworthy AI-driven software systems.

Memberships

  • IEEE

Publications

Patents

Projects

Scholars

Interests

  • Abstract Interpretation
  • Database Security
  • Formal Methods
  • Information Flow Security
  • Software Engineering
  • Static Analysis and Verification

Thought Leaderships

There are no Thought Leaderships associated with this faculty.

Top Achievements

Research Area

No research areas found for this faculty.

Computer Science and Engineering is a fast-evolving discipline and this is an exciting time to become a Computer Scientist!

Computer Science and Engineering is a fast-evolving discipline and this is an exciting time to become a Computer Scientist!

Recent Updates

No recent updates found.

Education
2019
B.Tech
DUIET, Dibrugarh University
2021
M.Tech
IIIT Guwahati
2026
PhD (CSE)
IIIT Guwahati
Experience
  • Assistant Professor, SRM University-AP, Andhra Pradesh
  • Teaching Assistant, Indian Institute of Information Technology Guwahati, Assam, India
Research Interests
  • My research interests are Formal Methods, Static Analysis and Verification, Information Flow Security, Database Security, Abstract Interpretation, and Software Engineering, in which I am currently working on developing efficient techniques for the static analysis and verification of database-driven software systems. I am particularly interested in applying Abstract Interpretation and Formal Methods to verify information flow security, detect software vulnerabilities, and improve the correctness, security, and reliability of modern software applications. Beyond my current research, I am interested in exploring emerging research directions at the intersection of Artificial Intelligence, Machine Learning, and Software Engineering, with a focus on intelligent program analysis, AI-assisted software development, automated software testing and verification, secure software engineering, and trustworthy AI-driven software systems.
Awards & Fellowships
Memberships
  • IEEE
Publications
Contact Details

anwesha.k@srmap.edu.in

Scholars
Interests

  • Abstract Interpretation
  • Database Security
  • Formal Methods
  • Information Flow Security
  • Software Engineering
  • Static Analysis and Verification

Education
2019
B.Tech
DUIET, Dibrugarh University
2021
M.Tech
IIIT Guwahati
2026
PhD (CSE)
IIIT Guwahati
Experience
  • Assistant Professor, SRM University-AP, Andhra Pradesh
  • Teaching Assistant, Indian Institute of Information Technology Guwahati, Assam, India
Research Interests
  • My research interests are Formal Methods, Static Analysis and Verification, Information Flow Security, Database Security, Abstract Interpretation, and Software Engineering, in which I am currently working on developing efficient techniques for the static analysis and verification of database-driven software systems. I am particularly interested in applying Abstract Interpretation and Formal Methods to verify information flow security, detect software vulnerabilities, and improve the correctness, security, and reliability of modern software applications. Beyond my current research, I am interested in exploring emerging research directions at the intersection of Artificial Intelligence, Machine Learning, and Software Engineering, with a focus on intelligent program analysis, AI-assisted software development, automated software testing and verification, secure software engineering, and trustworthy AI-driven software systems.
Awards & Fellowships
Memberships
  • IEEE
Publications
Contact Details

anwesha.k@srmap.edu.in

Scholars