Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
M. Subramaniam Home Page
[go: Go Back, main page]

M. Subramaniam (Subu)

Computer Science Department
1400 Washington Ave.
University At Albany
Albany, NY 12222 USA
(518) 442-3388
subu@cs.albany.edu
ms7530@{csc.albany.edu, uacsc1.albany.edu}

I am a PhD student in the Computer Science Department. My primary interests are formal methods, automated theorem proving and proofs of all kinds.

My Current Hotlist (unorganized)
New Stuff (unorganized)