Research

Home Personal Courses Teaching

Currently I am a final year graduate student in Model Theory. My advisor is Professor Thomas Scanlon. I am working in the model theory of multiplicative valued difference fields. My general focus is to study the theory of (valued) fields coupled with an additional operator, e.g., an automorphism or a projection operator, and find out classes of such structures which have a nice axiomatization.

Publications

  • K. Pal. "Multiplicative Valued Difference Fields". Submitted. [pdf]
  • K. Pal, R. K. Meyer. "Basic Relevant Theories for Combinators at Levels I and II". Australasian Journal of Logic, Vol. 3, 14--32, 2005.
  • M. Banerjee, K. Pal. "The variety of topological quasi-Boolean algebras". In proceedings of Trends in Logic III - Conference in Memoriam of Mostowski, Rasiowa, Rauszer, Warsaw, Poland, Sept. 2005; extended abstract available at Studia Logica.
  • K. Deb, K. Pal. "Efficiently Solving: A Large-Scale Integer Linear Program Using a Customized Genetic Algorithm". In proceedings of Genetic and Evolutionary Computation Conference (GECCO), 1054-1065, Seattle, WA, USA, June 2004. (Also Lecture Notes in Computer Science (LNCS) 3102).
  • A. K. Mondal, D. K. Maji, K. Pal, A. Mukerjee. "Pointing Gesture Detection". In proceedings of 1st Indian International Conference on Artificial Intelligence (IICAI), 722-730, Hyderabad, India, Dec. 2003.

Talks and Invited Addresses

  • Invited Speaker, 2nd International Valuation Theory Conference, Segovia, July 18--29, 2011.
  • Invited Speaker, AMS Special Session on Model Theory of Fields and Applications, 2011 Joint Mathematics Meeting, New Orleans, January 7, 2011.
  • Model Theory of Multiplicative Valued Difference Fields, University of Illinois Urbana-Champaign, February 18, 2011.
  • Model Theory of Fields with Operators, University of Illinois Chicago, February 15, 2011.
  • Multiplicative Valued Difference Fields, Logic Colloquium 2010, Paris Diderot University, July 26, 2010.
  • Fields with Operators, Poster Presentation, Model Theory Conference, Seoul, May 21, 2010.
  • Measures and Forking, Graduate Student Logic Colloquium 9, University of Notre Dame, April 26, 2008.
  • Topological quasi-Boolean Algebras, Second Indian Winter School on Logic, Kanpur, January 2008.
  • Modal Logic and Universal Algebra, Student Logic Colloquium, University of California Berkeley, September 28, 2007.
  • Ax-Kochen Theorem, Student Logic Colloquium, University of California Berkeley, February 28, 2007.

Research Experience

  • Mathematics Research Community (MRC) program, Snowbird Resort, Utah, USA
    Selected Participant, Model Theory of Fields, June 19-25, 2010
    • This program was organized by the American Mathematical Society (AMS) and was funded by National Science Foundation (NSF). Around 40 PhDs and PostDocs got together with a few Faculty to intensively study recent breakthrough work in the field connecting Model Theory and Analysis, in particular the spaces of stably dominated types and Berkovich spaces. It was a great learning experience.
  • University of Leeds, Leeds, UK
    Mathlogap (Marie-Curie) Fellow, May 2008 -- August 2008
    • Developed understanding of Metastable theories and Geometric Stability Theory.
  • University of Oxford, Oxford, UK
    Visiting Researcher, May 2006 -- August 2006
    • Worked with Professor Boris Zilber on Definability and Interpretability.

Conferences and Workshops Attended

  • 2nd International Valuation Theory Conference, Segovia, Spain, July 18--29, 2011.
  • Logic Colloquium 2011, Barcelona, Spain, July 11--16, 2011.
  • Recent Developments in Model Theory, Oléron, France, June 5--11, 2011.
  • 2011 ASL North American Annual Meeting, Berkeley, CA, USA, March 24--27, 2011.
  • 2011 Joint Mathematics Meetings, New Orleans, LA, USA, January 6--9, 2011.
  • Logic Colloquium 2010, Paris, France, July 25--31, 2010.
  • Model Theory of Fields, Mathematical Research Communities (MRC) program, organized by AMS, Snowbird Resort, Utah, USA, June 19--25, 2010.
  • Model Theory Conference, Seoul, South Korea, May 19--22, 2010.
  • 2010 North American Annual Meeting, organized by Association of Symbolic Logic (ASL), Washington, D.C., USA, March 17--20, 2010.
  • 2010 Joint Mathematics Meetings, San Francisco, CA, USA, January 13--16, 2010.
  • European Science Foundation (ESF) Research Conference in Model Theory , Bedlewo, Poland, August 9--14, 2009.
  • Winter School in o-minimal Geometry, Fields Institute, Toronto, Canada, January 11--18, 2009.
  • MODNET Summer School, Manchester, UK, July 14--18, 2008.
  • Around Classification Theory, Leeds, UK, June 27--30, 2008.
  • 9th Annual Graduate Student Logic Conference, Notre Dame, Indiana, USA, April 26--27, 2008.
  • Second Indian Winter School on Logic, Kanpur, U.P., India, January 14--26, 2008.

Home Personal Courses Teaching

 

Last Updated on March 1, 2011