# About

I am a mathematician working on the statistical learning theory of spiking neural networks and on dependent type theories for machine reasoning.

## Identity
- PURL [https://w3id.org/people/shaoweilin](https://w3id.org/people/shaoweilin)
- ORCID [0000-0002-8176-8868](https://orcid.org/0000-0002-8176-8868)

## Biography
- [Curriculum Vitae](https://w3id.org/people/shaoweilin/public/vitae.pdf)
- [LinkedIn](https://www.linkedin.com/in/shaoweilin)

## Publications
- [Google Scholar](http://scholar.google.com.sg/citations?user=jCYmZFEAAAAJ&hl=en&sortby=pubdate)
- [ResearchGate](https://www.researchgate.net/profile/Shaowei_Lin)
- [arXiv Preprints](https://arxiv.org/a/0000-0002-8176-8868.html)

## Writings
- [Blog](blog/)
- [PhD Thesis](https://w3id.org/people/shaoweilin/public/swthesis.pdf)
- [Singular Learning](singular/)
- [Program Synthesis](synthesis/)
- [Personal Blog](http://bananaguy.blogspot.com)

## Talks
- [Proofs as programs](posts/2021-04-22-proofs-as-programs-challenges-and-strategies-for-program-synthesis/)
- [Neural-symbolic reasoning](posts/2018-05-26-machine-reasoning-and-deep-spiking-networks/)
- [Internet of things](posts/2017-05-08-artificial-general-intelligence-for-the-internet-of-things/)
- [Singular learning](posts/2012-07-13-studying-model-asymptotics-with-singular-learning-theory/)

## Software
- [Graphical Models](http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.4/share/doc/Macaulay2/GraphicalModels/html/index.html)
- [Tropical Secants](https://w3id.org/people/shaoweilin/public/tropsec.html)
- [Integral Asymptotics](https://w3id.org/people/shaoweilin/public/rlct.html)
- [Principal Minors](https://w3id.org/people/shaoweilin/public/minors.html)
- [Exact Integration](https://w3id.org/people/shaoweilin/public/integrals.html)
- [Legendrian Knots](https://w3id.org/people/shaoweilin/public/legendrian.html)

## Students
- 2023: [Tenzin CHAN](https://www.linkedin.com/in/tenzin-c-2a605012a/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999682261802406); with Dewen Soh, Chris Hillar)
- 2022: [Jin Xing LIM](https://jinxinglim.github.io/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999649164802406); with Georgios Piliouras)
- 2020: [Gary PHUA](https://www.linkedin.com/in/gary-phua-8b7553201/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999583564202406); with Dario Poletti)
- 2020: [Aik Beng NG](https://www.linkedin.com/in/aikbengng/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999583564502406); with Simon See)
- 2020: [Zhangsheng LAI](https://zunction.github.io/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999582764802406); with Simon See)
- 2019: [Zackary XUEREB CONTI](https://www.zackxuerebconti.com/) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999559964702406); with Sawako Kaijima, Sam Conrad Joyce)
- 2019: [Zuozhu LIU](https://person.zju.edu.cn/en/lzz) ([thesis](https://sutd.primo.exlibrisgroup.com/permalink/65SUTD_INST/19hmrhl/alma999560164402406); with Tony Quek)
- 2017: [Mohammad ABU ALSHEIKH](https://mabualsh.github.io/) ([thesis](https://hdl.handle.net/10356/70562); with Hwee-Pink Tan, Dusit Niyato)


## Contact
- shaoweilin × research + gmail × com

*Website.* I was inspired by Chris Holdgraf's MyST-based [site](https://chrisholdgraf.com/). My [code](https://github.com/shaoweilin/shaoweilin.github.io) was modified from [his](https://github.com/choldgraf/choldgraf.github.io).