Ph.D., Berkeley (Group in Logic). Joined the faculty in 1975. He has written numerous articles on mathematical and philosophical logic and philosophy of mathematics, some collected in his book Mathematics, Models & Modality, and is author or co-author of the books A Subject With No Object (with Gideon Rosen), Computability and Logic (with George Boolos and Richard Jeffrey), Fixing Frege, Philosophical Logic, and Truth (with Alexis G. Burgess).