NTHRYS › PhD Assistance › Ai Gene Therapy

Ai Gene Therapy

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Probabilistic Programming Gene Circuit Verification

Using probabilistic programming languages to formally verify correctness properties of engineered gene circuits.