Julian Nagele

photo

I'm a postdoctoral research assistant in the Theory Group of the School of Electronic Engineering and Computer Science at Queen Mary University of London. Before that, I was a research and teaching assistant and PhD student advised by Aart Middeldorp in the Computational Logic Group at the University of Innsbruck.

Contact

email: mail__AT__jnagele.net
PGP key

Activities

I have been involved in the following events:

Projects

At Queen Mary I'm a member of the project Logical Approach to Code Generation and Optimization, working on a novel superoptimization approach for auto-vectorization in optimizing compilers.

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

Talks

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).