Tim Alberdingk ThijmPronouns: he/him/his, they/them/their
Address: 35 Olden Street, Princeton, NJ, 08540
IPA for Tim's surname: /ˈælbʌɹˌdɪŋk ˈtʰäɪ̯m/
AboutI'm a third-year PhD candidate in the Programming Languages group at Princeton's Computer Science department. I'm currently advised by Prof. Aarti Gupta, but also work with Prof. Dave Walker.
My primary focus in the programming languages domain is the automated verification of computer networks using compositional reasoning, but I also enjoy working on problems in programming language design and compiler optimization. Prior to starting graduate school, I worked on research projects in the computational linguistics and digital humanities fields. I completed my BSc at the University of Toronto in 2018 in computer science and English; I received my MA from Princeton University in 2020. I've benefitted greatly from the advice and wisdom of others in pursuing my academic career and am happy to return the favour, so please feel free to get in touch if you have questions about grad school (and apologies in advance if it takes me some time to respond).
- Wachsmuth, Henning; Naderi, Nona; Hou, Yufang; Bilu, Yonatan; Prabhakaran, Vinod; Alberdingk Thijm, Timothy; Hirst, Graeme; and Stein, Benno. "Computational argumentation quality assessment in natural language." 15th Conference of the European Chapter of the Association for Computational Linguistics, Valencia, April 2017, 176-187.
- Beelen, K., Thijm, T., Cochrane, C., Halvemaan, K., Hirst, G., Kimmins, M., … Whyte, T. (2017). "Digitization of the Canadian Parliamentary Debates". Canadian Journal of Political Science, 50(3), 849-864. doi:10.1017/S0008423916001165
- Teaching assistant for COS226 (Algorithms and Data Structures), Princeton University, Spring 2020
- Teaching assistant for COS516/ELE516 (Automated Reasoning about Software), Princeton University, Fall 2019
- Teaching assistant for CSC324 (Principles of Programming Languages), University of Toronto, Fall 2017