Personal work on computer science theory and practice