aplatzer Goto Github PK
Name: André Platzer
Type: User
Company: Karlsruhe Institute of Technology
Bio: Alexander von Humboldt Professor at Karlsruhe Institute of Technology leading Logical Systems Lab at Carnegie Mellon University
Blog: https://lfcps.org/