• Home
  •  > Find the Expert

152 Experts found

  •  
    Publications
    Grants
    Research Interests
    Additional Information
  • Open details Vincent Conitzer

    DUKE, Trinity College of Arts & Sciences, Computer Science

    155
    0
     
     
  • Open details Pankaj K. Agarwal

    DUKE, Trinity College of Arts & Sciences, Computer Science

    266
    0
     
     
  • Open details Kazufumi Ito

    NCSU, College of Sciences, Mathematics

    199
    19
     
     
  • Open details Robert Calderbank

    DUKE, Trinity College of Arts & Sciences, Computer Science

    345
    0
     
     
  • Open details Shu C Fang

    NCSU, College of Engineering, Fitts Department of Industrial and Systems Engineering

    187
    12
     
     
  • Open details John H. Reif

    DUKE, Trinity College of Arts & Sciences, Computer Science

    249
    0
     
     
  • Open details Krishnendu Chakrabarty

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    538
    0
     
     
  • Open details Fen Wu

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    138
    6
     
     
  • Open details Bo Zhang

    FSU, College of Arts & Sciences, Math and Computer Science

    36
    0
     
     
  • Open details Harvey Thomas Banks

    NCSU, College of Sciences, Mathematics

    310
    40
     
     
  • Open details Hoon Hong

    NCSU, College of Sciences, Mathematics

    51
    8
     
     
  • Open details Andrew Nobel

    UNCCH, Gillings School of Global Public Health, Biostatistics

    67
    14
     
     
  • Open details Kishor S. Trivedi

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    442
    0
     
     
  • Open details Ingrid Daubechies

    DUKE, Trinity College of Arts & Sciences, Mathematics

    121
    0
     
     
  • Open details Brian L Hughes

    NCSU, College of Engineering, Electrical and Computer Engineering

    93
    13
     
     
  • Open details Erich L Kaltofen

    NCSU, College of Sciences, Mathematics

    76
    13
     
     
  • Open details William John Rasdorf

    NCSU, College of Engineering, Civil, Construction & Environmental Engineering

    131
    15
     
     
  • Open details Gregg E. Trahey

    DUKE, Pratt School of Engineering, Biomedical Engineering

    287
    0
     
     
  • Open details Mladen A Vouk

    NCSU, College of Engineering, Computer Science and Engineering

    166
    52
     
     
  • Open details Yongge Wang

    UNCC, College of Computing and Informatics, Software and Information Systems

    46
    5
     
     
  • Open details Rebecca Willett

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    108
    0
     
     
  • Open details Robert E Young

    NCSU, College of Engineering, Fitts Department of Industrial and Systems Engineering

    23
    3
     
     
  • Open details Yuliang Zheng

    UNCC, College of Computing and Informatics, Software and Information Systems

    74
    9
     
     
  • Open details Gur Saran Adhar

    UNCW, College of Arts & Sciences, Computer Science

    8
    1
     
     
  • Open details Owen L. Astrachan

    DUKE, Trinity College of Arts & Sciences, Computer Science

    49
    0
     
     
  • Open details Dror Zeev Baron

    NCSU, College of Engineering, Electrical and Computer Engineering

    43
    3
     
     
  • Open details Donald L Bitzer

    NCSU, College of Engineering, Computer Science and Engineering

    54
    1
     
     
  • Open details Stephen LaVern Campbell

    NCSU, College of Sciences, Mathematics

    147
    15
     
     
  • Open details Alina Emil Chertock

    NCSU, College of Sciences, Mathematics

    33
    6
     
     
  • Open details Moody Ten-Chao Chu

    NCSU, College of Sciences, Mathematics

    70
    8
     
     
  • Open details Jeremy Dahl

    DUKE, Pratt School of Engineering, Biomedical Engineering

    102
    0
     
     
  • Open details Huaiyu Dai

    NCSU, College of Engineering, Electrical and Computer Engineering

    115
    7
     
     
  • Open details Kossi D Edoh

    NCATSU, College of Arts & Sciences, Mathematics

    14
    3
     
     
  • Open details Do Young Eun

    NCSU, College of Engineering, Electrical and Computer Engineering

    51
    5
     
     
  • Open details Frederick Ferguson

    NCATSU, College of Engineering, Mechanical and Chemical Engineering

    43
    15
     
     
  • Open details Michael V Klibanov

    UNCC, College of Liberal Arts and Sciences, Mathematics and Statistics

    120
    11
     
     
  • Open details Hamid Krim

    NCSU, College of Engineering, Electrical and Computer Engineering

    166
    28
     
     
  • Open details Peng Ning

    NCSU, College of Engineering, Computer Science and Engineering

    136
    28
     
     
  • Open details Aleksandar Pekec

    DUKE, Fuqua School of Business, Fuqua School of Business

    19
    0
     
     
  • Open details Henry Pfister

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    68
    0
     
     
  • Open details Jesus Rodriguez

    NCSU, College of Sciences, Mathematics

    31
    1
     
     
  • Open details Nagiza Faridovna Samatova

    NCSU, College of Engineering, Computer Science and Engineering

    119
    16
     
     
  • Open details Guillermo Sapiro

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    320
    0
     
     
  • Open details James Francis Selgrade

    NCSU, College of Sciences, Mathematics

    36
    8
     
     
  • Open details David Brian Sturgill

    NCSU, College of Engineering, Computer Science and Engineering

    4
    0
     
     
  • Open details Peter C Tay

    WCU, Kimmel School of Construction Management and Technology, Engineering and Technology

    29
    0
     
     
  • Open details Lawrence N. Virgin

    DUKE, Pratt School of Engineering, Mechanical Engineering and Materials Science

    172
    0
     
     
  • Open details Sheng-Guo Wang

    UNCC, William States Lee College of Engineering, Engineering Technology and Construction Management

    59
    6
     
     
  • Open details Jing Xiao

    UNCC, College of Computing and Informatics, Computer Science

    109
    15
     
     
  • Open details Weitao Yang

    DUKE, Trinity College of Arts & Sciences, Chemistry

    278
    0
     
     
  • Open details Vassil Y Yorgov

    FSU, College of Arts & Sciences, Math and Computer Science

    14
    0
     
     
  • Open details Dmitry Valerievich Zenkov

    NCSU, College of Sciences, Mathematics

    30
    4
     
     
  • Open details Ryan S Adams

    UNCC, William States Lee College of Engineering, Electrical and Computer Engineering

    44
    6
     
     
  • Open details John O Adeyeye

    WSSU, The College of Winston Salem State University, Mathematics

    13
    3
     
     
  • Open details John D. Albertson

    DUKE, Pratt School of Engineering, Civil and Environmental Engineering

    103
    0
     
     
  • Open details Peter S. Arcidiacono

    DUKE, Trinity College of Arts & Sciences, Economics

    27
    0
     
     
  • Open details Thomas Barthel

    DUKE, Trinity College of Arts & Sciences, Physics

    20
    0
     
     
  • Open details Fernando Bernstein

    DUKE, Fuqua School of Business, Fuqua School of Business

    21
    0
     
     
  • Open details Griff L Bilbro

    NCSU, College of Engineering, Electrical and Computer Engineering

    109
    10
     
     
  • Open details David J. Brady

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    355
    0
     
     
  • Open details Rick Lynn Brandenburg

    NCSU, College of Agriculture & Life Sciences, Entomology

    58
    28
     
     
  • Open details Emily Buss

    UNCCH, School of Medicine, Otolaryngology

    106
    13
     
     
  • Open details Bruce A Cairns

    UNCCH, School of Medicine, Surgery

    153
    28
     
     
  • Open details Albert Chan

    FSU, College of Arts & Sciences, Math and Computer Science

    10
    0
     
     
  • Open details Zheng Chang

    DUKE, School of Medicine, Radiation Oncology

    39
    0
     
     
  • Open details Mo-Yuen Chow

    NCSU, College of Engineering, Electrical and Computer Engineering

    225
    17
     
     
  • Open details Bojan Cukic

    UNCC, College of Computing and Informatics, Computer Science

    135
    0
     
     
  • Open details Yi Deng

    UNCC, College of Computing and Informatics, College of Computing and Informatics

    64
    1
     
     
  • Open details Mihail Devetsikiotis

    NCSU, College of Engineering, Electrical and Computer Engineering

    135
    4
     
     
  • Open details Junhua Ding

    ECU, College of Engineering and Technology, Computer Science

    36
    1
    Research Interest Icon
     
  • Open details Jacek Dmochowski

    UNCC, College of Liberal Arts and Sciences, Mathematics and Statistics

    57
    6
     
     
  • Open details RICHARD TIMOTHY DURRETT

    DUKE, Trinity College of Arts & Sciences, Mathematics

    140
    0
     
     
  • Open details Tiegang Fang

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    124
    6
     
     
  • Open details Yahya Fathi

    NCSU, College of Engineering, Fitts Department of Industrial and Systems Engineering

    49
    6
     
     
  • Open details Jason P Fine

    UNCCH, Gillings School of Global Public Health, Biostatistics

    170
    22
     
     
  • Open details John E Franke

    NCSU, College of Sciences, Mathematics

    27
    0
     
     
  • Open details Henri P. Gavin

    DUKE, Pratt School of Engineering, Civil and Environmental Engineering

    78
    0
     
     
  • Open details Gregory J Gbur

    UNCC, College of Liberal Arts and Sciences, Physics and Optical Science

    132
    5
     
     
  • Open details William G Gray

    UNCCH, Gillings School of Global Public Health, Environmental Science and Engineering

    175
    8
     
     
  • Open details Warren M. Grill

    DUKE, Pratt School of Engineering, Biomedical Engineering

    211
    0
     
     
  • Open details Xiaohui Gu

    NCSU, College of Engineering, Computer Science and Engineering

    51
    6
     
     
  • Open details Daniel X Guo

    UNCW, College of Arts & Sciences, Mathematics and Statistics

    5
    0
     
     
  • Open details Mirsad Hadzikadic

    UNCC, College of Computing and Informatics, Software and Information Systems

    45
    11
     
     
  • Open details Joseph W Hall

    UNCCH, School of Medicine, Otolaryngology

    159
    16
     
     
  • Open details Khaled Abdel Hamid Harfoush

    NCSU, College of Engineering, Computer Science and Engineering

    36
    1
     
     
  • Open details Lin He

    NCSU, College of Sciences, Chemistry

    48
    7
     
     
  • Open details Joshua L Heitman

    NCSU, College of Agriculture & Life Sciences, Soil Science

    45
    19
     
     
  • Open details Aloysius G Helminck

    NCSU, College of Sciences, Mathematics

    38
    23
     
     
  • Open details Xiaojie Hou

    UNCW, College of Arts & Sciences, Mathematics and Statistics

    11
    0
     
     
  • Open details Yeqin Huang

    WCU, Kimmel School of Construction Management and Technology, Engineering and Technology

    16
    0
     
     
  • Open details Martin A Hubbe

    NCSU, College of Natural Resources, Forest Biomaterials

    134
    16
     
     
  • Open details Atsushi Inoue

    NCSU, College of Agriculture & Life Sciences, Agricultural and Resource Economics

    36
    1
     
     
  • Open details Ilse Ipsen

    NCSU, College of Sciences, Mathematics

    61
    9
     
     
  • Open details Wu Jing

    FSU, College of Arts & Sciences, Math and Computer Science

    17
    0
     
     
  • Open details David L Jordan

    NCSU, College of Agriculture & Life Sciences, Plant and Microbial Biology

    142
    65
     
     
  • Open details Shakeeb Khan

    DUKE, Trinity College of Arts & Sciences, Economics

    25
    0
     
     
  • Open details Ki Wook Kim

    NCSU, College of Engineering, Electrical and Computer Engineering

    297
    28
     
     
  • Open details Clement Kleinstreuer

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    255
    10
     
     
  • Open details Stephen R Koenning

    NCSU, College of Agriculture & Life Sciences, Plant Pathology

    38
    60
     
     
  • Open details Michael Rene Kosorok

    UNCCH, Gillings School of Global Public Health, Biostatistics

    122
    26
     
     

show all 152 Experts

Experts based on...

Publications Grants Patents Research Interests

Your search terms

  • Theorem proving

Refine search by adding Concepts

    • Set theory

      The concept 'Set theory' has a weight of 100%
      • Convergence of numerical methods

        The concept 'Convergence of numerical methods' has a weight of 71%
        • Polynomials

          The concept 'Polynomials' has a weight of 67%
          • Computational complexity

            The concept 'Computational complexity' has a weight of 66%
            • Computational methods

              The concept 'Computational methods' has a weight of 59%
              • Approximation theory

                The concept 'Approximation theory' has a weight of 57%
                • Mathematical operators

                  The concept 'Mathematical operators' has a weight of 52%
                  • Boundary conditions

                    The concept 'Boundary conditions' has a weight of 51%
                    • Mathematical models

                      The concept 'Mathematical models' has a weight of 50%
                      • Asymptotic stability

                        The concept 'Asymptotic stability' has a weight of 49%
                        • Partial differential equations

                          The concept 'Partial differential equations' has a weight of 46%
                          • Graph theory

                            The concept 'Graph theory' has a weight of 44%
                            • Lyapunov methods

                              The concept 'Lyapunov methods' has a weight of 38%
                              • Constraint theory

                                The concept 'Constraint theory' has a weight of 37%
                                • Probability distributions

                                  The concept 'Probability distributions' has a weight of 36%
                                  • Computational geometry

                                    The concept 'Computational geometry' has a weight of 34%
                                    • Variational techniques

                                      The concept 'Variational techniques' has a weight of 30%
                                      • Gaussian noise (electronic)

                                        The concept 'Gaussian noise (electronic)' has a weight of 29%
                                        • Iterative methods

                                          The concept 'Iterative methods' has a weight of 28%
                                          • Turing machines

                                            The concept 'Turing machines' has a weight of 27%
                                            • Parameter estimation

                                              The concept 'Parameter estimation' has a weight of 27%
                                              • Boundary value problems

                                                The concept 'Boundary value problems' has a weight of 25%
                                                • Random processes

                                                  The concept 'Random processes' has a weight of 25%
                                                  • Parallel algorithms

                                                    The concept 'Parallel algorithms' has a weight of 25%
                                                    • Algebra

                                                      The concept 'Algebra' has a weight of 25%
                                                      • Differential equations

                                                        The concept 'Differential equations' has a weight of 24%
                                                        • Computer simulation

                                                          The concept 'Computer simulation' has a weight of 23%
                                                          • Inverse problems

                                                            The concept 'Inverse problems' has a weight of 22%
                                                            • Encoding (symbols)

                                                              The concept 'Encoding (symbols)' has a weight of 22%
                                                              • Integrodifferential equations

                                                                The concept 'Integrodifferential equations' has a weight of 21%
                                                                • Hamiltonians

                                                                  The concept 'Hamiltonians' has a weight of 20%
                                                                  • Nonlinear equations

                                                                    The concept 'Nonlinear equations' has a weight of 20%
                                                                    • Linear equations

                                                                      The concept 'Linear equations' has a weight of 20%
                                                                      • Differentiation (calculus)

                                                                        The concept 'Differentiation (calculus)' has a weight of 19%
                                                                        • System stability

                                                                          The concept 'System stability' has a weight of 19%
                                                                          • Eigenvalues and eigenfunctions

                                                                            The concept 'Eigenvalues and eigenfunctions' has a weight of 18%
                                                                            • Topology

                                                                              The concept 'Topology' has a weight of 17%
                                                                              • Perturbation techniques

                                                                                The concept 'Perturbation techniques' has a weight of 16%
                                                                                • Modulation

                                                                                  The concept 'Modulation' has a weight of 16%
                                                                                  • Robustness (control systems)

                                                                                    The concept 'Robustness (control systems)' has a weight of 16%
                                                                                    • Markov processes

                                                                                      The concept 'Markov processes' has a weight of 16%
                                                                                      • Automatic testing

                                                                                        The concept 'Automatic testing' has a weight of 16%
                                                                                        • Motion estimation

                                                                                          The concept 'Motion estimation' has a weight of 16%
                                                                                          • Boundary element method

                                                                                            The concept 'Boundary element method' has a weight of 16%
                                                                                            • Maximum likelihood estimation

                                                                                              The concept 'Maximum likelihood estimation' has a weight of 15%
                                                                                              • Game theory

                                                                                                The concept 'Game theory' has a weight of 15%
                                                                                                • Multi agent systems

                                                                                                  The concept 'Multi agent systems' has a weight of 15%
                                                                                                  • Temporal logic

                                                                                                    The concept 'Temporal logic' has a weight of 15%
                                                                                                    • Motion planning

                                                                                                      The concept 'Motion planning' has a weight of 15%
                                                                                                      • Binary sequences

                                                                                                        The concept 'Binary sequences' has a weight of 15%