Nian-ze Lee
Assistant Professor at National Taiwan University
Taiwan
Summary
👤
Senior🎓
Top SchoolNian-ze Lee is an Assistant Professor at National Taiwan University with a decade of experience bridging academic research and teaching in electrical and electronics engineering. He completed both his bachelor’s and PhD at NTU and recently broadened his international academic footprint through postdoctoral and visiting roles at Ludwig-Maximilians-Universität München. His work sits at the intersection of rigorous PhD-level research and applied engineering, translating complex theoretical problems into experimental and pedagogical outcomes. While his public profiles emphasize faculty roles, his recent consecutive appointments in Munich and Taipei suggest a growing focus on international collaboration and cross-institutional research programs.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Electrical and Electronics Engineering, Doctor of Philosophy - PhD Electrical and Electronics Engineering at National Taiwan University
Github Skills (29)
sympy10
synthesis10
benchmarking10
verification10
logic10
benchmark9
linux9
cgroups9
python8
checker8
tla8
tlaplus8
verilog7
model-checking7
sat-solver7
Programming languages (6)
Github contributions (5)
nianzelee/benchexec
Nov 2020 - Sep 2022
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Contributions:29 pushes, 3 branches in 1 year 10 months
benchmarkingreliablebenchmarkmeasurementbenchmarks
nianzelee/nianzelee.github.io
Sep 2021 - Feb 2026
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:98 pushes, 1 comment, 2 issues in 4 years 5 months
templategithub-pages-templatemmistakesmistakesjekyll
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.