`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:

### Wrote 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.