Michael Norrish

CSIRO

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Michael Norrish (Preferred)

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

****@data61.csiro.au
,
****@anu.edu.au

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

Principal Researcher
CSIRO (csiro.au)
20162021
 
Researcher
NICTA (nicta.com.au)
20032016
 
PhD student
Computer Laboratory (cl.cam.ac.uk)
19941999
 

Advisors, Relations & Conflicts

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

PhD Advisee
Minchao Wu
****@anu.edu.au
2019Present
 
PhD Advisee
Mohammad Abdulaziz
****@gmail.com
20132017
 
PhD Advisor
Michael Gordon
****@cl.cam.ac.uk
19941998
 

Expertise

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

Formal methods
1999Present
 
Programming Language Semantics
1999Present
 
Interactive theorem-proving
1999Present