Skip to main content
Theoretical Computer Science
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 9 years, 1 month
  • Last seen this week
Profile Activity
Stats
1,730
reputation
9k
reached
14
answers
10
questions
Communities
View all
About

Assistant Professor in Computer Science & Engineering at University of Michigan. Research on programming language design and semantics.

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
24
bronze badges
Top tags
View all tags
22
Score
12
Posts
50
Posts %
21
Score
6
Posts
25
Posts %
16
Score
10
Posts
42
Posts %
14
Score
6
Posts
25
Posts %
12
Score
5
Posts
21
Posts %
11
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
question
17
Using Dependent Type Theory for Categories that are not LCCC
Feb 23, 2018
question
15
Logical Reations for an Impredicative System in a Predicative MetaTheory
Oct 20, 2015
question
13
Why Reflexive Graphs for Parametricity?
Feb 28, 2017
question
12
Implementing "Internal" Languages
Apr 9, 2016
question
9
"Spurious" Type Equivalences in MLSub/Algebraic Subtyping
Feb 24, 2022
answer
8
Preservation under Substitution with Telescopes
Oct 30, 2018
answer
7
Understanding the Beck-Chevalley Condition
May 18, 2019
answer
6
Efficiently ordering typed programs
Mar 21, 2017
question
6
Notions of Computability at Higher Type III
Sep 13, 2016
question
6
Does the Category of CPOs have omega^op limits?
May 26, 2017
Top network posts
View all network posts
10
Profunctorial Grothendieck Construction?
10
How "generic" are "generic proof assistants"?
9
When is hProp equivalent to the subobject classifier?
9
Generalized (co)-presheaves for Generalized Multicategories?
8
How many professors are children of professors?