Juri Kolčák

About Me

I am computer scientist working with complex systems in chemistry and biology, currently a member of the algorithimic cheminformatics group at Bielefeld University. I am interested in formal specification and verification, concurrency, abstract interpretation and the study of complex systems in general, but I get easily excited for many a challenge.