ShreevatsaR

Member for 11 years, 1 month

Reputation

295

295
237
180

2018
2019
2020
2021

Top tag

semantics

Next privilege

300 Rep.

Create new tags

Badges

2

9

Newest

Announcer

Next badge

7/10

Impact

0 posts edited

0 helpful flags

106 votes cast

Answers (2)

Votes Activity Newest

9	Has the semantics of TeX (as a programming language) ever been formalized?
9	Complexity of the Fisher-Yates Shuffle Algorithm

Reputation (295)

This user has no recent positive reputation changes

Questions (0)

Votes Activity Newest

This user has not asked any questions

Tags (5)

9 semantics	9 ds.algorithms
9 pl.programming-languages	9 term-rewriting-systems
9 permutations

Bookmarks (5)

Votes Activity Newest Views Added

121	Advice on good research practices
39	Is the integer factorization problem harder than RSA factorization: $n = pq$?
37	Efficiently computable function as a counter-example to Sarnak's Mobius conjecture
24	Is there a direct/natural reduction to count non-bipartite perfect matchings using the permanent?
15	Chernoff bound for weighted sums

Accounts (92)

	TeX - LaTeX	40,942 rep	9 gold badges102 silver badges138 bronze badges
	Mathematics	39,309 rep	7 gold badges87 silver badges121 bronze badges
	Stack Overflow	36,385 rep	16 gold badges98 silver badges122 bronze badges
	English Language & Usage	26,674 rep	4 gold badges85 silver badges104 bronze badges
	User Experience	1,881 rep	1 gold badge10 silver badges6 bronze badges

Badges (10)

Recent Class Name

Announcer	Quorum
Caucus × 2	Critic
Yearling	Editor
Autobiographer	Teacher
Constituent	Supporter

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (106)

all time			by type
101	up		14	question
5	down		92	answer

Theoretical Computer Science Stack Exchange works best with JavaScript enabled