G. Sofi

Telecom Italia LabItaly

Computer Science · Physical Sciences

2h-index14citations3works0.02yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Parallel Computing and Optimization Techniques(2), Logic, programming, and type systems(2), Formal Methods in Verification(2), Distributed and Parallel Computing Systems(1), Embedded Systems Design Techniques(1)

Publications3 total

Logic and functional programming on distributed memory architectures
MIT Press eBooks·1990· 9 cited
International Conference on Lightning Protection·1990

Frequent Co-authors

C. Cecchi(3), Corrado Moiso(3), P. G. Bosco(2), Marco Porta(2), Gian Paolo Balboni(1), Riccardo Melen(1), Pier Giorgio Bosco(1)