Funded positions are available for graduate students (PhD applicants preferred, but competitive Masters applicants will also be considered).
If you are interested in pursuing graduate studies in formal methods and its applications, please email me with your research interests, and your CV. Note that the work I do often requires some understanding of theoretical aspects, so you should be reasonably comfortable with abstract and theoretical reasoning (such as the kind found in Automata Theory, Algorithms, or Control Systems),
If you are not a CSU student, please also write a couple of paragraphs on one of my publications based on the Abstract and Introduction sections.