Marianna Nicolosi Asmundo

Assistant Professor in Computer Science

Research interests and activity:

• Tableau-based deduction systems

• Decision procedures in elementary set theory and non-classical logics

• Interactive theorem proving

• Program verification methodologies

• Compositionality problems in formal methods