Research Blog

  1. Just a quick counterexample.

  2. Some notes on our paper "Separation and renaming in Nominal Sets."

  3. What does it really mean when something is not a monad, and should we care? Specifically, I will look at nondeterminism and probabilistic choice.

  4. Solving the parameter synthesis problem with a gradient descent. Or; computing the derivative of a parametric weighted automaton.

  5. In my previous post, I defined parametric weighted automata, which are WFAs where we allow parameters on transitions. Can we use L* to learn the structure of these automata?

  6. I moved to Aachen for a post-doc on probabilistic programs. This means that I am learning about new, exciting topics. I will collect notes on this blog, as they may be useful to others. One of the research lines here is that of parametric Markov chains. This post shows how to use weighted automata in this context.

  7. The Communications of ACM recently published an article on automata learning in software engineering. The techniques described in the article are used to obtain models for the behaviour of software. Even without access to source code, one can now use model checking or other bug finding tools on these models. The article shows many successful applications. Why is this possible at all?

  8. Other Posts

  9. A quickstart for headless Raspbian setup with shairport and WiFi.

  10. Yesterday there was Sound of Science, an cultural event at the Radboud University in Nijmegen. People from the event asked me to present my app Gravity Beats there, because it is about sound and a bit about gravity ;-). Instead of just showing my iPad app, I wanted something more, so I created a collaborative version in which multiple users could draw the lines.

  11. It involved procedurally generated planets, cows (with home-made sound) and explosions!

  12. The app I made in the last two months has been approved by Apple. So you finally can play around with it on your own iPad; get it from the Appstore!

  13. This year something cool; every month we will release a game (or something which looks like a game), together with Astrant.

  14. I just released a new app; Get it on the Appstore. It is a gimmick drawing app, based on some fancy OpenGL shaders I created for the desktop.