Aarti Gupta

Professor · Institute of Technology in New Delhi

Programming Languages & Compilers

简介

Aarti Gupta joined the Computer Science Department as a full professor in 2015. Her research interests are in formal verification of systems, program analysis, and automatic decision procedures for logics.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。