|
|
|
|
|---|
| 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 am a mathematics graduate, currently studying for a PhD in Theoretical Computer Science at University College London. My supervisors are Dr. Elaine Pimentel and Professor David Pym. |
|---|
| My research interests include | Some of my other interests include |
|
- Proof-theoretic Semantics - Proof-theoretic Semantics for substructural logics - Linear Logic and its fragments - Base-extension Semantics and notions of basic derivability - Logic Programming and Proof Search - Getting to grips with λPROLOG - Relation Algebras - Category Theory - I do like a bit of old school algebraic topology |
- Working on my 64-bit operating system SCP/DOS - Repairing old PC class computers - Programming in x86 and x86-64 assembly - Reverse engineering 16-bit systems software for the PC - Green River, Mudhoney, Soundgarden and Skin Yard - Playing Halo CE/2, Unreal, UT99 and Quake 3 - I like sci-fi. Currently reading Smrt v Kurentiji and Zelena Zaveza! - 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 |