# Min-Hsien Weng

> researcher in New Zealand

**Wikidata**: [Q112381196](https://www.wikidata.org/wiki/Q112381196)  
**Source**: https://4ort.xyz/entity/min-hsien-weng


## References

1. Efficient compilation of a verification-friendly programming language
2. [Source](https://hdl.handle.net/10289/8505)
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2334-1863/employment/9221797)
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2334-1863/employment/6308934)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2334-1863/employment/6308927)
6. [Source](https://hdl.handle.net/10289/12432)
7. ORCID Public Data File 2021