I design and analyse programs that analyse programs. Professor in Theoretical Computer Science (Logic), TU Kaiserslautern, Germany.

ID: 569952316

linkhttps://anthonywlin.github.io calendar_today03-05-2012 12:52:58