Ich beschäftige mich mit HDL-basierter Synthese von neuartigen In-Memory Computerarchitekturen, bei denen Datenverarbeitung in persistenten Speicherelementen stattfindet. Dabei konzentriere ich mich auf effiziente Synthese auf hoher Abstraktionsebene und formale Verifikation der resultierenden Implementierung.