Stella Simic

PhD Student
stella.simic@imtlucca.it


I am a PhD student in Computer Science in the SySMA research unit at IMT Lucca, supervised by prof. Mirco Tribastone (IMT) and Dr. Omar Inverso (GSSI L’Aquila). I graduated in Mathematics at the University of Trieste.

Research Area

My research focuses on Formal Verification. I am currently working on decision procedures for proving properties regarding the numerical correctness of software found in control systems.

Selected Publication

  • S. Simic, A. Bemporad, O. Inverso, and M. Tribastone. Tight Error Analysis in Fixed-Point Arithmetic, iFM’20.