About Mikolas Janota

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

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet