Not in almost 10 years now, no. Who has? I just did a Google search on him, the first link that comes up is from the 90's on Salon.com about how he was taking on Microsoft. Red Hat is now run by the Szulik family based on the latest reports. The Chinese rename it "Red Flag", all legal, as you probably already know.
To my knowledge, he's still a part of the higher echelon/board members.