Cosimo Laneve
Professor
Department of Computer Science and Engineering
Bologna University
Italy
Biography
Dr. Cosimo Laneve is affiliated to Department of Computer Science and Engineering, Bologna University, ITALY. Dr. Cosimo Laneve is currently providing services as Professor. Dr. Cosimo Laneve has authored and co-authored multiple peer-reviewed scientific papers and presented works at many national and International conferences. Dr. Cosimo Laneve contributions have acclaimed recognition from honourable subject experts around the world. Dr. Cosimo Laneve is actively associated with different societies and academies. Dr. Cosimo Laneve academic career is decorated with several reputed awards and funding.
Research Interest
programming languages, static verification of semantic programs of programming languages, prototype implementation of programming languages ​, formal molecular biology tools
