At Radboud University, I am the coordinator and one of the lecturers of the GiPHouse courses. I am also the coordinator, and one of the lecturers, of Automated Reasoning. In addition, I supervise both Bachelor and Master projects, with a preference for projects in the area of rewriting and automated reasoning.

Automated Reasoning is a Master course in the Software Science and Mathematical Foundations of Computer Science programs. This course studies a number of ways in which computers can solve complicated problems, and teaches students using a practical assignment to use modern tools for their own practical problem solving.

GiPHouse is a unique student-run company that covers three inter-related courses:

Software Engineering is a third-year Bachelor course, taught in the spring semester. In this course, students are grouped into project teams to develop (or improve) an application for a client. The client is a real customer who will work with the team to obtain a successful end project. As a result, the projects are highly varied; some examples are listed on the GiPHouse webpage under Projects. By its nature, this course is highly practically applied. The lectures focus on good practices for software engineering that should be applied in the project, such as agile development, design principles and software testing.

System Development Management is a course in the Master program for Information Sciences, and is closely connected to the Software Engineering course; it is also taught in the spring semester. Students in SDM join the groups for SE and take responsibility for removing blockades, setting priorities and mediating with the client when plans need to be altered. They also follow lectures and have assignments aside from the main project.

Software Development Entrepreneurship is a course in the Master program for Information Sciences and Computing Science, and is taught in the fall semester. In this course, students start their own company in small teams, focused on a software product that they will create. They are expected not only to have a working product at the end of the course, but also to plan their business, manage risks and take steps to make it successful. Many of the lectures in this course are given by guest lecturers who have successfully started a business and can explain from experience.