Zdravím,
ohledně debuggingu Windows: symboly si můžete stáhnout z webu MS. WinDbg (a nejspíš i ostatní debuggery) umí také použít Microsoft Symbol Server, ze kterého si natáhnou potřebnou část a cachují ji lokálně.
http://msdn.microsoft.com/en-us/windows/hardware/gg463028.aspx
http://support.microsoft.com/kb/311503
Pro debugging driverů se také doporučuje použít checked (debug) build Windows. Ten postrádá řadu optimalizací, a naopak přidává spoustu kontrol. Checked build je k dispozici v rámci MSDN.
http://msdn.microsoft.com/en-us/library/windows/hardware/ff543450(v=vs.85).aspx
http://msdn.microsoft.com/en-us/library/windows/hardware/ff549603(v=vs.85).aspx
Minidump si můžete snadno nastavit.
http://support.microsoft.com/kb/315263/en-us#method2
Většina firem nedá veřejnosti přímý kontakt na vývojáře, protože u rozšířenějšího SW by pak už vývojáři nedělali nic jiného, než komunikovali se zákazníky (což je mimochodem úplně jiný typ práce). Proto je mezi zákazníky a vývojáře vložené oddělení podpory, většinou s několika úrovněmi eskalace.
Zdrojáky Windows můžete coby univerzita licencovat v rámci Windows Academic Program. Pokud si vzpomínám, ČVUT bylo součástí tohoto programu. Další možnosti jsou Enterprise Source Licensing Program, OEM Source Licensing Program, MVP Source Licensing Program a Government Security Program.
http://www.microsoft.com/education/facultyconnection/articles/articledetails.aspx
Zkusil jsem vás trochu nasměrovat, snad to pomůže. Víc pro vás v rámci svých kompetencí bohužel udělat nemůžu, takže alespoň přeji mnoho úspěchů.