Added Boogie, STP and whole program LLVM as projects that I work on.
Alphabetically order projects.
Added Engineering a Static Verification Tool for GPU Kernels as a
publication. This is kind of a hack and I need to implement a proper
template for this so adding publications is easier.
Update PhD year.