Joonhyup Lee

Research Interest

• Static Analysis
• Proof Automation
• Hardware Verification

Education

• Intern, ROPAS Laboratory, Computer Science and Engineering, Seoul National University (Jul 2022 - current)
• B.Sc. (summa cum laude), Electrical and Computer Engineering, Seoul National University (Mar 2018 - Aug 2023)

Research Projects

• reanalyze-ropas
  Static analyzer for detecting uncaught exceptions in ReScript, a dialect of ML that compiles to JavaScript.
• modular-analysis
  A simple abstract interpretation framework for separate modular analysis.
  Proofs are mechanized in Coq (link, most recent proof on type safety using logical relations with record subtyping).
  Paper in progress (outline for type safety, main link)
• verilyzer
  Proposal for a static analyzer for detecting useless states in Verilog.

Links

• GitHub profile

Contact Information