- Experts Contact
- For additional information contact Marcia Moxam-Comrie, Marketing Communications Office of Institutional Advancement, Rm 2H03 94-20 Guy R. Brewer Blvd. Jamaica, NY 11451 718-262-2354 (office)/ 718-262-2326 (fax) e-mail: email@example.com
Carta-Gerardino, EdoardoCarta-Gerardino, Edoardo
Mathematics and Computer Science
- Areas of Expertise:
- Weighted Automata and Formal Languages
- Recurrence Equations with Coefficients in a Semiring
- Pushdown Automata and Context-Free Languages
Weighted automata are powerful finite-state machines in which the transitions have weights associated to them. Dr. Carta studies weighted automata and their connection to formal languages.
Recurrence equations define sequences using recursion. Dr Carta's current research deals with recursively defined sequences of elements from a semiring, and their connection to weighted automata.
Pushdown automata (PDAs) are computational models, particularly useful in compiler design and linguistics. Dr. Carta studies PDAs, viewed as weighted automata, and context-free languages, viewed as algebraic objects.
Degree Institution Field Dates PhD Cornell University Mathematics 2008 MS Cornell University Mathematics 2007