Statistics
Publications
1
Citations
30
H-Index
1
Active since
2018
Affiliations
BAE Systems (United States)(Current)
Theophilos Giannakopoulos is an author at BAE Systems (United States) specializing in lambda calculus semantics, formal methods, and probability theory.
Publications per year
2018–2018
1
1