David Himmelstrup
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed and Parallel Computing Systems
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed and Parallel Computing Systems