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 :-).
I'm currently a Principal Scientist at Adobe, working on the architecture for asset management and collaboration in Creative Cloud. Prior to this, I was the lead developer for Creative Cloud Libraries - a revolutionary new way of sharing creative content between different applications, devices, and people. I previously helped to develop Adobe Scout, which was a visual profiler for Flash and AIR applications. Prior to this, I was a researcher in the Language Based Technology group at the Technical University of Denmark, Copenhagen. I was part of 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 was concerned with probabilistic and stochastic analysis of distributed systems. 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. Other than that, there's not much else to say. Feel free to enjoy the site! 楽しんでください！
|
Thursday 01/04/04 @ 12:24 am
Linux takes over the Playstation
I haven't updated for a few days, not that a great deal has happened. I decided to accept the semantics placement, so I've had to turn down ARM, which I feel a bit bad about. Anyway, I now have to brush up on my knowledge of TCP, and read up a few revelant papers. There's quite a comprehensive one on the related work with UDP semantics, which I'm working through reading. Some of the semantic definitions (expressed in HOL) are not the easiest to digest, so are not really suitable for bedtime reading!
Speaking of bedtime reading, I'm currently reading The Language Instinct by Steven Pinker, which is a fantastic book. Katharine recommended it to me a while back when we were discussing the differences between natural and computer languages - it's one of those books that I really should have read a long time ago. I must say that it has heightened my interest in linguistics, and perhaps even inspired me to go hunting after some Chomsky... maybe I'll leave that until the summer when I have a spare week or two!
Yesterday, I placed an order for a particularly cool piece of kit - Linux on the PS2! Surprisingly enough, it arrived today! I think it's a pretty good deal - for around 90 (when you include delivery and VAT), you get a PS2 hard drive, ethernet adapter, USB keyboard and mouse, VGA cable, plus of course the linux distribution itself. Unfortunately, in my endless stupidity, I forgot that it would need a memory card to boot from, and given that I don't want to format over all my save games (lose hundreds of hours worth of final fantasy? - not a chance!!), I'll have to pop into town and get another card tomorrow (I can't be arsed waiting for a delivery). Other than that, it's looking pretty good. I just need to route the ethernet through my PC and I have full broadband internet access on the PS2, for games as well. I could connect it directly to the network, but the switch is downstairs, and I don't fancy laying another cable down. Given that I've got two network cards in my comp, I may as well put them both to use :-).
Anyway, revision is sort of happening, though not as much as I'd like (no change there...). I've still got enough time to spend about a day on each course (well at least, for the more major courses), so I should be able to at least draw up some pseudo-revision notes in that time. Strange - I've only been back for two weeks, and already I'm having to think about going back again. Oh well, at least in the summer I'll get a meaningful rest (get it? meaningful -> semantics? Go on, kick me - I dare you).
add comment