Welcome to lanther.co.uk
 |
Welcome to my website. Please feel free to browse at your will, using the menu on your left. The main page below is home to my (long neglected) weblog for those of you that are bored enough to take an interest in what's going on in my life :-).
So, who am I, and more importantly, why are you reading this? The latter I cannot answer, due to my recent decline in telepathic ability, but I can give a stab at the first. I'm a theoretical Computer Scientist in the Language Based Technology group at the Technical University of Denmark, Copenhagen. I'm employed by the MT-LAB project, which is a collaboration between DTU, Aalborg University, and ITU, investigating formal verification techniques for advanced software systems. My particular research is concerned with probabilistic and stochastic analysis of distributed systems. Prior to this, I did my PhD in the Laboratory for Foundations of Computer Science, University of Edinburgh, supervised by Professor Jane Hillston. Previously, I studied at Robinson College, Cambridge. I originate from Bridlington, a little sea-side town on the Yorkshire coast. In the summer of 2005, I was a Senior Technical Associate at Fraser Research, in Princeton, New Jersey. Non-academically, I've been studying Japanese since January 2006, and I have been playing the fascinating game of Go since September 2006. I was previously the president of the Edinburgh University Go Club, and was a member of the Japan-UK 150 sub-committee for Scotland. My current grade is around 3kyu, and you can see my tournament results here. Other than that, there's not much else to say. Feel free to enjoy the site! 楽しんでください！
|
No News
There are no news updates yet for this month.