Dear COSEAL members,
my name is Cedric Richter and I am a PhD student working in the group "Specification and Modelling of Software Systems" at Paderborn University.
Similar to the AutoML setting, there exists a plethora of verification techniques to proof the correctness of software. However, for someone who is not a domain expert
it is hard to tell which verification technique should be applied to which problem. Therefore, my research interest is algorithm selection tailored for software verification
with the goal to make effective verification accessible for the broader public.
I joined the group to find people with shared interests and exchange experience in the domain of algorithm selection and configuration.