Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

22h
comment What do we gain by having "dependent types"?
Did you read the second part of my comment?
22h
comment What do we gain by having "dependent types"?
Have you googled them? Have you heard of Coq, a theorem prover built on dependent types? Did you know that the 4 colour theorem has proven using Coq?
Feb
27
answered Reviews of work in the field of partial evaluation (post 1993)
Feb
27
comment A single definitive paper, or an initial manuscript and a followup?
If it is good work, don't submit to a low impact journal. No one will ever read it. If it is not good work, why submit at all?
Feb
27
comment How do I show that a DFA accepts only one word?
I don't think the question is well formulated. What is $O$?
Feb
25
comment A finite automaton accept no string
Do you know what a finite automaton looks like? en.wikipedia.org/wiki/Deterministic_finite_automaton
Feb
25
awarded Great Answer
Feb
25
comment A finite automaton accept no string
How do you draw the a non-final state?
Feb
25
comment A finite automaton accept no string
Not the final state is the empty set, but there are no final states.
Feb
25
comment Is talking about quitting to your supervisor a point of no return?
@itcouldevenbeaboat: I couldn't disagree more.
Feb
24
awarded Nice Answer
Feb
24
comment Source code plagiarism detection tool that checks against online content
@Davidmh: Modern plagiarism tools (such as Moss) are not fooled by changing variable names.
Feb
24
revised Is talking about quitting to your supervisor a point of no return?
added 160 characters in body
Feb
24
awarded Sportsmanship
Feb
24
comment Is talking about quitting to your supervisor a point of no return?
I quit and returned and succeeded and look at me know. A regular on [Academia.SE].
Feb
24
comment Can student second author go to conference?
+1 for student volunteers. That's also a good way to meet lots of people.
Feb
24
answered Can student second author go to conference?
Feb
24
revised Is talking about quitting to your supervisor a point of no return?
added 62 characters in body
Feb
23
comment Is talking about quitting to your supervisor a point of no return?
@Pouya: Good points. Other people in the network should be consulted in that case. In any case, quitting should be the last resort.
Feb
23
awarded Good Answer
1 2 3 4 5