Recent Projects
Some of the recent stuff I have been working on:
Trajectory similarity
Given two trajectories we would like to determine how similar they are. We want a measure that is continuous, i.e. it considers the whole trajectories instead of just the vertices.
Trajectory grouping structure
Given a set of trajectories we would like to build a data-structure that can answer questions like ``what are the largest groups at time t''. A subset of entities is a group on [s,t] when they travel together from time s to time t.
Geographic Grid Embeddings
My master project at the TU/e; we study a approach for visualising data with a geographic component. Given a map with regions, and a number of data attributes for each region, we wish to display the data such that we can easily compare the data values for multiple regions. At the same time we would like to get an overview of the geographical distribution of the data. Our geographic grid embedding represents the map by a regular grid in which spatial relations between the regions are preserved. Take a look at some of the pretty pictures
Streams and Stream Equality in Coq
As a part of the ``Design and Analysis of systems'' course at the TU/e I added some additional support for Streams or infinite lists in the Coq proof assistant. New stuff includes some syntactic sugar for writing down streams, but most importantly: a bunch of tactics that allow you to automatically prove stream equalities. You can find the stuff here.
Directional Relations
The topic of one of my Honors-projects (together with Kevin Buchin, Bettina Speckmann, Vincent Kusters, and Bogdan Vasilescu). Given two regions (polygons in the plane) A and B, compute the directional relation of B with respect to A. We develop a sweepline algorithm to compute such directional relations. If you want to help, consider filling out the Directional-Relations survey!