About
Kartik Nagar is an Assistant Professor at the Department of Computer Science and Engineering, IIT Madras. He specializes in developing verification and analysis techniques to enhance the reliability, security, and efficiency of computer systems, focusing on concurrent and distributed systems, computer architecture, and real-time systems.
0Publications listed
Find Kartik Nagar elsewhere
Related Searches
You Might Also Like
James HarbinUniversity of York · Research Fellow
Kartik JosyulaRensselaer Polytechnic Institute · Lecturer
Elena TroubitsynaKTH Royal Institute of Technology · Professor
Marieke HuismanMax Planck Institute for Software Systems · Professor- RRoopsha SamantaPurdue University · Assistant Professor
Praveen TammanaIndian Institute of Technology Hyderabad (IITH) · Assistant Professor