In bioinformatics, I am developing tools for managing and studying various kinds of 'omics data, as well as tools for de novo genome assembly and NGS data processing.
In computer science, I am interested in programming languages (virtual machines, modular static analysis, code synthesis), type systems, semantic web/linked data, low-level systems programming.
I am curious about the tension at the boundaries of formal models (including but not limited to software), which arises as a result of the models' interaction with, and anchoring in, the outside world. I believe that ideas from continental philosophy might be fruitfully applied to this area.