Gilbert Pajela

I am currently a Computer Science Ph.D. student studying at The Graduate Center of the City University of New York. I work under the supervision of Professor Subash Shankar. My research interests include integrating static analysis with model checking and the verification of concurrent programs.

Publication(s)

Shankar, S., & Pajela, G. (2016, April). A Tool Integrating Model Checking into a C Verification Toolset. In International Symposium on Model Checking Software (pp. 214-224). Springer, Cham.

Teaching

Hunter College

CSCI 136: Supervised Programming Lab
CSCI 160: Computer Architecture I

Yet Another Verilog Tutorial

Columbia University School of Professional Studies

Introduction to Programming in C

Other

Curriculum Vitae
Email: gpajela AT gradcenter DOT cuny DOT edu

Office

Hunter College, City University of New York
HN 1000G