Dr. Daniel Grosse

Senior Researcher @ AGRA - University of Bremen
Scientific Coordinator of Graduate School SyDe
Senior Researcher @ DFKI Cyber-Physical Systems

Find out more

Research Interests


  • Electronic Design Automation (EDA)
  • Modelling (UML, SystemC, (System)Verilog, VHDL)
  • Transaction Level Modeling (TLM)
  • Simulation-based verification (UVM, Constrained Random Simulation)
  • Formal verification (Model Checking, Equivalence Checking)
  • (Functional) coverage
  • Automated debugging
  • Approximate Computing
  • Algorithms and data structures (SMT, SAT, BDD)
  • New technologies (Reversible Logic, Quantum Computation)

Publications


Diploma Thesis

Dissertation

Books

Book Contributions

Journals

Conferences

Workshops

Others

Professional Service (selected)

Published Software

Contact


Let's get in touch!

+49 421 218 - 63935