"I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve." -- Bilbo Baggins

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!

楽しんでください!


Michael Smith

Sunday 11/04/04 @ 03:57 am

Happy Easter :-)

As has become somewhat customary, I'm posting this update just after having got back from a film session. I'm a little disappointed that we only managed to get through three films this week, but then again we did only start at about half 9, after a good few games of Tekken! So, we watched AI Artificial Intelligence, Dune (the 1984 David Lynch version) and The Last Unicorn. The latter was one I hadn't seen before, and was rather enjoyable, with some amusing moments such as a conversation with a pirate cat!

I suppose I had better say what else I've been doing these last few days - well, to be frank, nothing particularly exciting. I've been getting on with some revision, playing a bit more Final Fantasy X-2, and reading the archives of A Modest Destiny; a great webcomic that I've only just discovered. I'm running the one-off D&D session that I mentioned in the last post on Monday, so that should be entertaining to say the least. I will put something about it on the D&D page at some point when I have time.

Anyway, happy Easter one and all!

Comments

Lanther -- msmith@lanther.co.uk

I forgot to mention that I've added this comment feature. If you want to add a comment, just click 'add comment', and enter your name, email address (optional), and comment.

Note that you can't use HTML other than the a-tag for links.


programa poker -- nYqOZoxjq@msn.com

[url=http://www.google.it/notebook/public/12474813629463606159/BDQGMQgoQoZilyqQj]giochi keno in linea[/url] http://www.google.it/notebook/public/12474813629463606159/BDQGMQgoQoZilyqQj giochi keno in linea http://groups.google.de/group/michelle4861/web/gratis-poker-games [url=http://groups.google.de/group/michelle4861/web/gratis-poker-games]gratis poker games[/url] gratis poker games [url=http://www.google.de/notebook/public/15065049810205410084/BDQaSQgoQ3d2ayqQj]casino club bonus[/url] casino club bonus http://www.google.de/notebook/public/15065049810205410084/BDQaSQgoQ3d2ayqQj [url=http://www.google.com/notebook/public/05237600572258148475/BDSMKQgoQndyfyqQj]tv ringtones[/url] http://www.google.com/notebook/public/05237600572258148475/BDSMKQgoQndyfyqQj tv ringtones big game poker http://groups.google.de/group/eddie881/web/big-game-poker [url=http://groups.google.de/group/eddie881/web/big-game-poker]big game poker[/url]


gratis poker games -- PqWEBUHX@gmail.com

http://www.google.de/notebook/public/15065049810205410084/BDQxVQwoQlu-vyqQj [url=http://www.google.de/notebook/public/15065049810205410084/BDQxVQwoQlu-vyqQj]einarmiger bandit[/url] einarmiger bandit [url=http://groups.google.de/group/yonatan8572/web/blackjack-online-spiele]blackjack online spiele[/url] http://groups.google.de/group/yonatan8572/web/blackjack-online-spiele blackjack online spiele [url=http://groups.google.de/group/eddie881/web/big-game-poker]big game poker[/url] http://groups.google.de/group/eddie881/web/big-game-poker big game poker gambling blackjack http://groups.google.fr/group/donna4044/web/gambling-blackjack [url=http://groups.google.fr/group/donna4044/web/gambling-blackjack]gambling blackjack[/url] juego al instante internet http://www.google.es/notebook/public/06006496999435012899/BDQxVQwoQ8_SryqQj [url=http://www.google.es/notebook/public/06006496999435012899/BDQxVQwoQ8_SryqQj]juego al instante internet[/url]