# Julian Mackay

> lecturer in computer science at Victoria University of Wellington in New Zealand

**Wikidata**: [Q118985739](https://www.wikidata.org/wiki/Q118985739)  
**Source**: https://4ort.xyz/entity/julian-mackay-q118985739

## Summary
Julian Mackay is a male computer scientist serving as a lecturer at Victoria University of Wellington in New Zealand. He holds both a Master of Science (2013) and a Doctor of Philosophy (2020) from the same institution, and was awarded the MBIE Science Whitinga Fellowship for his research contributions.

## Biography
- Born: [date and place not provided]
- Nationality: [not provided]
- Education: Master of Science (2013), Doctor of Philosophy (2020) from Victoria University of Wellington
- Known for: Research on programming languages, type systems, and formal verification
- Employer(s): Victoria University of Wellington (current)
- Field(s): Computer science

## Contributions
Julian Mackay's research focuses on programming languages and type systems, with specific work on ownership and immutability in Coq for his master's thesis titled "Ownership and Immuntability in Coq." For his doctoral research, he completed a thesis titled "Decidable Subtyping for Path Dependent Types," which addresses complex challenges in type theory. His academic contributions have been recognized through the prestigious MBIE Science Whitinga Fellowship, supporting his ongoing work in advancing formal methods and programming language design. His research contributes to making software systems more reliable and easier to reason about through better type systems.

## FAQs
### Q: What degrees does Julian Mackay hold?
A: Julian Mackay holds a Master of Science (2013) and a Doctor of Philosophy (2020), both from Victoria University of Wellington.

### Q: What is Julian Mackay's primary research area?
A: His research focuses on programming languages and type systems, particularly with work on ownership, immutability, decidable subtyping, and path dependent types.

### Q: What recognition has Julian Mackay received for his work?
A: Julian Mackay was awarded the MBIE Science Whitinga Fellowship in recognition of his contributions to computer science research.

### Q: Where does Julian Mackay currently work?
A: Julian Mackay is a lecturer in computer science at Victoria University of Wellington in New Zealand.

## Why They Matter
Julian Mackay's work in programming languages and type systems contributes to foundational computer science research that makes software more reliable and easier to verify. His research on decidable subtyping for path dependent types addresses complex theoretical challenges that have practical implications for programming language design and implementation. As a lecturer, he contributes to developing the next generation of computer scientists in New Zealand. His MBIE Science Whitinga Fellowship recognition indicates his research is considered nationally significant in advancing New Zealand's scientific capabilities.

## Notable For
- Awarded MBIE Science Whitinga Fellowship
- Doctoral research on "Decidable Subtyping for Path Dependent Types"
- Master's research on "Ownership and Immuntability in Coq"
- Academic advisor under supervision of Alex Potanin, Lindsay Groves, and Jonathan Erik Aldrich
- Affiliated with the NZThesisProject on Wikimedia

## Body
### Academic Background
Julian Mackay completed his higher education entirely at Victoria University of Wellington, earning a Master of Science in 2013 and a Doctor of Philosophy in 2020. His academic journey demonstrates a focused progression in computer science research within the New Zealand academic system.

### Research Specialization
Mackay's research centers on programming languages and type systems. His master's thesis explored "Ownership and Immutability in Coq," while his doctoral work examined "Decidable Subtyping for Path Dependent Types." These research areas represent significant challenges in programming language theory, with implications for software reliability and verification.

### Academic Position
Currently serving as a lecturer in computer science at Victoria University of Wellington, Mackay contributes to both teaching and research within the institution's computer science department. His role places him at an important position in New Zealand's computer science education landscape.

### Supervision and Mentorship
During his doctoral studies, Mackay worked under the supervision of three academic advisors: Alex Potanin, Lindsay Groves, and Jonathan Erik Aldrich. This supervisory team indicates his research drew from multiple perspectives within computer science, particularly in programming languages and formal methods.

### Recognition and Awards
Mackay received the MBIE Science Whitinga Fellowship, a prestigious New Zealand award that recognizes emerging researchers with the potential to become future leaders in their fields. This fellowship acknowledges the quality and potential impact of his research contributions to computer science.

## References

1. [Source](https://people.wgtn.ac.nz/julian.mackay/about)
2. [Source](https://doi.org/10.26686/wgtn.17142734)
3. [Source](https://doi.org/10.26686/wgtn.17148098)
4. [Source](https://www.mbie.govt.nz/science-and-technology/science-and-innovation/funding-information-and-opportunities/investment-funds/mbie-science-whitinga-fellowship/)