Bing Liu

Postdoctoral Fellow
Computer Science Department
Carnegie Mellon University

Address: GHC 9116, 5000 Forbes Ave, Pittsburgh, PA 15213
Phone: (412) 268-4859
Email: liubing[AT]


I received PhD in Computational Systems Biology under the supervision of Profs P.S. Thiagarajan and David Hsu in NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore. Currently, I am working with Prof Edmund M. Clarke (Turing Award 2007) as a Postdoctoral Fellow in Department of Computer Science, Carnegie Mellon University. [CV]


My research area centers on computational systems biology. I develop computational modeling, simulation and analysis techniques to study the dynamics of biological systems. As an integral part of my research, I collaborate with a number of biologists and clinicians to study a variety of crucial biological processes related to human immunity and cancer. I also leverage high-performance computing, formal verification, and machine learning techniques to enable the analysis of multi-scale multi-cellular systems. Furthermore, I am applying the techniques I have been developing to analyze cyber-physical systems that are ubiquitous in safety-critical applications. [More]


In Preparation

Conference Abstracts/Posters




PADA: a PAthway Dynamics Approximator, which can approximate the dynamics of ODE-based biopathway models using dynamic Bayesian networks. It supports System Biology Mark-up Language (SBML) format and multiple platforms.

PADA-GPU: a GPU-based implementation of PADA. It supports the NIVIDA Tesla 2.0 (Fermi) platform.

SLIME: a Stored and LIve Media Editor written in Tcl/Tk.


Professional Services

Editorial Board Member:
Computers in Biology and Medicine
Journal of Bioinformatics, Computational and Systems Biology
Austin Journal of Lung Cancer Research

Conference Program Committee Member/Organizer :
The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI'15), Bayonne/Biarritz, France, 2015.
Workshop on Signal Processing, Image Processing and Pattern Recognition (SIPR’15), Kochi, India, 2015
The 3rd NUS-U.Tokyo Joint Workshop on Computational Systems Biology, Singapore, 2011.
The 2nd NGS Student Symposium, Singapore, 2009.
The 1st NUS-U.Tokyo Joint Workshop on Computational Systems Biology, Singapore, 2008.

Reviewer of Journals:
Nature Scientific Reports
PLoS One
Chaos: An Interdisciplinary Journal of Nonlinear Science
Journal of Theoretical Biology
Computers in Biology and Medicine
Journal of Bioinformatics and Computational Biology
Theoretical Computer Science
International Journal of Biomedical Science
ACM Transactions on Modeling and Computer Simulation
LNCS Transactions on Petri Nets and Other Models of Concurrency
International Journal on Software Tools for Technology Transfer
Journal of Clinical Diagnosis and Research
American Journal of Medical and Biological Research
Austin Journal of Proteomics, Bioinformatics & Genomics

Reviewer of Conference Proceedings:
ACM Conference on Bioinformatics, Computational Biology and Biomedicine (ACM-BCB)
International Conference on Computational Methods in Systems Biology (CMSB)
International Conference on Computer Aided Verification (CAV)
ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Workshop on Biological Processes and Petri Nets (BioPPN)
International Conference on Genome Informatics (GIW)
International Conference on Artificial Intelligence Applications and Innovations (AIAI)
International Conference on Biomedical Engineering and Biotechnology (ICBEB)
International Conference on Systems Biology (ISB)
Translational Bioinformatics Conference (TSB)



My Erdös number is 4.

              ➚ David Hsu    ➙     Rajeev Motwani   ➙   Yoshiharu Kohayakawa ➘
Bing Liu ➙ Edmund M. Clarke ➙ Robert P. Kurshan ➙ Andrew M. Odlyzko ➙ Paul Erdös
              ➘ P.S. Thiagarajan   ➙   Rohit J. Parikh   ➙   Melvyn B. Nathanson ➚

Page last modified on December 11, 2013, at 01:18 AM