Biography

I was born in Gdansk, Poland, in 1971, I believe. I studied Computer Science at the Gdansk University of Technology, and got my MSc in 1995 with thesis about Machine Translation from English to Polish. During my studies I chose an individual course so I had the opportunity to study natural language processing, Artificial Intelligence and programming in logic (domains which I was interested in) more deeply. For some time, I studied Polish Language and Literature at the University of Gdansk, too. That inspired me to put more interest in natural, traditional linguistics.

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 the 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 was to work on verification techniques from more practical side, and to show my kids how blue sky looks. Five years, two grants, and one international move later, I'm still trying to produce something useful. As for the the blue sky, it was overrated. Mainly because it rained too much. ;-)

Photo by W.J.


Applied Security and Information Assurance Group @ University of Luxembourg Home
Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology Last modified 2021-06-16