|
|
|
|
|---|
| Welcome to my home page on the information superhighway, or infobahn in German. I hope to add something to the global collective knowledge base and have some fun doing so! My name is Yll Buzoku and I recently defended my PhD in Theoretical Computer Science at University College London, on the 23rd of October, 2026. My supervisors are Professor Elaine Pimentel and Professor David Pym. |
|---|
| My research interests include | Some of my other interests include |
|
- Proof-theoretic Semantics - Base-extension Semantics for substructural and modal logics focussing on constructive and intuitionistic modal logics - Understanding the role of meta-logical structures in inference - Martin-Löf Type Theory and its connection to Base-extension Semantics - Linear Logic - Logic Programming and Proof Search |
- Working on my 64-bit operating system SCP/DOS - Programming in x86 and x86-64 assembly - Green River, Mudhoney, Soundgarden and Skin Yard - Playing Halo CE/2, Unreal, UT99 and Quake 3 - I like sci-fi. Go figure... - Languages... I speak a few. - Going up mountains every so often |
| Click one of the hyperlinks below to find out more about my activities |
|---|
| My publications | SCP/DOS |