Charlie Shucheng Zhu 朱书成
Electronic Design Automation, Formal Hardware/Software Verification, Post-Silicon Validation and Bug Localization.
Due to the increasing scale of integrated circuit design, to detect and localize bugs in modern computer chips becomes a notoriously hard problem. Without the assistance from computer and automatic algorithms, circuit debugging is "mission impossible". My research focus on facilitating the hardware debugging process with formal approaches, such as SAT formalization, integer linear programming, model checking and other decision process techniques. Meanwhile, I am also interested in software verification using formal techniques such as bounded model checking, fix point algorithm and interpolation.
Due to the increasing scale of integrated circuit design, to detect and localize bugs in modern computer chips becomes a notoriously hard problem. Without the assistance from computer and automatic algorithms, circuit debugging is "mission impossible". My research focus on facilitating the hardware debugging process with formal approaches, such as SAT formalization, integer linear programming, model checking and other decision process techniques. Meanwhile, I am also interested in software verification using formal techniques such as bounded model checking, fix point algorithm and interpolation.
Research Interests
Biographical Sketch
Ph.D Candidate in Electrical Engineering
