Currently I research formal specification and automatic testing (modell-based testing, property testing) in the QCIHungary project at ELTE Faculty of Informatics. I am also continuing my doctroral topic concerning source-code based performance prediction for the P4 programming language. This topic is in the intersection of static analysis, formal verification, model checking, static cost analysis of programming languages, and applications of programming languages. The application domain of this research is computer networking, in particular software-defined networks, programmable switches, software switches. Earlier I was researching on static analysis of the Erlang programming language and its bytecode.