andreacolledan
PhD student in Computer Science. Working on quantum programming languages and quantum program verification.
University of BolognaBologna
Pinned Repositories
Opinions_and_conflict_in_social_networks
Code for the Opinions and conflict in social networks exam, part of BISS 2022
pattern-rewriting-language
pqr-syntax-highlighting
proto-quipper-r
An implementation of Refinement Typed Proto-Quipper (Proto-Quipper-R)
quantum-resource-analysis
Exploration of type-level resource analysis of quantum programs in Idris
qura
QuRA is a static analysis tool for the verification of the resource consumption of quantum programs.
DeepMusicGenerator
Deep Learning Model to generate Pop Music with Temporal Convolutional Networks
mlDataAssignment
Assignment for delivery of Machine Learning Data over Cloud
andreacolledan's Repositories
andreacolledan/pattern-rewriting-language
andreacolledan/proto-quipper-r
An implementation of Refinement Typed Proto-Quipper (Proto-Quipper-R)
andreacolledan/Opinions_and_conflict_in_social_networks
Code for the Opinions and conflict in social networks exam, part of BISS 2022
andreacolledan/pqr-syntax-highlighting
andreacolledan/quantum-resource-analysis
Exploration of type-level resource analysis of quantum programs in Idris
andreacolledan/qura
QuRA is a static analysis tool for the verification of the resource consumption of quantum programs.