Sept. 29, 2023, 9:36 a.m.
This is a kind of application of model theory (in mathematical logic) to problems around theoretical mathematical biology and related areas. Via "compartmental models", there exist standard ODE systems which model many real processes. These systems involve some real or complex parameters which one would like to determine from the observed input and output data. I will discuss various obstructions as well as positive solutions to this program. And also, if time permits, I will discuss the issue of reparametrization, where a system is replaced by an equivalent one in which the parameters are suitably identified. I will focus on the qualitative rather than algorithmic aspects of the results.
On behalf of the Dean of the Faculty, we cordially invite employees and students to the faculty seminar, which will take place on Tuesday, October 3 at 12.30 (Institute of Computer Science, room 119). The speaker will be prof. Anand Pillay, from the University of Notre Dame, who will held a lecture on
Structural identifiability, differential algebra, and model theory.
Before the lecture, at 12:00 The Dean invites you for coffee and cookies.