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: