Johannes Hartmann is a young Professional Research Student with a BSc degree in Medical Informatics, MSc in Software Engineering and currently undertaking a DPhil in Computer Science at the University of Oxford. He has great interest in software development and programming languages and he is currently working on algorithm design with the selection monad.
Ever wondered what the selection monad is and how it can be useful to programmers? In my talk I want to provide a basic intuition on how the selection monad can be used and how we can utilise it to implement different kinds of algorithms. We will see that exhaustive search and greedy algorithms work quite well together with the selection monad.