Are there universities and labs that are unaffiliated with the Tor Project that are researching Tor and Onion Routing and contributing back to the Tor Project (be it in code, security audits, or just publishing papers about how Tor could be made more secure)?
If so, what labs are out there and what concepts are they researching (and where is there funding coming from if that information is available)?