Tim Davis

Prof. Timothy Alden Davis

First the requisite professional yada yada:

I'm a faculty member (Full Professor, with tenure, as of August 2007) in the Computer and Information Science and Engineering Department, at the University of Florida. I do research in sparse matrix algorithms.

I obtained my B.S.E.E. at Purdue in 1983, my M.S.E.E. at the University of Illinois in 1987 under the direction of Ed Davidson, and my PhD at the University of Illinois in 1989 under the direction of Pen-Chung Yew. I then did a 14-month post-doc at the European Center for Research and Advanced Training in Scientific Computation (CERFACS) in Toulouse, France, under the direction of Iain Duff and started at the Univ. of Florida in December, 1990. Member of ACM, SIAM, IEEE, IEEE Computer Society, SIAM-SC, SIAM-OPT, and SIAM-CSE. (my degrees are in electrical engineering, I teach computer science, and I do applied math...). I've authored two books: Direct Methods for Sparse Linear Systems, published by SIAM, and the MATLAB Primer, published by CRC Press (co-authored by Kermit Sigmon).

I was on sabbatical (2002-2003) as Visiting Associate Professor at Stanford (in the Scientific Computing / Computational Mathematics Program) and as a Visiting Staff Member at NERSC (Nat. Energy Research Scientific Computing Laboratory), Lawrence Berkeley National Lab

I took part in the CERFACS 20th Anniversary Meeting, Toulouse, France, October 11-12, 2007. Click here for photos of our time at CERFACS in 1989-1990.

I am a member of the SIAM Council, an associate editor of ACM Transactions on Mathematical Software, and an associate editor of Computational Optimization and Applications.

I'm a frequent consultant for The MathWorks in Natick, Massachussetts, and a few other companies. I serve on the Board of Advisors of Accelogic.

In my department (CISE), I serve as an elected member to the CISE Strategic Planning Committee, the shared-governance body of our department. In the past, I have served on the UF Senate, and on the College of Engineering Faculty Council -- along with one year as Chair of the COE Faculty Council (2007-2008; (click here for historical records).

See also my ACM author profile page. It can include papers that are not mine, however. Those are by a different Timothy A Davis, in the CS Department at Clemson, doing cool stuff in computer graphics. If you see a paper from Clemson or NC State, it's his, not mine.

Click here for my Amazon.com Author page.


OK, that's what I do, but it's not who I am.

Who I am:

Meet The Prof Above all, I'm a follower of Jesus Christ. You can read more at Meet the Prof (www.meettheprof.com/timdavis).

spiny katydid I've recently been writing poetry, both fun math poetry and more serious poetry.

Whatever is Pure whateverispure.org: a defense of the faith against a troubling form of false teaching and mysticism I had personally encountered taking root among believers I have been in fellowship with. The title comes from my favorite verse, Philipians 4:8, the context of which is false teaching in the church at Philipi.

The Chapel I'm a member of a new church in Gainesville, and on the steering committee: The Chapel, led by Richard Parker.

I'm currently leading a Precept Bible Study. Click here for resources.

You've Got What it Takes: a note I wrote for the Faculty Commons Ministry of Campus Crusade.

I teach a course on discrete mathematics, among others. One recent question on logic dealt with the existence of God. This note describes a valid argument for the non-existence of God. An argument is valid if its conclusion follows from its premises, so that if you accept all its premises, you must accept its conclusion. That "if" is very critical. It turns out that the argument discussed in this homework problem contains a premise which can't be accepted, by either the atheist or the theist. So the argument falls apart. See the note for details.

Find me on Facebook.