Bagnara Roberto
Department of mathematics and computer science
University of Parma
Italy
Biography
Dr. BAGNARA Roberto is currently working as a assoiate professor in the Department of , University of Parma , Italy . His research interests includes Critical Software Verification\, Formal Techniques for Analysis and Verification of Programs , Semantic Programming Languages, Abstract Interpretation ,Advanced Compiling Techniques ; Logical and constrained programming ,Computer algebra. . He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. BAGNARA Roberto is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Critical Software Verification\, Formal Techniques for Analysis and Verification of Programs , Semantic Programming Languages, Abstract Interpretation ,Advanced Compiling Techniques ; Logical and constrained programming ,Computer algebra.
Research Interest
Critical Software Verification\, Formal Techniques for Analysis and Verification of Programs , Semantic Programming Languages, Abstract Interpretation ,Advanced Compiling Techniques ; Logical and constrained programming ,Computer algebra.
