In the first chapter of this book, I describe how mathematical modelling realises a computer-aided design vision in creating living technologies based on microorganisms. The aim here is to make synthetic biology a field of engineering rather than a purely experimental discipline based on trial and error.

A tool for examining causal patterns in biological pathways: what downstream effects does a perturbation trigger?

Automated reasoning is hard, so it is no wonder that LMMs struggle with it. Yet, automated provers are pushing the envelope for industrial applications these days. Can we achieve competitive results with analytic provers? That is what I investigate in this paper.

Our paper, accompanying our previous modeling paper, reports observations about early development in Mediterranean corals Corallium rubrum.

Our paper describes the processes that drive early colony formation in Mediterranean corals Corallium rubrum.

Check out our paper to see how epidemics spread on scale-free networks!

Our recent paper demonstrates a mechanism with which bacteria manage their resource economy. Check it out!

Our paper on analysing noise in synthetic biology applications via stochastic simulaitons is now published.

My proposal “​Understanding Coral Colony Morphology via Stochastic Modelling”​ (UNICOMS) has been accepted for the 7​th call of the ASSEMBLE Plus Transnational Access program.

James Lynch and I are editing a special issue on Computational Methods in Synthetic Biology at the MDPI Biology journal. Submissions are welcome! Please email us for any inquiries.

I talked about modelling life at TiramiScience.

I presented an abstract on our model of growth and branching in mediterranean red coral colonies at the DSABNS conference.

Elena presented her preliminary results on Signal fidelity in Escherichia coli phosphate response with synthetic promoters at the DSABNS conference.

I presented a model of growth and branching in mediterranean red coral colonies at the TPNC conference.

Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies
O. Kahramanoğulları, L. Bramanti, M. C. Benedetti
Proceedings of 8th International Conference on the Theory and Practice of Natural Computing
TPNC 2019, Kingston, Canada, December 9-11, LNCS, Springer, 2019.

Here is a video of the colony growth generated by a stochastic simulation with the model.

The paper of my invited talk at NUMTA is now in press. The slides of the talk are here.

Stochastic Mechanisms of Information Flow in Phosphate Economy of Escherichia Coli
O. Kahramanoğulları, C. Uluseker, M. M. Hancyzc
Proceedings of 3rd International Conference on Numerical Computations: Theory and Applications,
NUMTA 2019, Le Castella, Italy, June 15-21, LNCS, Springer, 2019.

Here is a video that displays the dynamic evolution of the fluxes after a sudden change in external phosphate concentration at 7000 secs into the simulation.

Our paper on growth and branching in mediterranean red coral colonies is accepted at the TPNC conference.

Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies
O. Kahramanoğulları, L. Bramanti, M. C. Benedetti
Proceedings of 8th International Conference on the Theory and Practice of Natural Computing
TPNC 2019, Kingston, Canada, December 9-11, LNCS, Springer, 2019.

We are finalizing the Living Architecture project with the final review. Check out the below video. Here is the PDF brochure as well.

I gave a talk about E. coli phosphate economy at the Italian Regional Conference on Complex Systems CCS/italy.

I gave a talk about "deep inference for proof search" at the Structures and Deduction Workshop.

I gave an invited talk at NUMTA on the stochastic analysis of our model that quantifies the phosphate economy of E. coli. Here are the slides.

I gave a talk about this paper, "On Quantitative Comparison of Chemical Reaction Network Models" at the PERR Workshop.

I gave a talk about artificial intelligence at a high school: "Possiamo fare ragionare i computer?" Here are the slides.

The paper with our results on phosphate economy is now published at the Scientific Reports Journal.