|
|
Riadok 17: |
Riadok 17: |
| Formal Methods and Security | | Formal Methods and Security |
| | | |
− | === Publications ===
| |
− | * Paper 1
| |
− | * Paper 2
| |
| }} | | }} |
Verzia zo dňa a času 15:58, 22. november 2018
Ali Aliyu Tanko
|
Name:
|
|
Ali Aliyu Tanko MSc.
|
|
|
doctoral student
|
Phone: |
|
+421 2 602 95 441
|
Email: |
|
Aliyu.Ali fmph.uniba.sk
|
Office: |
|
I 4
|
Address: |
|
Ali Aliyu Tanko MSc. Department of Applied Informatics FMFI UK Mlynská dolina 824 48 Bratislava Slovakia
|
Web: |
|
homepage (or leave blank)
|
|
Teaching
Mathematics (3) - Discrete mathematics
Research
Formal Methods and Security