Gregory Gelfond

Biography

Dr. Gregory Gelfond is a Research Fellow in the Computer Science Department in the College of IS&T here at UNO. He completed his Ph.D. in 2018 at ASU, working on bridging the formalisms of the dynamic epistemic logic and knowledge representation and reasoning communities. During this time he has accumulated a broad range of teaching expertise in various areas of Computing Science, such as data structures, algorithms, operating systems, theory of computation, artificial intelligence, knowledge representation, at prestigious institutions such as Arizona State University, Miami University, and Texas Tech. Prior to pursuing his doctorate, Dr. Gelfond worked as a developer at eBay Inc., integrating techniques from natural language processing, machine learning, and data visualization.

Dr. Gelfond pursues research in: artificial intelligence; knowledge representation and reasoning; programming language design; natural language understanding; polyglot programming techniques and algorithm design. His research has been published in prestigious conferences and journals such as: the AAAI Conference on Artificial Intelligence; Non Monotonic Reasoning; the Symposium on Constructive Mathematics; Autonomous Agents and Multi-Agent Systems; Computational Logic in Multi-Agent Systems; and others. He is also an active member of the Texas Action Group, Association for Computing Machinery, and the Association for Logic Programming.

Teaching Interests

Data Structures, Theory of Computation, Discrete Mathematics, Programming Languages, Algorithms, Artificial Intelligence, Special Topics on Declarative Languages

Research Interests

Knowledge Representation and Reasoning, Multi-Agent Systems, Answer-Set Programming, Programming Languages and Methodology, Natural Language Understanding