Qinsi Wang

Computer Science Department
School of Computer Science
Carnegie Mellon University

Address: GHC 9129, 5000 Forbes Ave, Pittsburgh, PA 15213
Email: qinsiw [at] cs.cmu.edu

About


I am a postdoctoral researcher in the group of Prof. Jean Yang at Carnegie Mellon University. I received my PhD in Computer Science at CMU under the supervision of Prof. Edmund M. Clarke (Turing Award 2007) in Sep 2016. My research interest is to develop formal specification and verification techniques for real-world systems with the emphasis on statistical model checking for models of biological signaling networks, and stochastic SMT-based methods for stochastic hybrid systems. I am also interested in combining model checking techniques with machine learning methods for the study of biological systems. Here is my CV.


Recent News



Research


Publications

In Preparation

Theses

Software

KaStat: a statistical analyzer for Kappa models. Currently, it carries out the types of analyses: estimating the probability of a certain type of influence between two given Kappa rules, and outputting the causal core that contributes most to the existence of the influence between the given Kappa rules.

SReach: a bounded model checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with additional randomness.

GhostMap: a crowd-sourced, online game for formal analysis of the correctness of C programs.

BioCheck+: a biological modeling and analyzing tool that illustrates signaling pathways and checks cellular properties.

MITLCon: a convertor from Real-Time Temporal Logic to Timed Automata.

CATV/LTL: a Linear Temporal Logic (LTL) model checker for Timed Automata.

ARDM_VG: an analyzer of association rules at various granularity levels.

Grant Support

Conference Talks and Posters

Professional Services

PC Co-Chair or Member of Conferences:
The 13th International Conference on Advanced Data Mining and Applications (ADMA17) - PC member
The 8th International Workshop on Static Analysis for Systems Biology (SASB17) - PC member
The 12th International Conference on Advanced Data Mining and Applications (ADMA16) - PC member
Workshop on Formal Methods for Biological and Biomedical Systems - FMBBS16 - PC co-chair

Reviewer of Journals/Conference Proceedings:
The 13th International Conference on Advanced Data Mining and Applications, 2017
The 8th International Workshop on Static Analysis for Systems Biology, 2017
Theoretical Computer Science Journal, Elsevier, 2017
Information Sciences Journal, Elsevier, 2017
The 12th International Conference on Advanced Data Mining and Applications, 2016
4th International Workshop on Hybrid Systems Biology (HSB 2015)
Computational Studies of Immune System Function, Computational Biology, 2014
11th International Conference on Quantitative Evaluation of Systems (QEST 2014)
International Conference on Computer Aided Verification (CAV 2013)
Mathematical Tools of Soft Computing, Mathematical Problems in Engineering, 2013
50th IEEE Conference on Decision and Control & 11th European Control Conference (CDC-ECC 2011)

Conference Volunteers:
15th Asia-Pacific Software Engineering Conference (APSEC 2008), Beijing, China, December 3-5, 2008
1st International Conference on Advanced Data Mining and Applications (ADMA 2005), Wuhan, China, July 22-24, 2005.


Education


Coursework at CMU


Teaching and Working Experience


Scholarships, Awards, and Honors