You can find a list of research topics in the area of logics and formal methods here. There are also some student topics listed on the LATIN trac. Lists on my homepage tend to be outdated and incomplete. You can always ask me for more topics. I'm also available to custom-fit topics to students. Especially good students should contact me directly if they are interested in more challenging topics where they can actively contribute to research and that can lead to publications.