What are the possibilities of using alloy?

1

Hi, I am a post graduate student and pretty new to model checking. I got interest in alloy . I hope to do a good work in it. Can anyone suggest some problems or potential area for research which make use of alloy?