Bow-Yaw Wang


Research Fellow
Institute of Information Science
Academia Sinica
128 Sec 2 Academia Rd
Taipei 115, Taiwan

Email: bywang at iis sinica edu tw

Office: Room 717
Phone: +886-2-2788-3799 ext 1717
FAX: +886-2-2782-4814

Here is my resume,


Publications


Teaching:

  1. Introduction to Computational Logic, Fall 2013.

Links:

  1. Research:
    1. Programming Language Research Page at CMU
    2. Theory of Computation and Related Areas
    3. Linear Logic Page
    4. Researchers in Programming Languages and Compilers
    5. Theoretical Computer Science on the Web
    6. Petri Nets Page
    7. CiteSeer Library
    8. Computer Science archive at lanl
    9. Mathematics archive at lanl
    10. Networked Computer Science Technical Reports Library
    11. SEL-HPC Article Archive
    12. Computer Science Bibliography Glimpse Server
    13. Mocha Home Page
  2. Computer:
    1. Functional Programming FAQ
    2. Catalog of Free Compilers
    3. Standard ML Page
    4. Haskell Page
    5. Scheme Page
    6. Objective Caml Page
    7. Fresh Meat
    8. OS X Fresh Meat
    9. Slash Dot
  3. Others:
    1. Academia Sinica Library
    2. Logic and Computation Group at Penn
    3. Penn Library Catalog
    4. Google
    5. CNN
    6. Washington Post
    7. New York Times
    8. The Philadelphia Inquirer
    9. Mercury News
    10. Taipei Times
    11. Liberty Times
    12. New Taiwan Weekly
    13. The Times
    14. The Independent
    15. Amazon Homepage
    16. English Server at CMU
    17. Hubble Space Telescope News

Bow-Yaw Wang (bywang at iis sinica edu tw)