GradNova

Z

Zerksis D. Umrigar

Lecturer

Computer Science, Binghamton University

Research Interests

Automating Courseware Development

Programming Languages

Systems Programming

Logic, Programming, and Type Systems

Formal Methods in Verification

Embedded Systems Design Techniques

Logic, Reasoning, and Knowledge

Advanced Algebra and Logic

Academic Metrics

Links

Grants