Leo Hatvani, PhD student

Leo Hatvani is a PhD student at Mälardalens Högskola (MDH), Västerås. He graduated at Faculty of Electrical Engineering in Sarajevo in January 2009. His diploma thesis was "Development of Fuzzy Inference Systems Using Fuzzy Toolbox". He is currently working on developing formal verification techniques for adaptable embedded systems.