I am a PhD candidate in the College of Information and Computer Sciences at UMass Amherst. I work with Prof. Neil Immerman and I am interested in database theory, logic and descriptive complexity.

I am an active member of our women's group and I was a co-chair during Spring 2014 and Fall 2014.

Publications

  • Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasch√© Schechter, Ana Teresa C. Martins. "Polynomial hierarchy graph properties in hybrid logic." J. Comput. Syst. Sci. 80(6): 1087-1101 (2014)
  • Cibele Matos Freire, Ana Teresa C. Martins. "The Descriptive Complexity of the Deterministic Exponential Time Hierarchy." Electr. Notes Theor. Comput. Sci. 269: 71-82 (2011)
  • Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasch√© Schechter, Ana Teresa C. Martins. "Hybrid Logics and NP Graph Properties." WoLLIC 2011: 123-134 (2011)
  • Cibele Freire, Wolfgang Gatterbauer, Neil Immerman, Alexandra Meliou, "A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries." PVLDB, vol. 9, no. 3 (2015)

Contact

College of Information and Computer Sciences
University of Massachusetts, Amherst
140 Governors Drive, Amherst, MA 01003
Room 314
Email: cibelemf at cs dot umass dot edu