{"id":46,"date":"2016-12-14T03:25:15","date_gmt":"2016-12-14T03:25:15","guid":{"rendered":"http:\/\/csl.yale.edu\/?page_id=46"},"modified":"2026-02-02T13:26:09","modified_gmt":"2026-02-02T18:26:09","slug":"people","status":"publish","type":"page","link":"https:\/\/csl.yale.edu\/index.php\/people\/","title":{"rendered":"People"},"content":{"rendered":"\n

<\/p>\n\n\n\n

Faculty<\/h2>\n\n\n\n
\n
\n
\n
\"\"<\/figure>\n\n\n\n

Abhishek Bhattacharjee<\/a>
architecture, operating systems, and compilers<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Tara Boroushaki<\/a>
sensing and mobile technologies<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Yongshan Ding<\/a>
quantum computing, architecture, and algorithms<\/em><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

\n
\n
\n
\"\"<\/figure>\n\n\n\n

Anurag Khandelwal<\/a>
distributed systems and networking<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Richard Lethin<\/a>
high-performance computing architectures, algorithms, and compilers<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Jay Lim<\/a>
Program Synthesis and Program Verification<\/em><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

\n
\n
\n
\"\"<\/figure>\n\n\n\n

Rajit Manohar<\/a>
asynchronous VLSI, formal methods<\/em>, neuroscience & computing<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Arun Natarajan<\/a>
analog and mixed-signal circuits and systems<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Ruzica Piskac<\/a>
program verification and software synthesis<\/em><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

\n
\n
\n
\n
\"\"<\/figure>\n\n\n\n

Zhong Shao<\/a>
programing languages and certified software<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Robert Soul\u00e9<\/a>
networking, distributed
systems, and databases<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Avi Silberschatz<\/a>
Concurrency control, main-memory database systems, persistent-memory database systems<\/em><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n
\n
\n
\"\"<\/figure>\n\n\n\n

Linghao Song<\/a>
accelerator architecture, FPGAs, ML hardware<\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

Y. Richard Yang<\/a>
computer networking and networked systems<\/em><\/em><\/p>\n<\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/figure>\n\n\n\n

<\/a>Fan Zhang<\/a>
security & privacy, applied cryptography, blockchains, trusted hardware <\/em><\/em><\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

\n
\n
\n
\"\"<\/figure>\n\n\n\n

<\/a><\/a>Lin Zhong<\/a>
computer and wireless systems<\/em><\/em><\/p>\n\n\n\n

<\/p>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

Faculty Abhishek Bhattacharjeearchitecture, operating systems, and compilers Tara Boroushakisensing and mobile technologies Yongshan Dingquantum computing, architecture, and algorithms Anurag Khandelwaldistributed systems and networking Richard Lethinhigh-performance computing architectures, algorithms, and compilers Jay LimProgram Synthesis and Program Verification Rajit Manoharasynchronous VLSI, formal methods, neuroscience & computing Arun Natarajananalog and mixed-signal circuits and systems Ruzica Piskacprogram verification and … <\/p>\n

Continue reading “People”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-46","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/pages\/46","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/comments?post=46"}],"version-history":[{"count":149,"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/pages\/46\/revisions"}],"predecessor-version":[{"id":770,"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/pages\/46\/revisions\/770"}],"wp:attachment":[{"href":"https:\/\/csl.yale.edu\/index.php\/wp-json\/wp\/v2\/media?parent=46"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}