Jekyll2026-09-02T10:57:25+00:00https://figlerg.github.io/feed.xmlblankFelix Gigler — PhD candidate in Automated Reasoning at TU Wien and Junior Scientist at AIT, working on formal methods and autonomous systems. Hello, world2026-06-10T09:00:00+00:002026-06-10T09:00:00+00:00https://figlerg.github.io/blog/2026/helloThis is the first post on my new website. I plan to use this space for occasional notes — on papers I am reading, things I am working on, and the odd technical aside.

Writing a post is easy: create a Markdown file in the _posts/ folder named like YYYY-MM-DD-title.md, add the small header block you see at the top of this file, and write below it. The site rebuilds itself automatically after you push the change.

More soon.

]]>