Projects
Static checking of thread-locality for Java-like languages.
Uppsala Programming for Multicore Architectures.
The Thorn Programming language.
Tobias Wrigstad @ Uppsala
^^^^^^^^^^^^^^^^^^^^^^^^^
Turn on JavaScript to view the email address
Static checking of thread-locality for Java-like languages.
Uppsala Programming for Multicore Architectures.
The Thorn Programming language.
> If you turn your back on science, it'll take
> you from behind
-- Dr. Tiki
I am currently looking for students interested in pursuing
a PhD in programming languages. I have two projects with
open positions, research on an active object-based
programming language for parallel programming of multicore
machines, and a project on dynamic programming languages
(like Python, Ruby, Lua and Perl) -- their implementation,
understanding, code reasoning and verification. Drop me a
line if you are interested.
I'm an assistant professor at the Department of Information Technology at Uppsala University and before that, I was an associate professor (lektor) at the Department for Computer and Systems Science at Stockholm University. I have a PhD from Royal Institute of Technology. Between September 2007 and June 2009, I was a postdoctoral researcher at Purdue University under Jan Vitek. I'm working on things that I really like, i.e., programming languages, dynamic typing, gradual typing, etc. I am also applying ownership types to concurrency and parallelism.
Together with my (then) advisor and partner-in-crime, Dr. Dave Clarke, of Dutch and Belgian fame, I co-wrote The Attack of the 50th Foot Spatial Dudes. A new joke is afoot. A whole 256 of them. It'll be linked to here at some point in the future.
I got my PhD from KTH in 2006 and my licencate and Master's from DSV, Stockholm University in 2004 and 1999 respectively. My PhD topic was managing aliasing in object-oriented programming languages and systems.
I am a big fan of plain text and any forms of light-weight markup such as reStructured text, Markdown, Textile and even more of the marvelous type-setting system LaTeX. I'm also a big fan of Wikis, collaborative, Internet-driven tools and social computing networks such as Flickr, Blogspot, Slashdot, 43things, etc. I recently got myself a Jaiku account, and a Dopplr account. These social networking tools are amazing. As a Swede living abroad, naturally I have a Facebook account.
My OS/computer religion is Mac, switched from lovely Linux. My text editor religion is Emacs.
I'm a big fan of programming languages. I've been very keen on dynamically typed object-oriented programming languages, like Ruby and Python. After working on type systems for several years, I simply had to escape. Nowadays, I'm equally fond of dynamic and static languages, but I prefer type inference like in the wonderful languages like O'Caml and Scala and Thorn. Raised a dull, old-school Software Engineer, I've become a believer in agile methods, refactoring and test-first development. I even recently became a certified Scrum Master.
When I'm not doing all this computer related stuff, I might be doing something related to jeep/free form role-playing, which has been called "what theatre may become". That's pretty much the other reason why I am a nerd. Oh, and I am a published role-playing game author in Italy, would you believe it.
Tobias Wrigstad
Turn on JavaScript to view the email address
Public key
MIC, Room 1338
Visiting hours: send me an email to make an appointment
Department of Information Technology
Polacksbacken (Lägerhyddsvägen 2)
751 05 Uppsala
SWEDEN
Last modified 2010-06-24 09:15 GTM+1
Would you believe this page uses JavaScript to make it more readable? For css reasons, it renders badly in Explorer. Not a design goal, but not a loss.