Research Interests

Theoretical Computer Science,

Proof theory and its applications,

Logic Programming,

Functional Programming,

Verification,

Proof Complexity,

Deep Inference,

Category Theory,

Graph Theory

News & Presentations

• I am a local organizer for Eleventh Symposium on Compositional Structures (SYCO 11).

• Journées d'hiver 2022-23 du GT Scahlp , on 15th to 17th of Februrary 2023, at CIRM, France

• Tenth Symposium on Compositional Structures (SYCO 10), on the 19th and 20th of December 2022, at the University of Edinburgh, UK

• Journées LHC 2022, on the 12 and 13th of October 2022, at ENS Paris Saclay, France

• WoLLIC 2022, Workshop on Logic, Language, Information and Computation, Romania, September 20-23, 2022

• StrIP Kick-Off Workshop, University of Birmingham, UK, June 7-10, 2022

Publications

• List in dblp Computer Science Bibliography

• List on Google Scholar 

• List on ResearchGate 

Combinatorial Flows as Bicolored Atomic Flows

with Lutz Straßburger 

Proceedings of WoLLIC 2022 

Contact

Inria Saclay - Île-de-France

1 rue Honoré d'Estienne d'Orves

Bâtiment Alan Turing

Campus de l'École Polytechnique

91120 Palaiseau

France

Email: giti DOT omidvar AT inria DOT fr