Theoretical Computer Science
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 8 years, 1 month
  • Last seen this week
Profile Activity
Stats
1,653
reputation
8k
reached
13
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
23
bronze badges
Top tags
View all tags
20
Score
11
Posts
48
Posts %
20
Score
6
Posts
26
Posts %
14
Score
9
Posts
39
Posts %
14
Score
6
Posts
26
Posts %
11
Score
2
Posts
9
Posts %
9
Score
4
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
12
Implementing "Internal" Languages
Apr 9, 2016
question
11
Why Reflexive Graphs for Parametricity?
Feb 28, 2017
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
answer
6
In the age of powerful AI, can all software be written using only tests?
Jul 3
Top network posts
View all network posts
10
Profunctorial Grothendieck Construction?
10
How "generic" are "generic proof assistants"?
8
When is hProp equivalent to the subobject classifier?
7
Racket REPL and Submodules
7
How many professors are children of professors?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.