Research Engagement for Bachelor's and Master' Students
I am looking for motivated student collaborators! Would you like to dig deeper into some of the modern topics in computer science? Do you enjoy learning new things? Would you like to try to contribute to the body of scientific knowledge? If yes, then read on!
My research focuses on verification and analysis of systems that exhibit probabilistic behaviour. Such systems prominently appear particularly in the field of artificial intelligence (AI), but also in other domains, such as privacy & security, operations research, and bio-informatics.
There is a wide range of student research opportunities within this field. Maybe you could be interested in an implementation work, where your task would be to write a prototype tool based on our research and experimentally evaluate it on suitable benchmarks. Or, on the other side of the spectrum, you might enjoy to do mathematics and prove theorems. Both of these types of projects are available within my research, as well as combinations thereof. No previous research experience is necessary: diligence and willingness to learn new things are crucial.
There are several ways of joining my research. First, you can have a look at the Bachelor's and Master's thesis topics below. Those that are directly related to some of my ongoing research projects are marked by an asterisk (*). Second, if you do not find exactly the topic that would suit you or you would like to explore further possibilities, just get in touch with me and we can discuss suitable topics.
Last but not least, funding is available for participants on my research project "Verification and Analysis of Probabilistic Programs." In addition, depending on the precise topic there is a possibility of short-term research internships at select institutions (IST Austria, UT Austin,...).
Bachelor's and Master's Thesis Projects
A list of thesis topics that I currently offer can be found below or in the university information system.
Most of the topics allow for scaling to both Bachelor's and Master's levels. The thesis language is negotiable (Czech, Slovak, English).
The list is not meant to be exhaustive — I am open to discussing other project ideas related to these topics or to my general research interests.
If you are interested in doing a thesis under my supervision, let me know; I'll be happy to answer your questions and clarify the details.
Links to particular topics: