Crack Pitts

[Finley Chopin]

OfficeFC08 Email: Andrew.Pitts at cl cam ac uk Departmental web page Publications On-line publications Recent talks Google Scholar profile dblp bibliography ORCiD ID Research My research makes use of techniques from category theory, mathematical logic and type theory to advance the foundations of programming language semantics and theorem proving systems. I have a long-standing interest in the semantics and logic of names, locality and binding. My aim is to develop mathematical models and methods which aid language design and the development of formal logics for specifying and reasoning about programs. I am particularly interested in higher-order typed programming languages and in dependently typed logics. More details via the pittsposium.

Pitts has authored numerous articles published in the International Journal of Social Education, Voir Dire, The Council for Basic Education, The Federal Lawyer, the American Forum, Quality Cities, The Florida Bar Journal, The Florida Voter, Social Education, and others. She has worked with various committees within The Florida Bar and the Florida Department of Education to assist in the development of state education standards in civics and government.

Pitts assisted in the development of the inaugural Florida Supreme Court Justice Teaching Institute, a multi-day professional development program for Florida teachers established under the leadership of Chief Justice Gerald Kogan. All seven Florida Supreme Court Justices served as faculty for the institute using a case study approach. Pitts also serves as faculty for numerous judicial colleges and conferences throughout the country. She holds advanced degrees from Florida State University and has continued graduate work at Harvard University. She is currently pursuing doctoral research in addition to her state and national education responsibilities. Her email is api...@flsouthern.edu.

3a8082e126