SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies

Marcel Walter received his Master’s degree in Computer Science from the University of Bremen, Germany, in 2016. He is currently in the final stage of pursuing a Ph.D. degree with the Research Group of Computer Architecture at the same university. His research interests include formal methods and algorithm design for emerging post-CMOS technologies. He is the initiator and maintainer of the “fiction” framework for design automation of Field-coupled Nanotechnologies.