Aubrey da Cunha

231 reputation

bio	website	www-personal.umich.edu/…
	location	Ann Arbor, MI
	age
visits	member for	2 years, 7 months
	seen	Nov 7 '12 at 22:42
stats	profile views	73

I am a graduate student in the mathematics department at the University of Michigan, whose specialty is theoretical computer science. My current research is in automata theory and its relations to computational complexity theory.

	231 reputation	bio	website	www-personal.umich.edu/…	visits	member for	2 years, 7 months
26 badges		location	Ann Arbor, MI		seen	Nov 7 '12 at 22:42

summary answers questions tags badges favorites bounties reputation activity

4 Answers

votes activity newest

28	Dinner-table description of theoretical computer science?
4	What are practically computable properties of Labelled Transition Systems?
2	Time-bounded Kolmogorov complexity and non-random strings
0	Complexity Class NEXP$^\text{NP}$

231 Reputation

This user has no recent positive reputation changes

1 Question

votes activity newest

11	Do there exist groups with word problems in arbitrary P-degrees?

14 Tags

4 formal-modeling	2 cc.complexity-theory × 3
4 automated-theorem-proving	2 kolmogorov-complexity
4 program-verification	0 nexp
4 model-checking	0 reference-request
4 lo.logic	0 complexity-classes