Travelled to:1 × Austria
1 × Czech Republic
1 × Estonia
1 × France
1 × Norway
1 × Poland
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:F.Pfenning N.Guenot Y.Wang ∅ S.Hetzl D.Miller L.Straßburger G.Price A.Gacek G.Nadathur D.Doligez L.Lamport S.Merz
Talks about:logic (4) calculus (3) method (3) invers (3) focus (3) character (2) structur (2) classic (2) linear (2) proof (2)
Person: Kaustuv Chaudhuri
DBLP: Chaudhuri:Kaustuv
Contributed to:
2015
2014
2013
201220112010
20102006
20052005Wrote 10 papers:
- TLCA-2015-WangC #independence #type system
- A Proof-theoretic Characterization of Independence in Type Theory (YW, KC), pp. 332–346.
- LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity
- Equality and fixpoints in the calculus of structures (KC, NG), p. 10.
- PPDP-2013-WangCGN #higher-order #reasoning #relational #specification
- Reasoning about higher-order relational specifications (YW, KC, AG, GN), pp. 157–168.
- CSL-2012-ChaudhuriHM #approach #calculus
- A Systematic Approach to Canonicity in the Classical Sequent Calculus (KC, SH, DM), pp. 183–197.
- CSL-2011-ChaudhuriGS #calculus
- The Focused Calculus of Structures (KC, NG, LS), pp. 159–173.
- CSL-2010-Chaudhuri #logic
- Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.
- IJCAR-2010-ChaudhuriDLM #proving #safety #verification
- Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.
- IJCAR-2006-ChaudhuriPP #logic
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (KC, FP, GP), pp. 97–111.
- CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving
- A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.
- CSL-2005-ChaudhuriP #linear #logic
- Focusing the Inverse Method for Linear Logic (KC, FP), pp. 200–215.