1.Previous
3.Next

tools and theories for the construction and analysis of reliable, efficient, and maintainable software. He pays particular attention to the human factor and the role of AI in programming and software development. He primarily conducts basic research with a strong emphasis on interdisciplinary

1.Previous
3.Next