/news/postdoc_sutd_190421/ 2021-04-19T19:59:00+00:00 /news/sw_talk_220421/ 2021-04-22T20:11:00+00:00 /news/jx_divideconqurer_290421/ 2021-04-29T20:11:00+00:00 /news/sp_job_070222/ 2022-02-06T20:11:00+00:00 /blog/2016/a-flavour-of-type-theory/ 2016-09-12T10:29:00+00:00 /blog/2016/a-nonresearch-discussion/ 2016-10-28T15:12:00+00:00 /blog/2020/formalizing-correct-by-construction-casper-coq/ 2020-08-17T15:59:00+00:00 /blog/2021/about-isomorphism-theorems/ 2021-04-29T15:12:00+00:00 /blog/2021/safety-proofs/ 2021-09-04T15:59:00+00:00 /blog/2022/perception/ 2022-01-30T15:59:00+00:00 /projects/2_project/ 2022-07-03T05:54:23+00:00 /projects/3_project/ 2022-07-03T05:54:23+00:00 /projects/4_project/ 2022-07-03T05:54:23+00:00 /projects/5_project/ 2022-07-03T05:54:23+00:00 /projects/6_project/ 2022-07-03T05:54:23+00:00 /projects/computer_assisted_knime_marking/ 2022-07-03T05:54:23+00:00 /teaching/1_intro_stats/ 2022-07-03T05:54:23+00:00 / /_pages/dropdown/ /projects/ /publications/ /teaching/ /assets/img/2ndiso.pdf 2022-07-03T05:51:16+00:00 /assets/pdf/example_pdf.pdf 2022-07-03T05:51:16+00:00 /assets/pdf/slides-2021-04-22.pdf 2022-07-03T05:51:16+00:00