Joey Eremondi

Member for 10 years, 6 months
Last seen more than a week ago

GitHub
eremondi.com
University of Edinburgh

Summary

Reputation

2,830

2.8k
2.5k
2.2k

2020
2021
2022
2023

Top tag

type-theory

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

15

29

Newest

Yearling

Next badge

0/1

Excavator

Questions

View all 30 questions

Score Activity Newest Views

26

Advanced techniques for determining complexity lower bounds

Jul 22, 2013

21

What notable automaton models have polynomially-decidable containment?

Jun 16, 2014

16

Are there variants of visibly pushdown automata that allow pushing of words onto the stack?

Jul 18, 2013

12

Is there a book/survey-paper outlining language class hierarchies, closure properties, etc

May 28, 2013

12

State of the Art for the Monadic Class?

Nov 5, 2017

Answers

View all 11 answers

Score Activity Newest

14

Are Turing machines still useful as model of computation?

Apr 5, 2019

14

Why is the Curry-Howard isomorphism?

Nov 10, 2021

14

Which universities in the U.S. are doing research in type theory?

Nov 28, 2021

6

Program equivalence wherein the programs are known to always halt

Dec 8, 2017

4

Formal theory about explaining algorithms

Aug 11, 2020

Tags

View all 51 tags

type-theory

30

Score

16

posts

soft-question

20

Score

4

posts

curry-howard

14

Score

1

post

natural-deduction

14

Score

1

post

ho.history-overview

14

Score

1

post

Reputation

+18

Why is it impossible to prove software to be correct?

+10

What notable automaton models have polynomially-decidable containment?

+10

Advanced techniques for determining complexity lower bounds

+10

Why is the Curry-Howard isomorphism?

Badges

View all badges

This user doesn’t have any gold badges yet.

15

silver badges

Booster

Oct 9, 2017
Civic Duty

Jul 6, 2019
Good Question

Sep 24, 2020

29

bronze badges

Benefactor

Jun 7, 2013
Promoter

May 30, 2013
Curious

Jul 2, 2014

Accounts

View all 47 accounts

Computer Science

29.7k
5
64
119

8,201
6
41
82

Theoretical Computer Science

2,830
15
29

1,549
1
13
27

1,421
1
10
21

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

474

upvotes

23

downvotes

238

question votes

259

answer votes