• Home
  •  > Find the Expert

146 Experts found

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

    DUKE, Trinity College of Arts & Sciences, Computer Science

    145
    0
     
     
  • Open details Pankaj K. Agarwal

    DUKE, Trinity College of Arts & Sciences, Computer Science

    262
    0
     
     
  • Open details Kazufumi Ito

    NCSU, College of Sciences, Mathematics

    196
    19
     
     
  • Open details Robert Calderbank

    DUKE, Trinity College of Arts & Sciences, Computer Science

    339
    0
     
     
  • Open details Shu C Fang

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

    183
    12
     
     
  • Open details John H. Reif

    DUKE, Trinity College of Arts & Sciences, Computer Science

    245
    0
     
     
  • Open details Krishnendu Chakrabarty

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    507
    0
     
     
  • Open details Fen Wu

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    128
    6
     
     
  • Open details Bo Zhang

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

    34
    0
     
     
  • Open details Harvey Thomas Banks

    NCSU, College of Sciences, Mathematics

    297
    39
     
     
  • Open details Hoon Hong

    NCSU, College of Sciences, Mathematics

    45
    7
     
     
  • Open details Kishor S. Trivedi

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    427
    0
     
     
  • Open details Ingrid Daubechies

    DUKE, Trinity College of Arts & Sciences, Mathematics

    112
    0
     
     
  • Open details Brian L Hughes

    NCSU, College of Engineering, Electrical and Computer Engineering

    90
    13
     
     
  • Open details Erich L Kaltofen

    NCSU, College of Sciences, Mathematics

    71
    13
     
     
  • Open details William John Rasdorf

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

    126
    14
     
     
  • Open details Mladen A Vouk

    NCSU, College of Engineering, Computer Science and Engineering

    159
    52
     
     
  • Open details Yongge Wang

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

    45
    5
     
     
  • Open details Rebecca Willett

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    104
    0
     
     
  • Open details Robert E Young

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

    21
    3
     
     
  • Open details Yuliang Zheng

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

    72
    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

    37
    3
     
     
  • Open details Donald L Bitzer

    NCSU, College of Engineering, Computer Science and Engineering

    53
    1
     
     
  • Open details Stephen LaVern Campbell

    NCSU, College of Sciences, Mathematics

    146
    15
     
     
  • Open details Alina Emil Chertock

    NCSU, College of Sciences, Mathematics

    30
    6
     
     
  • Open details Moody Ten-Chao Chu

    NCSU, College of Sciences, Mathematics

    66
    8
     
     
  • Open details Jeremy Dahl

    DUKE, Pratt School of Engineering, Biomedical Engineering

    97
    0
     
     
  • Open details Huaiyu Dai

    NCSU, College of Engineering, Electrical and Computer Engineering

    104
    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
    14
     
     
  • Open details Michael V Klibanov

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

    109
    11
     
     
  • Open details Hamid Krim

    NCSU, College of Engineering, Electrical and Computer Engineering

    162
    27
     
     
  • Open details Peng Ning

    NCSU, College of Engineering, Computer Science and Engineering

    130
    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

    65
    0
     
     
  • Open details Jesus Rodriguez

    NCSU, College of Sciences, Mathematics

    30
    1
     
     
  • Open details Nagiza Faridovna Samatova

    NCSU, College of Engineering, Computer Science and Engineering

    114
    15
     
     
  • Open details Guillermo Sapiro

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    312
    0
     
     
  • Open details James Francis Selgrade

    NCSU, College of Sciences, Mathematics

    34
    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 Gregg E. Trahey

    DUKE, Pratt School of Engineering, Biomedical Engineering

    275
    0
     
     
  • Open details Lawrence N. Virgin

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

    165
    0
     
     
  • Open details Sheng-Guo Wang

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

    52
    4
     
     
  • Open details Weitao Yang

    DUKE, Trinity College of Arts & Sciences, Chemistry

    262
    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

    28
    4
     
     
  • Open details Ryan S Adams

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

    37
    6
     
     
  • Open details John O Adeyeye

    WSSU, College of Arts & Sciences, Mathematics

    13
    3
     
     
  • Open details John D. Albertson

    DUKE, Pratt School of Engineering, Civil and Environmental Engineering

    100
    0
     
     
  • Open details Peter S. Arcidiacono

    DUKE, Trinity College of Arts & Sciences, Economics

    26
    0
     
     
  • Open details Fernando Bernstein

    DUKE, Fuqua School of Business, Fuqua School of Business

    20
    0
     
     
  • Open details Griff L Bilbro

    NCSU, College of Engineering, Electrical and Computer Engineering

    107
    10
     
     
  • Open details David J. Brady

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    343
    0
     
     
  • Open details Rick Lynn Brandenburg

    NCSU, College of Agriculture & Life Sciences, Entomology

    57
    27
     
     
  • Open details Emily Buss

    UNCCH, School of Medicine, Otolaryngology

    100
    11
     
     
  • Open details Bruce A Cairns

    UNCCH, School of Medicine, Surgery

    139
    26
     
     
  • 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

    35
    0
     
     
  • Open details Mo-Yuen Chow

    NCSU, College of Engineering, Electrical and Computer Engineering

    221
    16
     
     
  • Open details Yi Deng

    UNCC, College of Computing & Informatics, Computing and Informatics

    64
    1
     
     
  • Open details Mihail Devetsikiotis

    NCSU, College of Engineering, Electrical and Computer Engineering

    132
    4
     
     
  • Open details Junhua Ding

    ECU, College of Technology and Computer Science, Computer Science

    34
    1
    Research Interest Icon
     
  • Open details Jacek Dmochowski

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

    55
    6
     
     
  • Open details RICHARD TIMOTHY DURRETT

    DUKE, Trinity College of Arts & Sciences, Mathematics

    135
    0
     
     
  • Open details Tiegang Fang

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    112
    6
     
     
  • Open details Yahya Fathi

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

    48
    6
     
     
  • Open details Jason P Fine

    UNCCH, Gillings School of Global Public Health, Biostatistics

    164
    20
     
     
  • 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

    75
    0
     
     
  • Open details William G Gray

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

    173
    8
     
     
  • Open details Warren M. Grill

    DUKE, Pratt School of Engineering, Biomedical Engineering

    205
    0
     
     
  • Open details Xiaohui Gu

    NCSU, College of Engineering, Computer Science and Engineering

    49
    5
     
     
  • Open details Daniel X Guo

    UNCW, College of Arts & Sciences, Mathematics and Statistics

    5
    0
     
     
  • Open details Mirsad Hadzikadic

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

    45
    10
     
     
  • Open details Joseph W Hall

    UNCCH, School of Medicine, Otolaryngology

    152
    15
     
     
  • Open details Khaled Abdel Hamid Harfoush

    NCSU, College of Engineering, Computer Science and Engineering

    34
    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

    39
    17
     
     
  • Open details Aloysius G Helminck

    NCSU, College of Sciences, Mathematics

    36
    21
     
     
  • 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

    15
    0
     
     
  • Open details Martin A Hubbe

    NCSU, College of Natural Resources, Forest Biomaterials

    131
    16
     
     
  • Open details Atsushi Inoue

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

    33
    1
     
     
  • Open details Ilse Ipsen

    NCSU, College of Sciences, Mathematics

    58
    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

    137
    62
     
     
  • 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

    293
    28
     
     
  • Open details Clement Kleinstreuer

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    252
    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

    121
    25
     
     
  • Open details Thomas J Lada

    NCSU, College of Sciences, Mathematics

    12
    2
     
     
  • Open details Soumendra Nath Lahiri

    NCSU, College of Agriculture & Life Sciences, Statistics

    74
    0
     
     
  • Open details Mark C Lammers

    UNCW, College of Arts & Sciences, Mathematics and Statistics

    14
    0
     
     
  • Open details Zhichao Li

    NCATSU, College of Engineering, Industrial and Systems Engineering

    47
    2
     
     
  • Open details Zhilin Li

    NCSU, College of Sciences, Mathematics

    78
    17
     
     

show all 146 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 79%
        • Polynomials

          The concept 'Polynomials' has a weight of 70%
          • Computational methods

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

              The concept 'Computational complexity' has a weight of 67%
              • Partial differential equations

                The concept 'Partial differential equations' has a weight of 66%
                • Mathematical operators

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

                    The concept 'Approximation theory' has a weight of 59%
                    • Asymptotic stability

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

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

                          The concept 'Boundary conditions' has a weight of 51%
                          • Graph theory

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

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

                                The concept 'Constraint theory' has a weight of 42%
                                • Variational techniques

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

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

                                      The concept 'Probability distributions' has a weight of 34%
                                      • Parameter estimation

                                        The concept 'Parameter estimation' has a weight of 31%
                                        • Gaussian noise (electronic)

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

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

                                              The concept 'Turing machines' has a weight of 29%
                                              • Inverse problems

                                                The concept 'Inverse problems' has a weight of 29%
                                                • Boundary value problems

                                                  The concept 'Boundary value problems' has a weight of 27%
                                                  • Parallel algorithms

                                                    The concept 'Parallel algorithms' has a weight of 26%
                                                    • Differential equations

                                                      The concept 'Differential equations' has a weight of 26%
                                                      • Perturbation techniques

                                                        The concept 'Perturbation techniques' has a weight of 26%
                                                        • Computer simulation

                                                          The concept 'Computer simulation' has a weight of 24%
                                                          • Encoding (symbols)

                                                            The concept 'Encoding (symbols)' has a weight of 23%
                                                            • Random processes

                                                              The concept 'Random processes' has a weight of 22%
                                                              • Integrodifferential equations

                                                                The concept 'Integrodifferential equations' has a weight of 22%
                                                                • Algebra

                                                                  The concept 'Algebra' has a weight of 22%
                                                                  • Hamiltonians

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

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

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

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

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

                                                                              The concept 'Eigenvalues and eigenfunctions' has a weight of 19%
                                                                              • Time domain analysis

                                                                                The concept 'Time domain analysis' has a weight of 17%
                                                                                • Modulation

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

                                                                                    The concept 'Robustness (control systems)' has a weight of 17%
                                                                                    • Automatic testing

                                                                                      The concept 'Automatic testing' has a weight of 17%
                                                                                      • Maximum likelihood estimation

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

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

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

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

                                                                                                The concept 'Motion planning' has a weight of 16%
                                                                                                • Equivalence classes

                                                                                                  The concept 'Equivalence classes' has a weight of 15%
                                                                                                  • Linear programming

                                                                                                    The concept 'Linear programming' has a weight of 15%
                                                                                                    • Probability density function

                                                                                                      The concept 'Probability density function' has a weight of 15%
                                                                                                      • Piecewise linear techniques

                                                                                                        The concept 'Piecewise linear techniques' has a weight of 15%