CUFinder

Martin Brain

Martin Brain

University of Oxford

H-index: 21

Europe-United Kingdom

Contact Martin Brain

About Martin Brain

Martin Brain, With an exceptional h-index of 21 and a recent h-index of 13 (since 2020), a distinguished researcher at University of Oxford, specializes in the field of verification, automated reasoning, SAT/SMT, floating-point.

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

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials

Widening for Systems of Two Variables Per Inequality

Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

cvc5: A versatile and industrial-strength SMT solver

CVC5 at the SMT Competition 2022

Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.

Martin Brain Information

University

Position

___

Citations(all)

1523

Citations(since 2020)

718

Cited By

1048

hIndex(all)

21

hIndex(since 2020)

13

i10Index(all)

32

i10Index(since 2020)

17

Email

University Profile Page

Google Scholar

Martin Brain Skills & Research Interests

verification

automated reasoning

SAT/SMT

floating-point

Top articles of Martin Brain

Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials

2024/3/4

Widening for Systems of Two Variables Per Inequality

2023

Martin Brain
Martin Brain

H-Index: 13

Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

2022/5/29

Martin Brain
Martin Brain

H-Index: 13

Rachel Player
Rachel Player

H-Index: 8

cvc5: A versatile and industrial-strength SMT solver

2022

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Martin Brain
Martin Brain

H-Index: 13

Makai Mann
Makai Mann

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Ying Sheng
Ying Sheng

H-Index: 2

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

CVC5 at the SMT Competition 2022

2022

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Martin Brain
Martin Brain

H-Index: 13

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Ying Sheng
Ying Sheng

H-Index: 2

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication.

2021

Martin Brain
Martin Brain

H-Index: 13

See List of Professors in Martin Brain University(University of Oxford)