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

1d
comment Variable argument placement in methods
"Multimethods" could be what you are looking for.
1d
comment Intuition behind F-algebra
Actually, I defined what you asked me to define.
1d
comment Intuition behind F-algebra
The function $F(g)$ does one of the following things: if the input is a pair $(a,b) : X\times X$, it gives result $(g(a),g(b))$, if the input is just $a:X$, it results in $g(a)$, and if the input is $\star:1$, the result is $\star$.
2d
answered Intuition behind F-algebra
May
22
comment What type of review i describe?
This might be easier to answer if you state what field you are talking about.
May
22
comment My 16 month old son knows only a couple of words
Does he understand what you and your wife are saying?
May
21
reviewed Approve suggested edit on Why should I be hell bent on educating my toddler when she's going to learn the stuff anyways when she grows up?
May
21
comment Why should I be hell bent on educating my toddler when she's going to learn the stuff anyways when she grows up?
@user3143: Seriously? It's common sense. You can't learn hard mathematics unless you've learnt the easy mathematics.
May
21
answered Why should I be hell bent on educating my toddler when she's going to learn the stuff anyways when she grows up?
May
20
comment Is praising students' aptitude harmful?
Aptitude is only half of the story. One also needs to put in the effort. As children, girls are told that they are good at something because they are clever, whereas boys are told that they are good because they tried hard. So when a girl fails, she believes it is because she is not clever, whereas a when a boy fails, he believes it is because he did not try hard enough. The consequences are that many women do not even consider the sciences. [Citation required.]
May
20
comment diy online majors
This seems overly broad, and somewhat incomprehensible. Can you narrow it down to a field of interest, or are you just interested in anything? What do you mean by going 0-60? Have you heard of coursera.org?
May
20
comment Tenured position to be started very soon...what to do with the old affiliation
@StrongBad: That's amazing. The hiring process in Belgium and Sweden took many months.
May
19
answered Tenured position to be started very soon...what to do with the old affiliation
May
18
comment What are the date formats for these dates?
Universal Hyperbolic Time?
May
14
comment Formalizing self-propagating behaviour
Maybe look at: Simon Kramer, Julian C. Bradfield: A general definition of malware. Journal in Computer Virology 6(2): 105-114 (2010)
May
13
awarded Enlightened
May
13
awarded Nice Answer
May
13
comment What are reasonable alternatives to changing your name for academic publishing when you have a common surname?
I use "Dave Clarke" as my name. Not the best choice, but it hasn't been too problematic. That said, try to do what you can to make your name distinct enough. Use the full middle name (not just X). Perhaps add Pope or Sir or Captain to the front of your name, or add a second middle name.
May
13
comment What are reasonable alternatives to changing your name for academic publishing when you have a common surname?
Do you have a middle name?
May
13
comment What does least fix point and greatest fix point mean in Safety games
@PålGD: Thanks for the definition (or lack thereof). I was trying to help the OP write a better question.
1 2 3 4 5