NOTE to students in CS 120 Fall 2014. The text for the course is ``Introduction to the theory of computation" Edition 3,
by Michael Sipser. It is an excellent book, essentially without competitors, but it is very expensive. Because it is
so well liked, the publisher gets away with charging a huge amount. In the class, I will also note where the material is
in Edition 2 of the book. So if you can find a copy of Edition 2 that is cheaper than the Edition 3, you can use it for
the class. And if you find a good source for Edition 2, please let me know so I can alert other students.
Good luck and good hunting.
Ph.D., UC Berkeley, 1980
My primary interests
involve the efficiency of algorithms, particularly
for problems in combinatorial optimization and graph theory.
These algorithms have been applied to study data
security, stable matching, network flow, matroid optimization,
string/pattern matching problems, molecular sequence analysis, and optimization problems
in population-scale genomics. Currently, I am
focused on string and combinatorial problems that arise in
computational biology and bioinformatics. I served as chair of the computer science
department at UCD from July 2000 until August 2004, and was the
founding Editor-in-Chief of
The IEEE/ACM Transactions of Computational Biology and Bioinformatics until January 2009.
Introduction to The IEEE/ACM Transactions of Computational Biology and Bioinformatics
For a longer biosketch, see short biosketch
Office: 2125 Kemper Hall (Engineering II)
Phone: (530) 752-7131
Please Note: the correct URL for this page is: http://wwwcsif.cs.ucdavis.edu/~gusfield
NOT : http://wwwcsif.cs.ucdavis.edu/gusfield (note the missing
~) Please bookmark this page for later reference.
Godel for Goldilocks -- Godel's First Incompleteness TheoremNot too technical, not too philosophical -- A Rigorous, Yet Streamlined, Proof of Godel's First Incompleteness Theorem, Requiring Minimal Background August, 2014.
Godel's first incompleteness theorem, Lecture Video 1 About one hour and 15 minutes.These are lecture videos for CS 222A taken in fall 2007. This is the required graduate course at UC Davis Computer Science on Design and Analysis of Efficient Computer Algorithms.
Godel's first incompleteness theorem, Lecture Video 2 About 25 minutes.
Graduate Algorithms Course Lecture Videos:
CS222A Lecture VideosThese are lecture videos for CS 222A taken in fall 2007. This is the required graduate course at UC Davis Computer Science on Design and Analysis of Efficient Computer Algorithms.
Undergraduate Algorithms Course Lecture Videos:
CS122A Lecture VideosThese are lecture videos for CS 122A taken in fall 2010. This is the required undergraduate course at UC Davis Computer Science on Design and Analysis of Efficient Computer Algorithms.
The webpage for ECS 122 in Winter 2013 is www.cs.ucdavis.edu/~gusfield/cs122w13
ECS 122 Winter 2013, Design and Analysis of Algorithms
The webpage for ECS 225 in Winter 2012 is www.cs.ucdavis.edu/~gusfield/cs225w12
ECS 225 Winter 2012, Graph Theory and Algorithms
The webpage for ECS 120 in Fall 2011 is www.cs.ucdavis.edu/~gusfield/cs120f11
ECS 120 Fall 2011, Theory of Computation
The webpage for ECS 224 in Fall 2011 www.cs.ucdavis.edu/~gusfield/cs224f11
ECS 224 Fall 2011, Algorithms for Strings and Computational Biology
Fall 2009 - The website for the class ECS 224, String Algorithms and Computational Biology Algorithms, is www.cs.ucdavis.edu/~gusfield/cs224f09
ECS 224 Fall 2009
Since Spring 2000 I have been teaching an undergraduate course CS 124 Theory and Practice of Bioinformatics. See The Expanded Syllabus for CS124 for more information.
The current (Spring 2008) class webpage .
Bioinformatics Course Lecture Videos:
CS124 Lecture VideosThese are lecture videos for CS 124 mostly taken in 2002 (with editing and some new material in 2014). For the topics covered, they are still surprisingly current. Clicking will open a menu for the lectures. Synopses of the lectures can be found at: Synopses of Bioinformatics Lecture Videos
Some Recent PublicationsFor selected recent publications: recent publications
Some Errata for Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology can be found in Errata.
Some Recent TalksFor powerpoint of some recent talks: some recent talks
Software developed at UC Davis in my groupThe software developed here covers a range of topics in computational biology and sequence analysis, and often accompanies papers published on the methodologies behind the software. Available software