My research was in computable model theory, an area of mathematical logic.

• Added metrics to the Ad Revenue team’s internal tools, so we could tell how many advertiserswere using newly added features, and how many users were clicking on different types of ads.• Modified conversion tracking to keep track of more fine-grained data about click-through rates,in response to advertiser demand.• Integrated conversion tracking with third-party tracking pixels, making it easy for advertiserswho already use third-party tracking pixels to advertise on… Show more • Added metrics to the Ad Revenue team’s internal tools, so we could tell how many advertiserswere using newly added features, and how many users were clicking on different types of ads.• Modified conversion tracking to keep track of more fine-grained data about click-through rates,in response to advertiser demand.• Integrated conversion tracking with third-party tracking pixels, making it easy for advertiserswho already use third-party tracking pixels to advertise on Twitter.• Worked mostly in Scala, with some Python and SQL. I made heavy use of Scalding, a Hadoopframework written in Scala. Show less