About

My name is Denis Bueno, and this is my blog. I have BS and MEng degrees in computer science, and am specifically interested in programming languages (particularly functional languages), compilers, and formal methods. Currently I’m particularly captivated by fast SAT solvers and their applications.

I have written a few pieces of open source software, including:

• funsat, a SAT solver library in Haskell (download)
• fiblib, a Fibonacci heap in OCaml

Currently I’m developing a static analysis for JMatch, and contributing code to Cabal. Very slowly.