main
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
main [2024/04/22 05:21] yfc [Recent Publications] |
main [2024/05/13 06:50] (current) yfc [Research interests] |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| * Formal Verification | * Formal Verification | ||
| + | * Quantum Programs | ||
| * Automata theory | * Automata theory | ||
| - | * Satisfibility Modulo Theory | + | * Satisfiability Modulo Theory |
| - | * Quantum Algortihms | + | |
| =====Recent Publications ===== | =====Recent Publications ===== | ||
| Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan\\ | Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan\\ | ||
main.txt · Last modified: 2024/05/13 06:50 by yfc
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
