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
(11)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