On November 8th, Linus Witschen, a member of our working group, defended his dissertation on “Frameworks and Methodologies for Search-based Approximate Logic Synthesis”. In his work, which was evaluated with distinction, Linus made several novel contributions to the synthesis of approximate circuits at the logic and component level. Moreover, he presented CIRCA, a modular and extensible framework for approximate circuit generation, that allows for the implementation and comparison of iterative, search-based approximation methods. We would like to congratulate him on graduating and wish him all the best for the future.
