Welcome...

L. Armborst (Lukas)

PhD Candidate

About Me

Since 2020, I'm a PhD within the FMT group, working on software verification.

Before joining the UT, I studied Computer Science at the RWTH Aachen University in Germany, and did a traineeship at the European Space Agency in Noordwijk.

For more info on current projects that I'm working on, please check out the "Research" tab.

Research

I'm working on the software verification tool VerCors ( https://vercors.ewi.utwente.nl/) as part of the Mercedes Project ( https://www.utwente.nl/en/eemcs/fmt/research/projects/Mercedes/). I'm interested in improving the usability of VerCors, by reducing the effort that is needed from a developer to verify their program. In particular, I want to generate (parts of) the necessary annotations and specifications automatically.

Publications

Recent
Armborst, L. , Lathouwers, S. , & Huisman, M. (2024). Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.), iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture notes in computer science; Vol. 14300). https://doi.org/10.1007/978-3-031-47705-8_9
Armborst, L. , & Huisman, M. (2021). Permission-Based Verification of Red-Black Trees and Their Merging. In FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (Vol. 1, pp. 111-123) https://doi.org/10.1109/FormaliSE52586.2021.00017

UT Research Information System

Education

I'm assisting in teaching the course Advanced Logic.

If you want me to supervise your Bachelor or Master thesis, check out open topics at FMT (BSc projects and MSc projects), or contact me with your own ideas.

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands