Whenever there is a comment such as this I suggest people start journalling. Journalling is enjoyable, rewarding and pleasurable. Journal what you do, how you

Whenever there is a comment such as this I suggest people start journalling. Journalling is enjoyable, rewarding and pleasurable. Journal what you do, how you feel, inspiration and ideas. I am also interested in concurrency and parallelism. I am recently working on a parallel actor model and I wrote a model checker. Unfortunately it's too slow it would take 170 days to finish. So I need to parallelise it to prove my parallel software correct. See my profile for my journal.