Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.

1d
answered Is it ok to apply for undergraduate admission in some institution while studying in another?
1d
answered How to learn computer science the right way
Dec
15
revised How many comparisons do we need to find min and max of n numbers?
edited body
Dec
14
comment How to overcome mathematics-related anxiety?
I'm saying, perhaps you could do something with a lot less maths instead.
Dec
13
comment How to overcome mathematics-related anxiety?
Social science uses maths a lot less. Perhaps anthropology.
Dec
13
comment Elsevier Computers and Security "With Editor" status just after 12 hours - what does it mean?
@BrianBorchers: You could make your comment an answer.
Dec
13
awarded Enlightened
Dec
12
awarded Nice Answer
Dec
12
comment what to do when the father makes poor personal choices (not necessarily a bad father)
Alcoholism is a disease, not an escape mechanism.
Dec
11
answered Combinatorics or Linear Algebra for Computer Science/Applied Mathematics Degree?
Dec
10
comment How to prevent calluses from writing on chalkboard?
Powerpoint cures calluses. (But can suck the life out of students and teachers alike.)
Dec
10
comment Typechecking liveness properties of coprograms
It was a bit of a blunt reformulation of the question. Is it standard terminology? Google didn't reveal anything and your link didn't use the word. None of the papers linked to in the answers use the word.
Dec
10
comment Typechecking liveness properties of coprograms
Can you modify the question to reflect this definition?
Dec
9
comment Is there an equivalent of lambda calculus for object oriented languages?
See: cs.stackexchange.com/questions/18963/…
Dec
9
revised Decidability of sets of free variables in Lambda Calculus
added 8 characters in body
Dec
8
comment Can I ask for first authorship on future publications that may come out of my design?
I would be wary of this. If you don't actually write these future papers, it might be difficult to claim authorship. Writing the papers, solves the problem.
Dec
7
comment How do you balance producing results with learning new skills?
Read on the bus, in the bathroom, or during lunch. Learn a new language of Fridays. (aka, what ff524 said).
Dec
5
answered Is there a method for automatic runtime analysis of algorithms?
Dec
3
comment Prerequisites for AI and machine learning
I don't see why compiler theory is the elephant in the room. What about automata theory? Formal language theory? Discrete mathematics? Theory X, for some value of X?
Dec
2
revised How much research experience to include on a CV?
added 384 characters in body
1 2 3 4 5