jonny goes to england

London & co

Archive for the ‘QMUL’ Category

Dec – May!

leave a comment »

Wow. I had a couple of very busy months .. here a short picture-driven recap.


In December I went to my last conference, ACSAC in Austin, Texas. Somehow I always managed to end up getting accepted at Texan or southern state conferences. Anyway, the conference was interesting; I was surprised to see that many government agencies there taking part. A lot of NSA people etc. Here are some pictures. And yes it was in December, thus the Christmasy theme.

A winter landscape at the entrance of the hotel all made out of gingerbread:

Mandatory Hotel-room-view picture on Austin

Also in December I started doing many more job interviews which eventually landed me a job which I started in Feburary. But first I had to finish my PhD.



Quick trip to Milan to eat a fantastic steak served by the fattest cook (ever?). But you really want cooks to be fat.

Obviously I took the picture when he wasn’t facing us but the flash gave me away.

March – May

Started my new job in a hedge fu^R^R err investment company. My new joiners cake

Oxford Street way too early in the morning:

To finish off my newly picked up skill, a balloon dog:


Written by jk

May 22, 2011 at 2:45 pm

BD, QA, TM, FY & co

leave a comment »

I’ll post on my birthday since my last update is already too long ago!

Anyway, this is quite an old image/story but it’s still pretty funny, that’s why I’ll post it. In December, I bought myself a new phone (blackberry) and of course immediately forgot my password and the 3 security questions I set on the T-Mobile website. A bit later I was on the hotline with them while they asked me the security questions which I couldn’t remember, however the Indian guy on the other end of the line probably had the answers to the questions on his screen. Since I couldn’t remember them I was given the choice to get them texted to me. I chose that option and this is what I got. Good I did not remember them.


A version of my current paper has been accepted to some small workshop on Quantitative Analysis of Software. I’m going to present my work next month in Grenoble.

Written by jk

May 20, 2009 at 4:48 pm

Posted in english, London, QMUL

Cambridge Workshop

leave a comment »


So, I was in Cambridge, attending the workshop “Frontiers in Computational Reasoning” at Microsoft Research. Too bad I couldn’t find the battery cable for my camera, so only a few, low quality pictures

It was quite an interesting workshop, as it brought together many researchers who reason about programs in different ways. The most interesting talk (beside the first one from Byron Cook) was the last talk about “On Reasoning and Intelligent Behaviour”. It questioned whether the approach we use these days to make computers “intelligent” is the best way and how its different from what early AI reseachers in the 60ies thought AI going to be. Basically, now a days, all successful applications are using very primitive techniques plus a lot of data. Google can provide you with accurate answers, not because it’s smart, but because it’s backed up by billions of data entries it can run statistics on.
Modern machine translation is able to translate Chinese into English without understanding either of the languages, purely driven by lots of training data and statistics over it. This is however (probably) not how humans reason about their environment. One member of the audience however pointed out that it’s a very naive idea to try to build artificial intelligent after a model of how humans are thought to think. Mostly, because we don’t know ourself how our brains work.


Being at Microsoft Research itself was interesting too. Every participant got his/her (although I counted a total count of 1 woman besides the catering girls, strange!) own wifi login and a complex password with expiry date, that’s how access control should be :). I had an ms visitor batch hosted by Tony Hoare, which was nice.

Then I was visiting Cambridge .. and to my surprise, I enjoyed it! Even worse, I realised how very stressful London can be at times. Cambridge was quite peaceful, slow and I can imagine how people can perform well in such an environment. And with five trains an hour to London (50mins) it’s not too far away from Mayhem either.

That’s how it looks like when you go into a sports shop. Certainly not what you would see in a Swiss shop:


On the way home, close to Liverpool street:


Written by jk

March 22, 2009 at 4:31 pm

Posted in english, german, QMUL

March & co

leave a comment »

So I started going to these live poker tournaments in a nice club below (or rather inside) Southwark Bridge. The first time it went very well, I dropped out at 6t or 7th position from 90 people starting. Too bad that was only one place before they start paying out money! Last time it didn’t go too well, but still learned a lot (especially how NOT to play in such a low-stakes tournament).

In other news, March is quite packed with thing. Mid-march our group organised a workshop with title “Frontiers of Computational Reasoning” at Microsoft Research in Cambridge.

End of march, I will get notified if our paper got accepted at CSF. I’m again cautious with looking forward to it, because it’s a really prestigious place and acceptance rate is low.

End end of march our (small) group within our group has another workshop planned, PLID’09 (Programming language interference and dependence), where I will give a talk about my recent research. Perhaps I’ll upload slides of it later on.

Written by jk

March 8, 2009 at 11:37 am

Posted in english, London, QMUL, Travel

Engrish: Small Walnut Meat

leave a comment »

I found a nice Engrish food description from the packaging of a Chinese walnut snack. Can not refuse to put this up here:


The back is also somewhat amusing:


I was invigilating midterm exams again ..


Written by jk

February 27, 2009 at 4:03 pm

Posted in english, food, QMUL


with one comment

Desk at my temporary office:


Written by jk

February 17, 2009 at 5:13 pm

Posted in english, QMUL

Olympic Boulevard

leave a comment »

A list of things

  • The street our university is on (Mile End Road, Whitechapel Road) will probably get renamed due to the Olympics 2012. Names in question are “Olympic Boulevard” or “High Street 2012”. That’s awesome .. who wouldn’t want to have his address at the Olympic Boulevard?
  • On Friday, we submitted a paper titled “Lattice of Information and Quantitative Information Flow” to the Computer Security Foundations (CSF) conference. A very good conference .. we’ll see what happens. In the paper, we explored the connection between quantitative and qualitative research in the area of language-based security. It’s very elegant .. but then again I’m not sure if it’s enough for CSF.
  • I changed the look of my university webpage. I will structure it a bit better later and perhaps add a bit more content..
  • A lot of other stuff I forgot! I got to get used to blogging regularly again!

Written by jk

February 9, 2009 at 4:57 pm

Posted in english, QMUL