Generate a tailored SOP for Dr. Peter Achten. Improve your application with a focused, well-structured draft.
Peter Achten is an Assistant Professor in Software Science at Radboud University. His research interests include functional programming languages, particularly their applications in solving real-world problems. He focuses on high-level specifications for interactive applications and is currently working on the iTask system, which enables the development of interactive systems in a concise manner by allowing users to manipulate application logic through classic GUI toolkits. His work also involves the Task Oriented Programming (TOP) paradigm, designed to enhance research activities within the iTask framework. Peter is interested in verifying interactive applications using equational reasoning for proving properties of functional programs. He explores testing techniques to verify the properties of interactive programs and how formal artifacts of functional programs can be communicated effectively to end-users and stakeholders. In teaching, he has developed the Soccer-Fun framework, a functional language library aimed at enhancing functional programming education, allowing users to create and manage teams of football players in a collaborative environment.
Radboud University • Nijmegen, Netherlands
Teaching and conducting research in Software Science, focusing on functional programming and interactive applications.
Applies to Research Master's in Linguistics and Communication Sciences (Centre for Language Studies/Department of Language and Communication).