Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q118985739)
Watch
English
Julian Mackay
lecturer in computer science at Victoria University of Wellington in New Zealand
J Mackay
In more languages
edit
Statements
instance of
human
0 references
sex or gender
male
1 reference
reference URL
https://people.wgtn.ac.nz/julian.mackay/about
occupation
computer scientist
1 reference
reference URL
https://people.wgtn.ac.nz/julian.mackay/about
employer
Victoria University of Wellington
1 reference
reference URL
https://people.wgtn.ac.nz/julian.mackay/about
educated at
Victoria University of Wellington
academic degree
Master of Science
1 reference
reference URL
https://doi.org/10.26686/wgtn.17142734
Victoria University of Wellington
academic degree
Doctor of Philosophy
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
academic degree
Master of Science
point in time
1 January 2013
dissertation submitted to
Victoria University of Wellington
1 reference
reference URL
https://doi.org/10.26686/wgtn.17142734
Doctor of Philosophy
point in time
1 January 2020
dissertation submitted to
Victoria University of Wellington
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
academic thesis
Ownership and Immutability in Coq
object has role
master's thesis
1 reference
reference URL
https://doi.org/10.26686/wgtn.17142734
Decidable Subtyping for Path Dependent Types
object has role
doctoral thesis
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
doctoral advisor
Alex Potanin
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
Lindsay Groves
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
Jonathan Erik Aldrich
1 reference
reference URL
https://doi.org/10.26686/wgtn.17148098
student of
Alex Potanin
1 reference
reference URL
https://doi.org/10.26686/wgtn.17142734
Lindsay Groves
1 reference
reference URL
https://doi.org/10.26686/wgtn.17142734
award received
MBIE Science Whitinga Fellowship
1 reference
reference URL
https://www.mbie.govt.nz/science-and-technology/science-and-innovation/funding-information-and-opportunities/investment-funds/mbie-science-whitinga-fellowship/
on focus list of Wikimedia project
NZThesisProject
0 references
Identifiers
ORCID iD
0000-0003-3098-3901
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit