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!