Marcus Karpoff
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Formal Methods in Verification, Distributed and Parallel Computing Systems