https://nianzelee.github.io/portfolio/portfolio-1/ https://nianzelee.github.io/portfolio/portfolio-2/ https://nianzelee.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://nianzelee.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://nianzelee.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://nianzelee.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://nianzelee.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://nianzelee.github.io/professional/conference-referee https://nianzelee.github.io/professional/journal-referee https://nianzelee.github.io/publication/2014-11-03-iccad-2014 2014-11-03T00:00:00-08:00 https://nianzelee.github.io/publication/2016-11-07-iccad-2016 2016-11-07T00:00:00-08:00 https://nianzelee.github.io/publication/2017-08-19-ijcai-2017 2017-08-19T00:00:00-07:00 https://nianzelee.github.io/publication/2017-11-13-iccad-2017 2017-11-13T00:00:00-08:00 https://nianzelee.github.io/publication/2018-06-24-dac-2018 2018-06-24T00:00:00-07:00 https://nianzelee.github.io/publication/2018-07-13-ijcai-2018 2018-07-13T00:00:00-07:00 https://nianzelee.github.io/publication/2018-08-01-trans-computer-2018 2018-08-01T00:00:00-07:00 https://nianzelee.github.io/publication/2018-11-05-iccad-2018 2018-11-05T00:00:00-08:00 https://nianzelee.github.io/publication/2019-02-06-vamos-2019 2019-02-06T00:00:00-08:00 https://nianzelee.github.io/publication/2019-06-02-dac-2019 2019-06-02T00:00:00-07:00 https://nianzelee.github.io/publication/2019-07-13-gecco-2019 2019-07-13T00:00:00-07:00 https://nianzelee.github.io/publication/2019-11-04-iccad-2019 2019-11-04T00:00:00-08:00 https://nianzelee.github.io/publication/2020-03-09-date-2020 2020-03-09T00:00:00-07:00 https://nianzelee.github.io/publication/2020-08-10-trans-cad-2021 2020-08-10T00:00:00-07:00 https://nianzelee.github.io/publication/2021-05-18-aaai-2021 2021-05-18T00:00:00-07:00 https://nianzelee.github.io/publication/2022-08-09-imc-tr 2022-08-09T00:00:00-07:00 https://nianzelee.github.io/publication/2023-04-20-btor2c-2023 2023-04-20T00:00:00-07:00 https://nianzelee.github.io/talks/2012-03-01-talk-1 2012-03-01T00:00:00-08:00 https://nianzelee.github.io/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00-08:00 https://nianzelee.github.io/talks/2014-02-01-talk-2 2014-02-01T00:00:00-08:00 https://nianzelee.github.io/talks/2014-03-01-talk-3 2014-03-01T00:00:00-08:00 https://nianzelee.github.io/teaching/2016-spring-eda 2016-03-01T00:00:00-08:00 https://nianzelee.github.io/teaching/2018-fall-lsv 2018-09-01T00:00:00-07:00 https://nianzelee.github.io/teaching/2020-fall-lsv 2020-09-01T00:00:00-07:00 https://nianzelee.github.io/teaching/2021-winter-sv 2021-10-01T00:00:00-07:00 https://nianzelee.github.io/teaching/2022-summer-mse 2022-04-30T00:00:00-07:00 https://nianzelee.github.io/teaching/2023-summer-sv 2023-04-17T00:00:00-07:00 https://nianzelee.github.io/teaching/2023-winter-model-checking 2023-10-19T00:00:00-07:00 https://nianzelee.github.io/teaching/2024-summer-sv 2024-04-15T00:00:00-07:00 https://nianzelee.github.io/teaching/2024-summer-model-checking 2024-04-18T00:00:00-07:00 https://nianzelee.github.io/ https://nianzelee.github.io/archive-layout-with-content/ https://nianzelee.github.io/categories/ https://nianzelee.github.io/collection-archive/ https://nianzelee.github.io/cv/ https://nianzelee.github.io/markdown/ https://nianzelee.github.io/non-menu-page/ https://nianzelee.github.io/page-archive/ https://nianzelee.github.io/portfolio/ https://nianzelee.github.io/professional/ https://nianzelee.github.io/publications/ https://nianzelee.github.io/sitemap/ https://nianzelee.github.io/tags/ https://nianzelee.github.io/talkmap.html https://nianzelee.github.io/talks/ https://nianzelee.github.io/teaching/ https://nianzelee.github.io/terms/ https://nianzelee.github.io/year-archive/ https://nianzelee.github.io/markdown_generator/ https://nianzelee.github.io/files/2024-04-07_COOP24_Bridging_Hardware_Software_Formal_Verification_Nian-Ze.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/2024-09-27-EDA-Recruiting-Nian-Ze.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/2025-02-24_EDA_Seminar_Nian-Ze.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/Nian-Ze.Lee.CV.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/Nian-Ze.Lee.Dissertation-secure.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/Nian-Ze.Lee.Publications.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/Nian-Ze.Lee.Research-Statement.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/files/Nian-Ze.Lee.Teaching.pdf 2026-02-18T03:44:17-08:00 https://nianzelee.github.io/talkmap/map.html 2026-02-18T03:44:17-08:00