Haven't looked into it. I don't really find proof-of-stake very interesting at a technical level, though. I don't know what all that "research" could be about if they are just going with proof-of-stake.

Edit: taking a peek, their proof-of-stake algorithm (called ouroboros) claims to have some formal security proof employing game theory. That would be interesting to look into as I am not familiar with that technique.