Angelo
@AngeloFerrandoAngelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia, Italy. Interested in: MAS, Formal Verification, Robotics
University of Modena and Reggio Emilia
Modena
14
Followers
0
Following
51
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 44 owned repositories
38.1M
Total LOC
HTML
9,177,788 lines
24.1%
N/A
C
8,897,305 lines
23.3%
N/A
Java
7,963,868 lines
20.9%
N/A
ASL
4,640,785 lines
12.2%
N/A
C++
3,562,359 lines
9.3%
N/A
Other
3,873,390 lines
10.2%
N/A
M
M-Shaped Developer
M-shapedMulti-specialist across HTML, C, Java
HTML
C
Java
ASL
C++
Collaboration Network
Global Impact visualization
Repos
85
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
225
Contributions
220
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
Solvent
5
2
Python
3vLTL
2
1
Java
3-valuedSL
2
0
C
nuMonitor
1
0
Prolog
SafetyShieldsBDI
1
0
ASL
RVPlan
RVPlan: Runtime Verification of Assumptions in Automated Planning
1
0
Python
trace_expression_plugin_eclipse
1
0
Java
PredictiveVaranus
0
0
Python
Varanus-Docker
0
0
Python
BDIExplainer
0
0
Prolog
Open Source Impact
Contributions to external projects
9 merged PRs
autonomy-and-verification-uol/ROSMonitoring
43
autonomy-and-verification/varanus
0
AREAWorkshop/areaworkshop.github.io
0
VadimMalvone/VITAMIN
3
FORMA-UniGe/forma-unige.github.io
0
MAS-AIxIA/MAS-AIxIA.github.io
0
conferences-website/prima2025
0
AREAWorkshop/AREA2025
0
VEsNA-ToolKit/vesna-pro
1
VITAMIN-organisation/website
0
Contributed to 12 repositories