|
Research Assistant Institute of Information Science Academia Sinica 128 Sec 2 Academia Rd Taipei 115, Taiwan Office: Room 314 Phone: +886-2-2788-3799 ext 2359 FAX: +886-2-2782-4814 Email Address: chihduo.hong@gmail.com MSN: ericpony@hotmail.com |
Summary:
Research Publication Education Miscellaneous |
Automata theory, stochastic modeling, randomized algorithms.
A Symbolic Algorithm to Model Check Reachability Properties of Probabilistic Programs, Chih-Duo Hong, Yu-Fang Chen. In preparation.
Advanced Ramsey-based Buchi Automata Inclusion Testing, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holık, Chih-Duo Hong, Richard Mayr, and Tomáš Vojnar, To Appear in The 22nd International Conference on Concurrency Theory (CONCUR 2011).
Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holık, Chih-Duo Hong, Richard Mayr, and Tomáš Vojnar, The 22nd International Conference on Computer Aided Verification (CAV 2010), Lecture Notes in Computer Science, July 2010. (supplementary page)
Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification, Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frederic Haziza, Chih-Duo Hong, and Ahmed Rezine, The 21st International Conference on Concurrency Theory (CONCUR 2010), Lecture Notes in Computer Science, 2010.
M.S., Computer Science and Information Engineering, National Taiwan University (2008)
B.S., Information Management, National Taiwan University (2006)
Taipei Municipal Jianguo High School.
| 2010/01 - present | Research assistant of Dr. Yu-Fang Chen at IIS, Academia Sinica, Taiwan. (info) |
| 2010/02 - 2010/05 | Guest student hosted by Prof. Parosh Aziz Abdulla at Uppsala University, Sweden. (info) |
| 2008/11 - 2009/10 | Military service at the Coast Guard Administration. |
| 2004/10 - 2007/12 | Part-time MIS at the Computer & Information Networking Center, NTU. |
|
2003-2004 2005-2006 | Part-time IT assistant at the Computer Center of the College of Management, NTU. |
I gave a short talk at the 1st WAVAS.
I attended FLOLAC'10 and won an Extinguished Student Award.
I was an external reviewer of TASE'10, CONCUR'10, INFINITY'10 and INFINITY'11.
I was awarded a full student travel grant by FLoC'10.
Problems (ps1) and my solutions (pdf)
posted in a study group on pseudo-randomness in 2007.
(Problems that are not yet solved: ps2,ps3,ps4,ps5).
Problem set posted in course The Probabilistic Methods (2006) : 1,2,3,4,5, and my solutions : (pdf).
A presentation on derandomization at a 2006 seminar on randomized algorithms. (PPT)
Last Updated: 2011/6/28