About

I like to write. Whether it is writing poetry, short stories, essays, a mathematical proof, or coding a bit, it does not really matter to me. My published software projects can be found on GitHub. The point of this site, on the other hand, is to share some of my readable ideas with the world, although I have no expectations anyone will ever read them. Take it as my public notebook.

Right now I am not focused on anything particular besides finishing my studies at FI MUNI. When it comes to computer science, I am mostly interested in automata theory. My three programming languages of choice would be Haskell, Javascript and C++ (in order). Recently I've grown very fond of logic, proof checking and Coq.

Overall, my interests are too broad, sometimes I wish it was to the contrary. More information can be found in my CV. If you had been intrigued by what I do, an unlikely event happened and I would be more than glad to hear from you! Just drop me an e-mail or tweet me @fiedlr.

Adam Fiedler - Portrait

Go up