Martin LangeMartin 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. e 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. Read More Read Less
An OTP has been sent to your Registered Email Id:
Resend Verification Code