I am specializing in model-based testing of real-time systems. My current interest is exploiting the Uppaal model-checker in testing. You must know my dear supervisors: Brian Nielsen and Kim G. Larsen.
October 13, 2006. Uppaal TRON 1.4 Beta 1 is released.
No more ICQ spam, period. It's time to move on to open protocols, you can find me at email@example.com via Jabber protocol also used by Google Talk, Gmail Chat and many others.
I am back to Aalborg from my visit of Insup Lee and Oleg Sokolsky at Department of Computer and Information Science, University of Pennsylvania, Philadelphia, Pennsylvania, USA.
I've put up my Firefox life-time bookmarks, maybe you'll find something useful in this mess, enjoy.
September 26, 2005. Uppaal TRON 1.3.3 is released.
|Office Address||Selma Lagerlöfs vej 300-1.2.01, 9220 Aalborg Øst, Denmark|
|Phone||+45 2625 5233|
|During vacations||+370 688 94392, +370 52 412331|
|firstname.lastname@example.org GPG key|
|IM||jabber://email@example.com (compatible with Google Talk, Gmail Chat)|
Situated in the very heart of Europe, Lithuania is a crazy country with crazy people.
It took us 50 years to tear Soviet Union apart. Now we joined European Union. This one will not take as long.
Our primary religion is Basketball and our daily diet is so rich in fat, it’s considered lethal for most Americans.
Lithuania is a conservative Roman Catholic country, yet we have more night-clubs than churches in every major city around the country. Women are very beautiful.
Though only 300 km accross, Lithuania is extremely rich in locations, ranging from forests, jungles (sort of) and deserts to seascapes, ancient villages and medieval castles. We don’t have mountains, though (but who needs them anyway). The weather is mild, but can get really nasty in winter.
Forget all the post-Soviet scares. With world-class hotels, decent night-life and a selection of fine restaurants, you won’t notice that you are twice as close to Moscow than to Paris. Service is good, beer is cheap and the food is enjoyable.
|Last updated on Wednesday October 31, 2007|