Necmiye Ozay

My Erdös number is 4.

Me on Google Scholar and DBLP.

Me on GitHub.

Me on Twitter.

Some software projects I am involved in:

• TuLiP (Temporal Logic Planning toolbox)

• data-dynamics

• ARCS (a tool for Abstraction Refinement-based Control Synthesis)

I enjoy watching movies (imdb), especially independent ones (Michigan Theatre).

I love puzzles (wpf, tzv, akiloyunlari).

As for sports, I play table tennis (usatt). I took snowboarding classes at Nashoba Valley, a fun activity during the long winters in Boston. I attended dragon boat races at Golden Horn, Istanbul in 2003; and paddled at Charles River in 2009-2010 (dragon boat festival).