Graduate Student Pointers
A brief guide to various resources for graduate students.
Suggestions on how to improve this page are welcome and can be sent
to arjun@cs.stanford.edu
Contents
LaTeX
LaTeX is a macro package, developed by Leslie Lamport, for use with
Donald Knuth's TeX typesetting system. The two classical references
for TeX and LaTex, respectively, are
Most graduate students will probably only need to learn LaTeX which is
best done by reading the first few chapters of Lamport's book. The
key to success using LaTeX is having macros that do most of the work
for you. In this vein, I have listed below macros that I have found
useful over the years. Feel free to download them and use them.
Contents
LaTeX Macros
LaTeX Bibliographic Databases
-
LL-bib.bib: Linear Logic
-
diss.bib: Concurrency stuff
-
fmt.bib: Finite Model Theory
(courtesy of Phokion Kolaitis)
-
logic.bib: General Logic
(courtesy of Vaughan Pratt)
LaTeX Tricks
- \mbox{} - used to create invisible text
- \renewcommand{\baselinestretch}{1.5} - used to create 1.5 line
spacing instead of single spacing.
Entertainment
The easiest way to get uptodate information about restaurants and
movie listings in the California Bay Area is by accessing the
Palo Alto
Weekly home page.
Formal Methods
The World Wide Web Virtual Library: Formal Methods lists
pointers to information on Formal Methods around the world including
- Introductory articles
- Publications in Formal Methods (journals, papers, books, etc.)
- Who's Who on the Web in Formal Methods
- A list of individual verification tools developed by the formal
methods community
Theoretical Computer Science
Miscellaneous
The Stanford home page.
The Computer Science Department home page.
The Theory Division home page.
Arjun Kapur's home page.
Arjun Kapur
arjun@CS.Stanford.EDU