Hi, I am Nick (Lik San) Fung.
I am a software engineer and researcher with particular experience in the use of model-driven development and formal methods across different domains and industries. My original background is in biomedical engineering, for which I received an M.Eng. degree from the University of Cambridge under the supervision of Prof. Joan Lasenby. Later, under the supervision of Prof. Marsha Chechik, I also recieved an M.Sc. in Computer Science from the University of Toronto, and in 2021, I completed my PhD in Pervasive Healthcare at the University of Twente. My PhD advisors are Dr. Ir. Marten van Sinderen, Dr. Valerie Jones and Prof. Dr. Ir. Hermie Hermens.
As of August 2021, I am a software engineer at August Robotics.
Scroll down for my latest news and projects!
News
| August 2021 | I have joined August Robotics as a software engineer! |
| June 2021 | I successfully defended my PhD thesis! |
| February 2021 | I have joined Maastricht University as a (postdoctoral) research software engineer! |
| October 2020 | I presented my work on checking the well-formedness of assurance cases at CSER 2020! |
| August 2020 | I presented the formalism underlying my MADE language at AIME 2020! |
| June 2020 | My personal website is online! |
Academic Projects
The following are a list of the main projects that I've worked on in academia:
PURE3D
A digital infrastructure to support the publication and
preservation of 3D content for digital humanities and digital
heritage.
MMINT-A
A software model management tool with support for creating and maintaining assurance cases, with particular focus on safety- related automotive systems.
Learn More
The MADE Language
A computer language for formalising and verifying clinical guidelines, with the aim to provide resilient, pervasive and evidence-based decision support to chronic patients.
Learn More
MobiGuide mDSS
A mobile decision support system (mDSS) that forms part of the larger, MobiGuide system that provides personalised and guideline-based support to patients outside clinical environments.
Learn More
Lung Analyser
A computer program that can estimate a patient's oxygen exchange performance from measurements of their blood oxygen levels when inspiring different amounts of oxygen.
Learn More