Tim Steenvoorden successfully defended his PhD thesis entitled "TopHat - Task-Oriented Programming with Style" at the Radboud University in Nijmegen. His thesis presents an alternative formal semantics for TOP, a visialisation technique for creating TOP workflows, and a symbolic execution method to verify TOP specifications.
His thesis is the 7th PhD thesis investigating Task-Oriented Programming.
Due to the Covid '19 pandemic outbreak we have been forced to work at home, like many others.
Working online in a virtual office turned out to be a very convenient way of working.
Now that it seems to be safe to work in a real office again, we openend an office in the science park of the Radboud University Nijmegen, the Mercator II building.
Address: Toernooiveld 300, 6525EC Nijmegen.
The 6th Dutch national symposium on Software Engineering took place on Friday 31 January 2020 at the CWI in Amsterdam.
Rinus Plasmeijer, co-founder of TOP Software Technology, was one of the professors who received an award certificate from the chair, prof. Marieke Huisman, in recognition of his foundational contributions to the software research community.
25-9-2019 - 27-9-2019
Several TOP related papers have been presented at the 31st international symposium on Implementation and Application of Functional Languages (IFL 2019) at the National University of Singapore.
Mart Lubbers from the Radboud University Nijmegen gave a talk on mTasks titled "Interpreting Task Oriented Programs on Tiny Computers".
Nico Naus from the University of Utrecht presented "A symbolic execution semantics for TopHat". TopHat defines a formal semantics for a subset of TOP.
Rinus Plasmeijer of TOP Software Technology presented "Lazy Interworking of Compiled and Interpreted Code for Sandboxing and Distributed Systems", work of Camil Staps and John van Groningen which technology is being used to execute TOP code in browsers.
iTasks and mTasks are being used to explore a better integration of software and hardware for the Smart Campus of the University of Glasgow.
5-7-2020 - 9-10-2020 (update)
The first outcome of this research has been presented at the 10th International Conference on the Internet of Things (IoT 20) held in Malmö, Sweden.
Due to the Covid 19 crisis, it was an online event.
Mart Lubbers from the Radboud UniversityNijmegen presented a paper with title: Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures.
In the paper the advantages are explained of using the TOP mTask iTask approach over traditional approaches.
It concludes that the TOP approach improves software quality, dramatically reduces development time, and improves the maintainability.
The annual Dutch Functional Languages Day was held this year for the 27th year in a row in Breda. It was organized by the Dutch Defence Academy (NLDA).
Almost 70 participants, from industry as well as from university, attended the conference.
There were two presentations about iTasks and TOP.
Haye Böhm talked about the asynchronous sharing of information between iTasks clients and distributed iTask servers.
Tim Steenvoorden presented TOPHAT, a formal calculus for TOP.
We celibrated the foundation of TOP Software Technology B.V. together with the research team of the Software Technology group of the Radboud University, the architects and developers of Clean, iTasks and mTasks.
Prof. Rinus Plasmeijer, CEO and co-founder of TOP Software Technology, gave a presentation at Ericcson in Budapest
with the title:
The iTask System: An Infrastructure for the Internet of Everything
Ericsson R&D lab, Budapest, Hungary.