Senior researchers
Researchers and lecturers
PhD Students
Type-safe parallelization
Machine learning algorithms
Logic programming