580 California St., Suite 400
San Francisco, CA, 94104
Key research themes
1. How can Boolean network models be enhanced for more accurate qualitative representation of biological systems?
This line of research investigates how classical Boolean networks, which are inherently limited to binary variable values, can be improved to capture finer details of biological phenomena with minimal quantitative data. Enhancements include adopting continuous logical operators, tuning edge influences, and incorporating multi-node and self-interactions. These models aim to better reflect the nuanced dynamics of biological networks such as signaling pathways and gene regulation, maintaining computational tractability while providing richer descriptive power.
Key finding: Demonstrated that replacing Boolean operators with continuous fuzzy logic operators allows variable states to range over [0,1], providing finer qualitative quantification of biological network dynamics. Additionally, edge... Read more
Key finding: Introduced a bipartite Boolean network formulation incorporating self-regulatory interactions and multi-node influences, overcoming analytical challenges due to memory effects caused by self-interactions. By applying an... Read more
Characterizing short-term stability for Boolean networks over any distribution of transfer functions
Key finding: Established a comprehensive formula using Fourier analysis to predict short-term stability (quiescence vs. chaos) of Boolean networks under arbitrary transfer function distributions, beyond balanced or i.i.d. assumptions.... Read more
2. What are efficient methods for learning or synthesizing Boolean networks and functions from data, and how can their structure be reverse-engineered?
This research theme explores algorithmic and computational frameworks for deriving Boolean networks and constituent Boolean functions from empirical or observational data. It addresses challenges such as combinatorial explosion in parameter space, noise in measurements, and the need for parsimonious representations. Methodologies leverage information theory (optimal causation entropy), satisfiability solving (Answer-Set Programming), canalizing structure identification, and decompositional reasoning. Efficient synthesis enables both the recovery of network topologies and dynamical rules, as well as the design of interpretable rule sets from complex models like neural networks.
Key finding: Developed BoCSE, an algorithm based on optimal causation entropy that efficiently infers both the network structure and Boolean functions from observational data, drastically reducing combinatorial complexity. Their iterative... Read more
Key finding: Presented an Answer-Set Programming (ASP) framework for synthesizing Boolean networks by encoding dynamical constraints including positive and negative reachability and attractors derived from partial time-series data. The... Read more
Key finding: Proved that identifying the canalizing layers of Boolean functions is NP-hard and proposed specialized algorithms to extract the canalizing layering structure uniquely representing nested canalizing functions. These... Read more
Key finding: Introduced the DEXiRE tool that approximates deep neural networks with binarized neural networks to extract interpretable Boolean rules from multi-layer models. By binarizing hidden layers into Boolean functions and... Read more
3. How do Boolean networks serve as computational frameworks to model dynamic biological behaviors and evolutionary learning under regulatory complexity?
This theme addresses the use of Boolean networks as models capturing the dynamics of gene regulation, signal processing, and cell state transitions. It covers theoretical analyses of network stability, attractor structures, and evolution of function under perturbations. Studies focus on reservoir computing capabilities of Boolean networks, evolutionary advantages of network topologies (e.g., scale-free hubs with oscillations), and statistical mechanics perspectives relating network attractors to biological phenotypes such as cell types. Insights contribute to understanding robustness, adaptability, and modularity in biological systems through Boolean abstractions.
Key finding: Demonstrated that Boolean network reservoir computers exhibit tunable computational flexibility depending on parameters like size, connectivity, and in-degree. The critical regime with in-degree K=2 optimizes approximation... Read more
Key finding: Discovered that scale-free Boolean networks subjected to periodic oscillations at hub nodes can evolve more rapidly to learn distinct target functions corresponding to oscillation periods, termed resonant learning. Forced... Read more
Key finding: Reviewed and extended the statistical mechanics framework showing that dynamical attractors of random Boolean networks model cell types, with critical ensembles representing biologically relevant systems. Presented updated... Read more
Key finding: Utilized Formal Concept Analysis on Boolean network steady states to classify and hierarchically organize biological phenotypes via their signature patterns. Applying this to T-helper cell differentiation networks, their... Read more