Software Developer Intern at Ericsson

Designed an algorithm to construct a high-level view of a program execution flow from hardware traces. Analyzed hardware-level concurrency mechanisms on an embedded many core architecture to show correctness guarantees of trace analysis algorithms.