Haijun Gong's Homepage

Haijun Gong, Ph.D.
Postdoctoral Fellow
Phone: (412) 268-4447 (Office)

Computer Science Department
Office: Gates-Hillman Complex 9112

Email: haijung@cs.cmu.edu

Dr. Haijun Gong's research interests are within Bioinformatics, Model Checking, Machine Learning and Statistics. He is particularly interested in developing and applying Machine Learning, Statistics and Model Checking techniques for the analysis of high-throughput biological data and model verification of signaling pathways and gene regulatory network.

He is currently working on the Model Checking and Systems Biology of Pancreatic Cancer project supervised by Professor Edmund Clarke (2007 Turing Award) .

He received Ph.D. in Physics (Computational Biology Training) at Carnegie Mellon University in August 2009 advised by Professors Russell Schwartz and Michael Widom . He also received a Master degree in Statistics in May 2008 and finished all the Machine Learning core courses. I am currently looking for a tenure-track faculty position or a research-oriented company position. CV

CMU Email

Selected Publications

T. T. Wu, Haijun Gong, and E. Clarke (2011) A Transcriptome Analysis by Lasso Penalized Cox Regression for Pancreatic Cancer Survival. Journal of Bioinformatics and Computational Biology, Volume 9, Suppl. 1 [pdf]

Haijun Gong, P. Zuliani, Q. Wang, E. M. Clarke (2011) Formal Analysis for Logical Models of Pancreatic Cancer. 50th IEEE Conference on Decision and Control and European Control Conference. [pdf]

Haijun Gong, P. Zuliani, E. M. Clarke (2011) Model Checking of a Diabetes-Cancer Model. International symposium on computational models for life sciences, AIP Conf. Proc. 1371. [pdf]

Haijun Gong,Q. Wang, P. Zuliani, J. Faeder, M. Lotze, E. M. Clarke (2011) Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. ISCA 3rd International Conference on Bioinformatics and Computational Biology. [pdf]

Haijun Gong, P. Zuliani, A. Komuravell, J. Faeder, E. Clarke (2010) Analysis and Verification of the HMGB1 Signaling Pathway . BMC Bioinformatics, 11, suppl 7. Highly accessed [Best Paper Award]

Haijun Gong, P. Zuliani, A. Komuravell, J. Faeder, E. Clarke (2010) Computational Modeling and Verification of Signaling Pathways in Cancer . Algebraic and Numeric Biology (2010), Lecture Notes in Computer Science, 6479 . [pdf]

Haijun Gong, Y. Guo, A. Linstedt, R. Schwartz (2010) Discrete, Continuous and Stochastic Models of Protein Sorting in the Golgi. Physical Review E, Volume 81 [pdf]

Haijun Gong, D. Sengupta, A. Linstedt, R. Schwartz (2008) Simulated de novo Assembly of Golgi Compartments by Selective Cargo Capture During Vesicle Budding and Targeted Vesicle Fusion. Biophysical Journal, Volume 95 [pdf]

Click here for a complete list of publications.

Awards

Best Paper Award, International Conference on Bioinformatics (2010)

Honorable Mention Student Paper Award, International Conference on Information and Communication Technologies and Development (2009)

SB5.0 International Meeting on Synthetic Biology Travel Award (2011)

Systems Biology of Stem Cells Travel Award (2010)

Professional Services

Journals Reviewer: Journal of Theoretical Biology; Journal of Chemical Physics; Biophysical Journal; Mathematical Biosciences; Computers in Biology and Medicine; Journal of Molecular Modeling; Applied Physics Letters; Journal of Applied Physics; European Physical Journal; PLoS Computational Biology; International Journal of Biomathematics; Computational & Mathematical Methods in Medicine; Bioinformatics and Biology Insights.

Conference Committee Member: International Conference on Computational and Systems Biology (ICCSB), China (2010, 2011)

Chance favors the prepared mind. --- Louis Pasteur

Since 09/12/2009

Last update: 01/11/2011