Julian Nagele

photo

Contact

email: mail__AT__jnagele.net
PGP key

Activities

I have been involved in the following events:

Projects

Recently, during an internship at Microsoft Research, I worked on Alive, a tool that can prove correctness of peephole optimizations.

At the University of Innsbruck I was a member of the following projects, devising tools for automatic and certified analysis of rewrite systems:

Software

Publications

Journal Articles

Papers in Conference Proceedings

Mechanized Proofs

Papers and Extended Abstracts in Workshop Proceedings

Poster

Teaching Activities

ISR 2017

At the advanced track of the 9th International School on Rewriting, Vincent van Oostrom and I gave a course on commutation. You can find our material here.

UIBK

At the University of Innsbruck I was a teaching assistant for the following courses:

Supervised Bachelor Theses

I have (co-)supervised the following bachelor theses at UIBK:

Miscellaneous

I share many things with my partner Maria A Schett. For things we want to share in the future, and if you want to join in, download our list of ideas (password is the name of our hoover robot).

When not verifying software, I'm a regular social badminton player and recreational runner. I ran in and would recommend the following races: EDP Lisbon Half Marathon 2017, Midnight Sun Run, Iceland 2014, BIG 25 Berlin 2013, Semi Marathon de Paris 2012.

My Erdös number is 5 (Nagele -> Middeldorp -> Avenhaus -> Plaisted -> Zaks -> Erdös).