The Department of Computer Science hosts various websites, either from departmental servers or those of the School of Arts and Sciences.

• Computing resources

  • Accessing lab and research machines

• Faculty .cs/home homepages

  Individual faculty pages are hosted on departmental machines.

  • follow: www.cs.miami.edu/home/_username_,
  • or: www.cs.miami.edu/~_username_.

  For faculty wishing to edit their web pages, you will have to ssh to your account on web.cs.miami.edu.

• Official .as website

  Please visit us at the School of Arts and Sciences.

  • follow www.as.miami.edu/csc to the official web site.

  Generally www.cs.miami.edu redirects to there, for information about classes and courses of study.

  To find the Wild pages,

  • follow www.cs.miami.edu/csc to the wild site.

• Notable departmental sites and projects

  • Python for biologists. Companion learning for csc210. By Prof's Kocak and Prof. Basar Koc.
    • also Perl for Biologists
    • and R for Biologists
    • and Computing fo Scientists
  • tptp.org: Thousands of Problems for Theorem Provers by Prof Sutcliffe