Haijun Gong

Postdoctoral Fellow
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

Office: 9112 Gates-Hillman Complex
Phone: (412) 268 4447
Email: haijung AT andrew.cmu.edu, OR, haijung AT cs.cmu.edu

  • My research interests include model checking of cellular signaling pathway, simulatoin of molecular biology of cancer, machine learning and statistics.

  • I am currently working on the Pancreatic Cancer & Model Checking projects supervised by Edmund Clarke and James Faeder.

  • I obtained my Ph.D. in Physics in August 2009 from Carnegie Mellon University. My PhD advisors were Russell Schwartz and Michael Widom
    • .

    Email System

    Andrew Webmail CS Webmail Pitt Webmail

    I will join the Saint Louis University as a tenure-track assistant professor in the Department of Mathematics and Computer Science in August 2012.

    Publications

  • A Transcriptome Analysis by Lasso Penalized Cox Regression for Pancreatic Cancer Survival", Journal of Bioinformatics and Computational Biology, (GIW-2011, Korea) (2011)

  • Formal Analysis for Logical Models of Pancreatic Cancer, 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando (2011)

  • Model Checking of a Diabetes-Cancer Model, 2011 International Symposium of Computational Models for Life Sciences (CMLS 2011)

  • Symbolic model checking of signaling pathways in pancreatic cancer, Proceedings of 3rd international conference on bioinformatics and computational biology (BICoB 2011)

  • Analysis and Verication of the HMGB1 Signaling Pathway, BMC Bioinformatics (2010)

  • Computational Modeling and Verification of Signaling Pathways in Cancer, Proceedings of Algebraic and Numerica Biology (2010)

  • Improving Child Literacy in Africa: Experiments with an Automated Reading Tutor, (Extended version of ICTD 2009), Information Technologies and International Development (2010)

  • Discrete, continuous and stochastic models of protein sorting in the Golgi. Phys. Rev. E (2010)

  • Simulated de novo assembly of Golgi compartments by selective cargo capture during vesicle budding and targeted vesicle fusion. Biophysical Journal (2008)

  • Improving Child Literacy in Africa: Experiments with an Automated Reading Tutor ICTD (2009) ICTD (2009) Ghana

  • Phenomenological Analysis of Charmless Decays B -> PV with QCD Factorization. Phys. Rev. D (2002)

  • Analysis of Ds -> \pi \phi beyond naive factorization. High Energy Physics & Nuclear Physics (2002)

  • Phenomenological Analysis of B -> PP decays with QCD Factorization, Phys. Rev. D (2002)

    Professional Service

    Reviewer for journals: Journal of Molecular Modeling; Computers in Biology and Medicine; Journal of Chemical Physics; Applied Physics Letters; Biophysical Journal; Journal of Applied Physics; European Physical Journal; Computational and Mathematical Methods in Medicine; Journal of Theoretical Biology; International Journal of Biomathematics, Biological Conservation.

    Education

    top

    Chance favors the prepared mind. --- Louis Pasteur

    Free Web Counter
    Since 09/12/2009