SUBODH SHARMA
School of Computing, University of Utah
Site menu:
HOME
Research
Publications
Contact
misc
Computer Science related links:
CS postdoc and faculty positions:
CRA Home
Algorithms blog maintained by
Suresh
(Faculty, UoU):
Geomblog
Blog maintained by
Matt Might
(Faculty, UoU):
Articles
Collection of links pointing to Formal methods groups working across the world:
fmwiki
Formal verification conferences and their deadlines:
UV group
,
list maintained by D Kroening
Miscellaneous links that I found interesting
:
Want to watch movie screenings for free? Try
gofobo
.
Some geek specific entertainment --
PhDComics
,
XKCD
Computer world related news blog -
Technology Review
,
Slashdot
Learn Sanskrit through self-study -
Acharya, IITM
Learn Persian language and persian poetry-
Easy Persian