Research

• VLSI, CAD, Digital Systems, etc.: EDA, OpenCORES, EETimes, EDA Cafe, Embedded, GSRC, NP opt compendium, Async, EDIS
• Formal Methods: Concurrent Systems, Model checking, W3 VL, DI algebra, pi-calculus, CSP (OUCL, Occam), Petri nets, Spin
• Languages and Tools: CWB, Concurrency Factory, Pict, MVSIS, zChaff, Magic, Spice3, Balsa, Lard
• Groups: Sun, Stanford, Manchester, Caltech, Eindhoven, Utah, USC, Oxford, Berkeley, MIT LCS
• Companies: Intel (ITJ), Sun (ADG), IBM (Design Automation), HP, ARM, MIPS, Philips, Cadence labs, Fulcrum, Theseus (Theseus research), FTL Systems
• People: A. W. Appel, D. P. Friedman, E. M. Clarke, R. K. Brayton, A. Martin, M. J. C. Gordon, D. Harris, T. Henzinger, G. Winskel, D. Spielman, G. De Micheli
• Journals & Conferences: JACM, SICOMP #1, SICOMP #2, ACMCSUR, TC, TCAD, TVLSI, Micro, Design&Test, JSSC, FMSD, FAC, SIGDA, Async (proc), DAC (proc), ICCAD (proc), DATE, ICCD (proc), IWLS, ISSCC, ISCA, CODES, FOCS, STOC, SODA, POPL, OOPSLA, ICFP, PLDI, CGO, PODC, ASPLOS, LICS, CAV
• Seminars: Digital Systems Seminar, Verification Reading Group
• Software: gcc, perl, flex, bison, jlex, cup, antlr, make, autoconf, automake, bash, latex, cvs, more gnu, guile, kawa, aspectJ, kaffe, mico, jacorb, Linux, C++ libraries
• Misc: CS, NP opt, MathWorld

Graduate Program

• PhD program requirements, PhD program milestones, CS Information DB
• Survival guide for graduate students, Dissertation advice

Courses & Comp Exams

• Operating Systems I (J. Nieh, Fall 2001)
• Advanced Internet Services (H. Schulzrinne, Fall 2001)
• Compilers and Interpreters (A. Aho, Spring 2002)
• Operating Systems II (J. Nieh, Spring 2002)
• Introduction to Cryptography (M. Rabin, Spring 2002)
• Programming and Problem Solving (K. Ross, Fall 2002)
• Approximation Algorithms (C. Stein, Spring 2003)
• Computational Complexity (R. Servidio, Spring 2003)
• Computer Architecture (S. Nowick, Fall 2003)
• Computer-Aided Design of Digital Systems (S. Nowick, Spring 2004)
• Computer Hardware Design (K. Shepard, Spring 2004)
• Digital Systems Design (S. Unger, Spring 2004)
• Sequential Logic Circuits (S. Unger, Fall 2004)
• Coding Theory: A CS Perspective (J. Feldman, Fall 2004)
• Advanced Logic Design (S. Nowick, Spring 2005)
• Fundamentals of Computer Systems (S. Unger, Spring 2005)
• Distributed Concurrent Systems (L. Carloni, Spring 2005)

• Computer Science E-Journals, SpringerLink, Arxiv, HBP, NCSTRL, DEC RR, CLIO, readscheme, CSinfo
• MIT Press, Cambridge UP, Morgan Kaufmann, Springer, Kluwer
• Bookpool.com, Amazon.com

• Hani, Sports Illustrated, NYT, Hankyung.com
• Citibank Online, Pusan Bank, BC Card
• Edgewater Cinema, Dick's Sporting Goods, Mapquest.com, New York metro, NYC.gov

Computers & Internet

• GNU, CTAN, Emacs Lisp Archive, Internet FAQ Archive
• Annoyances.org, Google Linux, Sourceforge.net, Linux, CS
• MIT Technology Review, ACM Technews, Wired, Byte, Slashdot