Dr. Daniel Große
| Address |
MZH 3460 Arbeitsgruppe Rechnerarchitektur FB 3 - Mathematik und Informatik Universität Bremen 28359 Bremen |
| Phone | +49 421 218 - 63935 |
| Fax | +49 421 218 - 98 63935 |
| grosse@informatik.uni-bremen.de | |
| Web | www.daniel-grosse.de www.solvertec.de |
| PGP | Public key |
| Publications | HTML DBLP The Collection of Computer Science Bibliographies |
| Published Software | www.systemc-verification.org metaSMT RevLib |
| Selected Professional Activities |
FDL 2012 Program Committee Member MEMOCODE 2012 Program Committee Member DATE 2012 Technical Program Committee Member IWSBP 2012 Program Committee Member CPMNS 2012 Program Committee Member FDL 2011 Program Committee Member DATE 2011 Technical Program Committee Member MTV 2011 Program Committee Member CFV'11 Program Committee Member CPMNS 2011 Organisator and Program Committee Member FDL 2010 Program Committee Member MTV 2010 Program Committee Member IWSBP 2010 Program Committee Member FDL 2009 Program Committee Member IWSBP 2008 Program Committee Member |