CUFinder

Mark Bickford

Mark Bickford

Cornell University

H-index: 19

North America-United States

Contact Mark Bickford

About Mark Bickford

Mark Bickford, With an exceptional h-index of 19 and a recent h-index of 9 (since 2020), a distinguished researcher at Cornell University, specializes in the field of type theory, formal methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning

Formalizing Moessner's theorem and generalizations in Nuprl

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

Open bar-a brouwerian intuitionistic logic with a pinch of excluded middle

Brouwer’s fixed point theorem in intuitionistic mathematics

Mark Bickford Information

University

Position

Computer Science

Citations(all)

1218

Citations(since 2020)

244

Cited By

1058

hIndex(all)

19

hIndex(since 2020)

9

i10Index(all)

36

i10Index(since 2020)

9

Email

University Profile Page

Google Scholar

Mark Bickford Skills & Research Interests

type theory

formal methods

Top articles of Mark Bickford

BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning

2022/6

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Formalizing Moessner's theorem and generalizations in Nuprl

Journal of Logical and Algebraic Methods in Programming

2022/1/1

Mark Bickford
Mark Bickford

H-Index: 9

Dexter Kozen
Dexter Kozen

H-Index: 26

Alexandra Silva
Alexandra Silva

H-Index: 19

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2021/1

Bartek Klin
Bartek Klin

H-Index: 13

Samson Abramsky
Samson Abramsky

H-Index: 29

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Wan Fokkink
Wan Fokkink

H-Index: 15

Bas Luttik
Bas Luttik

H-Index: 10

Paweł Parys
Paweł Parys

H-Index: 11

Nicole Schweikardt
Nicole Schweikardt

H-Index: 13

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Anuj Dawar
Anuj Dawar

H-Index: 17

Yannick Forster
Yannick Forster

H-Index: 11

Merlin Göttlinger
Merlin Göttlinger

H-Index: 2

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Takeshi Tsukada
Takeshi Tsukada

H-Index: 9

Naoki Kobayashi
Naoki Kobayashi

H-Index: 7

Jules Hedges
Jules Hedges

H-Index: 7

Paweł Sobociński
Paweł Sobociński

H-Index: 2

Long Pham
Long Pham

H-Index: 1

Jan Hoffmann
Jan Hoffmann

H-Index: 22

Alexander Rabinovich
Alexander Rabinovich

H-Index: 17

Open bar-a brouwerian intuitionistic logic with a pinch of excluded middle

2021

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Brouwer’s fixed point theorem in intuitionistic mathematics

2020/2/18

Mark Bickford
Mark Bickford

H-Index: 9

See List of Professors in Mark Bickford University(Cornell University)