| SE&M;
publications |
Thomas ArtsIn his research Thomas focusses on bridging the gap between industry and academia. In close interaction with industrial partners, formal verification techniques are developed and put in practice.
Thomas got a masters in computer science and mathematics in Nijmegen and did his
PhD on "Automatically proving termination of term rewriting systems" at Utrecht university.
After his PhD he moved to Stockholm where he joined the research team at Ericsson's
computer science laboratory.
How to reach me
ResearchThe research topic of my PhD was a real pleasure. I have enjoyed the development of the dependency pair method together with my friend and colleague Jürgen Giesl. I was lucky to have a good supervisor (Hans Zantema), who taught me how research is performed. With the dependency pair method one can prove termination of Term Rewriting Systems (a model for computation). For a good introduction read our article in journal of Theoretical Computer Science 236. Driven by the interest in functional languages and applied research, I worked during four years at Ericsson in Stockholm. Within the computer science lab (a former Ericsson research unit) I worked on formal verification techniques for Erlang programs. Both theorem proving and model checking of software have been explored (journal of Software Tools for Technology Transfer 4(4) and 5(2-3)).
The foundation of the IT University of Göteborg made me move
to the west coast of Sweden. Here I continue my research on formal
verification where I try to embed it in a software engineering
context. TeachingSeveral large project courses on different topics, like Programming, Systems Development, Intelligent Agents and Networks.Current Activities
|
| Last update: 2004-2-10 11:58 | Thomas Arts |