Martin Lange
Martin Lange is currently a professor in theoretical computer science at the University of Kassel, Germany. His research interests include model checking and general decision procedures for logics in computer science with a focus on temporal logics. He has published more than 80 papers in international journals and conference proceedings. He received an ERC Starting Grant in 2010 and a Heisenberg professorship from the German Research Council in 2013.
Martin Lange is currently a professor in theoretical computer science at the University of Kassel, Germany. His research interests include model checking and general decision procedures for logics in computer science with a focus on temporal logics. He has published more than 80 papers in international journals and conference proceedings. He received an ERC Starting Grant in 2010 and a Heisenberg professorship from the German Research Council in 2013. See less
