Jeremy Siek

There are many different styles of operational semantics but my favorite is not very well known. Hence this post. While in graduate school,...

Euclid's algorithm for computing the greatest common divisor of two integers is beautiful because it is extremely simple and also captur...

Induction, in one form or another, is the main tool that computer scientists use to prove properties of the systems that they build. Inducti...