Difference between revisions of "People:Marc Brockschmidt"
From Termination-Portal.org
Jump to navigationJump to search (Created page with "<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel...") |
(No difference)
|
Latest revision as of 14:34, 11 April 2011
Marc Brockschmidt
- Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
- home page: http://verify.rwth-aachen.de/brockschmidt/
- email: mailto:brockschmidt@informatik.rwth-aachen.de