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

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

Marcel Walter

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.
Sat 11:20 pm - 12:00 am