Academia
Blaisorblade
Profile Activity
Stats
1,831
reputation
120k
reached
31
answers
2
questions
About

Researcher in functional (and object-oriented) programming languages and their theory. Last known focus was Scala. Currently working in industry on machine-checked proofs of functional correctness for concurrent imperative programs.

Ex Linux kernel programmer, Scala/Java/Haskell/C/C++/Java developer.

Communities (55)

Top network posts

This user doesn’t have any gold badges yet.
11
silver badges
24
bronze badges
View all badges

Top tags (54)

Score 53
Posts 12
Posts % 36
Score 47
Posts 12
Score 28
Posts 2
Score 26
Posts 2
Score 21
Posts 4
Score 10
Posts 5
View all tags →

Top posts (33)

All Questions Answers
Votes Newest
26 What to do with an overtly exasperating colleague in computer science? Mar 8 '15
24 What do you wish you knew as a student before you became a researcher? Oct 12 '13
16 How often can the reviewers correctly guess the identity of the authors when the review is double-blind? Feb 11 '16
14 How do some researchers have such beautiful figures in publications, while their homepages look simple? Jul 10 '17
13 I am a PhD student and hate it here. How can I warn prospective students during admit weekend without ruining my reputation? Feb 11 '15
12 Should I recommend rejection for a paper I referee if the authors don't make changes that they could have made? May 24 '15
10 Does some degree of stubbornness help for a researcher? Oct 12 '13
8 When should a supervisor be an author? Feb 11 '15
6 Is it a good idea to write a larger than expected project report? Feb 14 '16
6 Is it common that you can't finish the exam questions during PhD study? Feb 11 '16
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.