I do research on specifying and implementing programming languages and their tools.
I used to publish with two surnames: Bach Poulsen. After marrying, I kept one: Bach.
I recently joined ACP at IMADA, SDU. I used to be a part of the PL Group at Delft University of Technology, where I remain affiliated.
For more, follow the links below, or use the menu button in the top right.