Homepage Sitemap Contact




Home « Research « Projects
» CirroStrato
Logo

Logo

The project is about novel reconfigurable transistors for the know-how protection of electronic components.

Contact: Prof. Dr. Rolf Drechsler, Dr. Sebastian Huhn
 
» OptiSecure
Logo

DFG | Securing Nano-Circuits against Optical Probing

Contact: Prof. Dr. Rolf Drechsler
 
» Reinhart Koselleck-Projekt
Logo

DFG funds Reinhart Koselleck's PolyVer project for provably fast verifiable electronic circuits

Contact: Prof. Dr. Rolf Drechsler
 
» Scale4Edge
Logo

Logo

In this project a commercial ecosystem for edge computing platforms based on the RISC-V instruction set architecture is developed.

Contact: Prof. Dr. Rolf Drechsler, Dr. Vladimir Herdt
 
» VerA: Fully Automatic Formal Verification of Arithmetic Circuits
Logo

The goal of the VerA project is the fully automatic formal verification of arithmetic circuits at the gate level.

Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 
» PLiM „HDL-based Synthesis and Verifcation for Programmable Logic-In-Memory Architecture“
Logo

The goal of the PLiM project "HDL-based synthesis and verification for programmable logic-in-memory architecture" is to find an HDL-based synthesis approach for a logic-in-memory architecture.

Contact: Prof. Dr. Rolf Drechsler, Saman Fröhlich
 
» Highly flexible material synthesis and microstructure adjustment through combined laser deposition welding and short-term heat treatment for high-throughput materials development
Logo

This project aims at developing the data management for the semantic storage of all relevant process parameters as well as metadata. Furthermore, the interfaces for dynamic process control are developed.

Contact: Prof. Dr. Rolf Drechsler, Dr. Sebastian Huhn
 
» NŒRDMAN
Logo

NŒRDMAN - a Webcomic about Technology, Nerds and Northern Germany.

Contact: Rolf Drechsler
 
» Collaborative Research Center 1320: EASE – Everyday Activity Science and Engineering
Logo

Logo

EASE is a interdisciplinary Collaborative Research Center (CRC) at the University of Bremen that investigates everyday activity science & engineering. Our group is involved in the second research area and investigates the formalization and verification of plans.

More information are available at:
http://ease-crc.org


Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 







Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE