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 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. ;-)

Photo by W.J.


Formal Verification Group @ Polish Academy of Sciences Home
Computational Intelligence Group @ Clausthal University of Technology Last modified 2018-03-21