معرفی
Moreno Falaschi is a Professor at the University of Siena's Department of Information Engineering and Mathematical Sciences. He teaches Programming Fundamentals for Biotech Engineering, Models and Languages for Bioinformatics for Artificial Intelligence Engineering, Programming for Mathematics, and Information Processing Systems, with current responsibilities extending to the 2025/2026 academic year.
His research centers on Reaction Systems as formal models for biochemical processes, applying rewriting systems, concurrency theory, and constraint logic programming to analyze biological systems. Key applications include comorbidity treatment strategies, hemostasis pathways, and T cell differentiation, bridging theoretical computer science with medical bioinformatics.
Recent publications (2023-2025) demonstrate consistent innovation in dynamic slicing techniques, guarded reaction systems for medical applications, and quantitative extensions using SOS semantics. His work spans formal verification, computational biology, and biomedical AI, with significant contributions to journals like the International Journal on Software Tools for Technology Transfer.
