Tamás Kozsik
Programming Cyber-Physical Systems
Eötvös Loránd University
Tamás Kozsik is associate professor at Eötvös Loránd University, Budapest, Hungary, where he is vice dean for projects and innovation at the Faculty of Informatics. He teaches programming languages (Ada, Eiffel, Haskell, Java, Scala), aspect-oriented programming, Enterprise Java technologies, concurrency and formal methods. Tamás has led, and has taken part in, several research projects on Erlang refactoring, formal methods, concurrency and distributed programming. Currently he is leading the project Programming Cyber-Physical Systems. Tamás enjoys biking and reading (not concurrently).
Tamás Kozsik is Giving the Following Talks
Tutorial: Analysing, Refactoring, and Extending the Language with one Tool!
RefactorErl is well known static analyser and transformer tool. We have given several talks about the tool, so we want to show some new aspects of the tool now. We will introduce you to some new features of the tool (e.g. assisting the initial loading by analysing make files, the new web interface, supporting investigations, etc.) and some really unknown possibilities of the tool (e.g. introducing portable funs to the language).
Talk objectives: Give the idea how to use a static analyser for different purposes.
Target audience: Anyone interested in tools for support program development or wanted to extend the language with new elements.