About Mikolas Janota

I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods.

Lists

Timeline

{username} has no activity yet