Research

I have experience in computer science research, namely on functional programming and formal methods.

I wrote a book review in the Journal of Functional Programming about Michael Huth and Mark Ryan's book Logic in Computer Science.

If you face the problem of maintaining a research software I am ready to serve you. I have experience in dealing with research literature and in communicating with researchers.  I also  have industrial experience with large code bases.

If you do face this problem, contact me.

Comments are closed.