Personal Information
Organização/Local de trabalho
Birmingham, United Kingdom United Kingdom
Cargo
Lecturer
Setor
Education
Sobre
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')!
Marcadores
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
Ver mais
- Apresentações
- Documentos
- Infográficos