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:
Any real content coming up soon? I’m patiently waiting to be wowed by your math skills.
I actually do have like 5 posts in the pipeline. If I manage to graduate this semester, I plan on finishing those up shortly thereafter.
So there.