Groups with prescribed finiteness properties

The first group known to be finitely presented but having infinitely generated 3rd homology was constructed by Stallings. Bieri extended this to a series of groups G_n such that G_n is of type F_{n-1} but not of type F_n. Finally, Bestvina and Brady turned it into a machine that realizes prescribed finiteness properties. We will discuss some of these examples.