`Travelled to:`

1 × Austria

1 × France

1 × Italy

1 × USA

`Collaborated with:`

J.Hickey A.Kopylov W.Mansky A.W.Appel X.Yu S.Schmitt L.Lorigo C.Kreitz

`Talks about:`

represent (1) proposit (1) principl (1) interact (1) theorem (1) scalabl (1) reflect (1) process (1) connect (1) verifi (1)

## Person: Aleksey Nogin

### DBLP: Nogin:Aleksey

### Contributed to:

### Wrote 5 papers:

- FASE-2006-HickeyN #design #process #scalability
- : Designing a Scalable Build Process (JH, AN), pp. 63–78.
- ICFP-2006-HickeyNYK #hybrid #representation #using
- Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
- CSL-2001-KopylovN #markov #type system
- Markov’s Principle for Propositional Type Theory (AK, AN), pp. 570–584.
- IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
- JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
- OOPSLA-2017-ManskyAN
- A verified messaging system (WM, AWA, AN), p. 28.