My research and investigations

Journey starts

I have been doing research on my own, even in retirement (see here). I long to get involved with the open-source community, hopefully in a project that I have a strong interest.  It is therefore my great pleasure to meet Micheal Norrish, one of the developers of HOL4 on SourceForge. We had a nice chat, and I plan to do a PhD research under his supervision.

I am starting a journey, turning my dream to reality — and making a contribution to human knowledge along the way.

The orchids (in the Header) are suggested by my wife, who gives me full support. She remarked that I’ve never smiled that sweet, deep from my heart!


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: