GradNova

C

Chung-chieh Shan

Associate Professor

Computer Science, Indiana University Indianapolis

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Natural Language Processing Techniques

Semigroups and Automata Theory

Academic Metrics

Links

Grants