Alexander Thomson

Department of Computer Science
Yale University

51 Prospect Street, #205
New Haven, CT 06511

thomson at cs dot yale dot edu

I'm a third-year PhD student in computer science at Yale University. I received my BS in computer science from Yale College in 2009.

Research

My primary research interest is in distributed data management. I'm currently working with Daniel Abadi on improving the scalability of distributed, fully transactional database systems.

Past projects include work in software verification with the Coq proof assistant and Hamster Balls—a multiplayer first-person shooter that has the distinction be being both the first 3D game and the first network game ever implemented entirely in Haskell.

Publications

The Case for Determinism in Database Systems
Alexander Thomson and Daniel J. Abadi. In Proceedings of VLDB, 2010. (pdf) (bibtex)

Building Deterministic Transaction Processing Systems without Deterministic Thread Scheduling
Alexander Thomson and Daniel J. Abadi. In WoDet, 2011. (pdf)

Personal

On the nights and weekends I am something of a serial hobbyist. I enjoy Argentine tango, bridge, squash, welding and machining, rock climbing, snowboarding, jazz drumming, and unicycling, to name a few.