https://www.bayerischer-schwimmverband.de/news/bsv-ehrt-jan-hoffmann-mit-der-brozenzen-ehrennadel/
BSV ehrt Jan Hoffmann mit der bronzenzen Ehrennadel
jan hoffmannbsvehrtmitder
https://www.cs.cmu.edu/~janh/projects/04_synthesis/
Jan Hoffmann | ReSyn
Jan Hoffmann, Associate Professor of Computer Science at Carnegie Mellon University. Research interests: programming languages and verification
jan hoffmann