. . . . . "Pennsylvania State University"@en . . . . . . . . . . . . . "Gangtok, Sikkim, India"@en . . . "IEEE Fellow"@en . "Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, United States. Professor Dutt's research interests are in embedded systems, electronic design automation, computer architecture, optimizing compilers, system specification techniques, distributed systems, and formal methods."@en . . . . . . . . . . . "ACM Fellow"@en . . . . "1086426108"^^ . . "Nikil Dutt"@en . . . . . . . . . . . . . . . . . . . . . . . "Irvine, California"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Nikil Dutt"@en . . . . . "Embedded system"@en . . . . . . . . . "Nikil Dutt"@en . . . . . . . . . . . . "5122"^^ . . . . . . . . . . . "22817518"^^ . . . . . . . . . . . . . "Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, United States. Professor Dutt's research interests are in embedded systems, electronic design automation, computer architecture, optimizing compilers, system specification techniques, distributed systems, and formal methods."@en .