Personal Information
Entreprise/Lieu de travail
Birmingham, United Kingdom United Kingdom
Profession
Lecturer
Secteur d’activité
Education
Site Web
birmingham.academia.edu/PeterBreuer
À propos
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')!
Mots-clés
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
Tout plus
- Présentations
- Documents
- Infographies