About Dr. Carsten Fuhs and this TKS episode:
Dr. Carsten Fuhs is a Lecturer in the Department of Computer Science and Information Systems at Birkbeck, University of London. In this episode of The Know Show Podcast, we talk about his background, projects, and research. We will also cover the way automation is changing programming techniques, making them helpful instead of being a burden.
A brief synopsis:
Dr. Carsten Fuhs starts by recalling his studies in computer science in Germany and Valencia. One particular area that caught his attention was the automated program verification. He then describes his research, where his goal is to improve the quality of software programs, to make the work of software developers easier. The main outcome of his research is to help programs have fewer errors, to work better, and to also reduce the costs of constantly fixing these errors.
The discussion focuses on the software that Dr. Carsten Fuhs developed with his team. He talks about the way they have developed two programs to help educate people about computer science. One program is written by the teacher, and the second one by the student. The analysis program checks whether, for all possible inputs, the two programs will have the same output. Though it provides positive results, Carsten suggests that it has some limitations. For example, it doesn’t always give an answer. He explains how this is a work in process.
He goes on to discuss computer cores, explaining what they are, and highlighting the present day problems of using more than one computing core at a time. He shows this to be a gap in research in the field of computer science, that he is addressing, and which will have benefits for both software developers and average users:
Add Your Heading Text Here
TKS take home points:
In this TKS episode, Hussain and Carsten talk about the possibilities and the benefits of automation in software development. Though the domain has some limitations, he is working hard to overcome them and offer better products. When widely applied, this research will have far reaching effects, for example, improving technical and economic processes throughout society.