|
|
|
|
|---|
| 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 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 - Semantics of Normal Modal Logics - Intuitionistic Modal Logics - Proof Theory of Modal Logics - Epistemic Logic - 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 |