Registered user since Thu 15 Dec 2016
Michael Hanus studied computer science at the University of Dortmund and received his Ph.D. in 1988. He had research positions at the University of Dortmund, University of Bielefeld, and the Max-Planck Institute for Informatics in Saarbrücken, before he became professor at the RWTH Aachen. Since 2000 he is full Professor of Computer Science at the Kiel University where he leads the research group on Programming Languages and Compiler Construction.
His research activities are mainly concerned with the integration of functional and logic programming languages, the design and implementation of declarative programming languages, type systems for logic languages, analysis and verification techniques for declarative programs, programming environments and applications of declarative programming. He has published more than two hundred papers on these topics in international conference proceedings, journals and books. He was the PC chair of more than a dozen conferences. He is involved in the design, implementation, and application of the multi-paradigm declarative language Curry where he had several nationally and internationally funded research projects.
Contributions