Research AreasDepartment of Research Areas Research Areas Research Sites/ Labs Publications Projects Patents Research Internships Static Analysis and Verification Filtering by Research Area: static-analysis-and-verification [Clear Filter ✕] Ms Anwesha Kashyap Assistant Professor Research Area: Abstract InterpretationDatabase SecurityFormal MethodsInformation Flow SecuritySoftware EngineeringStatic Analysis and Verification Artificial Intelligence and Machine Learning Cellular Automata Cloud computing Cyber Security Data Science Distributed Computing Graph Theory High Performance Computing Internet of Things Networking Software Engineering Theoretical Computer Science Vision Computing
