PhD Student, The University of Edinburgh
PRISM. An Elegant Academic Homepage Builder
Veri-Sure. Contract-Aware RTL Code Generation Agents with Temporal Tracing, Slicing and Formal Verification
GPT-PDF-Translator. A Python script to translate PDF documents with the GPT-3.5-Turbo API
Google-Scholar-Author-Highlighter. JavaScript
