Richard Bubel

I am a postdoc at the Software Engineering group. My contact details can be found here.

Publications

See my list of publications.

Research Interests

Software specification and verification, logics and automated theorem proving

Projects

I am currently involved in

  • ALBIA as principal investigator
  • KeY as project member and main developer

Past Projects

 

  • EU-FP7 project HATS as project coordinator (working for scientific coordinator Prof. Dr. R. Hähnle) and researcher
  • COST IC0701 as regular participant of meetings, conferences (no official role)

 

Activities

Reviewing

Journals, Conference & Workshops

SOSYM, LOPSTR'12, ITP'12, IJCAR'12, WING'11 (journal), TACAS'11, FM'11, FOVEOOS'10, LPAR-16, VERIFY'10, VMCAI'10, CADE'09, ECOOP'09, FMCO'09, TABLEAUX'09, TAP'09, WING'09 (journal and workshop) and many more

Software Engineering Group
A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact
zum Seitenanfangzum Seitenanfang