https://laufer.cs.luc.edu/blog/2023/computer-science-assistant-professor-algorithms-languages-formal-methods-computation-and-software-engineering-tenure-track-konstantin-lufer/ 2023-12-01T00:00:00+00:00 https://laufer.cs.luc.edu/blog/2024/unicode-string-length-can-mean-different-things-in-different-languages/ 2024-04-06T18:22:44+00:00 https://laufer.cs.luc.edu/blog/2024/running-the-editcp-dmr-codeplug-editor-binary-on-a-mac/ 2024-03-01T00:29:53+00:00 https://laufer.cs.luc.edu/blog/2024/jacoco-doesnt-directly-support-vacuously-true-100-branch-coverage/ 2024-01-28T00:45:48+00:00 https://laufer.cs.luc.edu/ https://laufer.cs.luc.edu/publications/ https://laufer.cs.luc.edu/repositories/ https://laufer.cs.luc.edu/teaching/ https://laufer.cs.luc.edu/blog/2023/ https://laufer.cs.luc.edu/blog/2024/ https://laufer.cs.luc.edu/blog/