Richard Bubel Dr. rer. nat.
work +49 6151 16-21956
bubel@cs.tu-...
Work
Hochschulstraße 10
64285
Darmstadt
Raum: S2|02 A225
Links
Mehr Informationen
I am a postdoc at the Software Engineering group.
Publications
See my list of publications or DBLP.
Research Interests
- Formal Specification
- Deductive Verification
- Automated Theorem Proving
Projects
Current Projects
Past Projects
- ALBIA as principal investigator
- EU FP7 project Envisage as associated member
- 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)
Community Services
- PC member TASE 2016, FMPSLE 2016, FTfJP 2016
- PC member FMSPLE 2013 and Bytecode 2013
- co-PC chair of the 10-th KeY Symposium (part of the workshop programme of ITP 2011)
- co-presenter at the COST IC0701--Training School 2011
- SET Division Wintermeeting 2010 (co-organiser)
- HATS Annual Meeting, Göteborg, 2009 (local co-organiser)
- COST IC0701 Action Meeting, Göteborg, 2008 (local co-organiser)
- 7th-KeY-Symposium, Göteborg, 2008 (local co-organiser)
- 5th-KeY-Symposium, Speyer, 2006 (local co-organiser)
Reviewing
Journals, Conference & Workshops (excerpt)
IFM'16, TAP'16, IJCAR'16, CPP'16, TASE'16, FMSPLE'16, 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