Kartik Nagar

استادیار · Automated Formal Verification

France

معرفی

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.

حوزه‌های پژوهشی

Automated Formal Verification Program Analysis Programming Languages Concurrent Systems Distributed Systems Real-time Systems Computer Architecture

۰مقاله منتشرشده

Kartik Nagar در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

James HarbinUniversity of York · پژوهشگر ارشد
Kartik JosyulaRensselaer Polytechnic Institute · مدرس
Elena TroubitsynaKTH Royal Institute of Technology · استاد
Marieke HuismanMax Planck Institute for Software Systems · استاد
R
Roopsha SamantaPurdue University · استادیار
Praveen TammanaIndian Institute of Technology Hyderabad (IITH) · استادیار