There was a prior HN discussion around who owns what IP when public funding is involved. It was an interesting discussion for those who are interested: https://news.ycombinator.com/item?id=9268349