Peter Breuer

5 Followers

Peter Breuer (that's me!) is a mathematician, engineer and computer scientist. This page collects together some of the papers and ongoing projects that I naively think might be of interest to passers-by. As you can see, I'm more interested in substance than window dressing/awards for organizational skills! Do contact me if there's anything you see here that you'd like to converse about. The page at http://birmingham.academia.edu/PeterBreuer is where you'll find almost all of my past publications, including those posted here, plus some nearly-papers from the future (under `drafts' and `notes')!

computer science formal methods linux kernel open source verification software engineering computer security vhdl vhdl-ams programming languages web patterns statistics citations encryption process algebra hardware specification xml abstract interpretation high availability software process certification software development process homomorphic encryption processor design