Proving Type Safety in Lean
December 03, 2021 • 3 min readFor my final project in CS242 , I used the Lean theorem prover to prove type safety for a small, toy language. In order to prove type…
Select one or more to filter posts.
Gemini: A Functional Hardware Description Language
November 10, 2019 • 2 min readFor my undergraduate senior thesis, advised by Drew Hilton , I set out to solve the following problem: Verilog and other HDLs lack the…
Text Detection and Inpainting
April 17, 2017 • 3 min readFor my final project in ECE 590: Image and Video Processing (also a popular MOOC ), I worked with three other teammates to build an…