Sign In

Reed Mullanix

Graduate Student at McMaster University

Reed Mullanix is a graduate student and a Graduate Research and Teaching Assistant at McMaster University, located in Hamilton, Ontario, Canada. Here are some key points about his background and activities:

Education and Affiliation

  • He is currently a graduate student at McMaster University, where he is also working as a Graduate Research and Teaching Assistant.25

Roles and Responsibilities

  • As a Teaching Assistant, he has been involved in courses such as "Logical Reasoning for Computer Science" (COMPSCI 2LC3), where he provides office hours and support to students.4

Research and Contributions

  • Reed Mullanix has contributed to various academic and research activities. For example, he participated in the HIM Trimester Program on "Prospects of Formal Mathematics" in 2024.1
  • He has also been involved in presenting work at conferences, such as the 2024 Workshop on Issues in Theory of Security (WITS), where he discussed a library for compiler diagnostics.3

Online Presence

  • He has a LinkedIn profile with the username 'reed-mullanix-b45585114'.2
  • He is also active on GitHub, where he maintains a profile under the username 'TOTBWF'.6

Overall, Reed Mullanix is actively engaged in both academic research and teaching, with a focus on areas related to computer science and formal mathematics.

Highlights

HIM Trimester Program Prospects of Formal Mathematics

Related Questions

What are Reed Mullanix's main research interests?
What projects is Reed Mullanix currently working on?
How did Reed Mullanix get involved with Formal Mathematics?
What courses is Reed Mullanix teaching at McMaster University?
Can you provide examples of Reed Mullanix's contributions to POPL 2024?
Reed Mullanix
Reed Mullanix, photo 1
Reed Mullanix, photo 2
Add to my network

Location

Hamilton, Ontario, Canada