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.
Above all, I'm a follower of Jesus Christ. You can read more
at
Meet the Prof
(www.meettheprof.com/timdavis).
I've recently been writing poetry, both
fun math poetry
and more
serious poetry.
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.
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.