Theoretical Computer Science
Linear Logic and its applications to design and evaluation of functional programming languages.
Algorithmic Number Theory
Representation of real numbers in non-integer bases. Pisot Numbers and their properties.
Computational Methods in Systems Biology
Genetic Networks. Characterization of Limit Cycles. Immune System Simulation.
I borrow a possible description of algorithmic number theory from the presentation flyer of the book by Eric Bach and Jeffrey Shallit:
Algorithmic number theory represents the marriage of number theory with the theory of computational complexity. It may be briefly defined as finding integer solutions to equations, or proving their non-existence, making efficient use of resources such as time and space. Implicit in this definition is the question of how to efficiently represent the objects in question on a computer.
The problems of algorithmic number theory are important both for their intrinsic mathematical interest and their application to random number generation, codes for reliable and secure information transmission, computer algebra, and other areas.
+39 06 57338519, fax: +39 06 57338340