Davis, California, United States of America
Areas of Specialization
| Philosophy of Mathematics |
| Logic and Philosophy of Logic |
| Philosophy of Computing and Information |
| Category Theory |