Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Republic of China (Taiwan) |
|---|---|
| City | Taipei |
| Institution | National Taiwan University |
| Institute | Department of Electrical Engineering |
Profile
| Research fields | Electronic Semiconductors, Components and Circuits, Integrated Systems, Sensor Technology, Theoretical Electrical Engineering,Software Engineering and Programming Languages |
|---|---|
| Keywords | quantified Boolean formula (QBF), verification, satisfiability (SAT), synthesis, dependency quantified Boolean formula (DQBF) |