In 1995 I started to work at the University of Gdansk, in the Computer Science Group (Institute of Mathematics), led by Andrzej W. Mostowski. In 2000 I took a research leave in Gdansk and moved to the University of Twente (Enschede, the Netherlands), where I worked as an "AIO" (Assistent In Opleiding - trainee research assistant) in the HMI Group, under supervision of Anton Nijholt. The group used to be called Language Engineering Group not so long ago, but it had managed to change its name to Taal, Kennis en Interactie (Language, Knowledge and Interaction) and then to Parlevink before I joined it. The name was changed once again to Human Media Interaction shortly before I finished my PhD in 2004. Changes of the name and the research direction aside, I enjoyed staying there and working with the group very much.
Since I left, no further name changes have been implemented. A coincidence?
After doing my PhD, I moved to Clausthal-Zellerfeld in Germany, and joined Juergen Dix and his newly created Computational Intelligence Group. It was a perfect place for further development, with much freedom for research, the Harz mountains around, solid German beer, and German cuisine so similar to Polish. I developed myself, established the development formally through habilitation, and moved on. To Luxembourg.
We are still in touch, and in fact formally I am still a member of the Clausthal University as a Privatdozent. If I understand corectly, this means I have the right to do unpaid work for the university. Call it economical thinking... They aren't dumb at these German universities, are they?
In May 2009, I joined the University of Luxembourg. There, I worked as a research associate in the Individual and Collective Reasoning Group, before moving to the Applied Security and Information Assurance Group in 2012. I had also been associated with the Security and Trust of Software Systems research group. Luxembourg is a nice little country, multilingual and multicultural, with plenty of sightseeing spots around. Working at the uni.lu is fun. And even the sun shines... er, well... sometimes. Not a bad place to be, all things considered.
Still, time came again to move on. I got an EU grant and a position of associate professor at the Polish Academy of Sciences in the Formal Verification Group. The plan is to work on verification techniques from more practical side, and to show my kids how blue sky looks. Who knows, my research may even produce something useful at the end. Out of the blue sky, so to speak. ;-)
|Formal Verification Group @ Polish Academy of Sciences|
|Computational Intelligence Group @ Clausthal University of Technology||Last modified 2018-03-21|