University of Twente
People

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.

Organisations

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. , & 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

See all research output of this employee

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)
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

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

Organisations

University of Twente Drienerlolaan 5
7522 NB Enschede
+31 (0)53 489 9111
info@utwente.nl
Route