• Home
  •  > Find the Expert

145 Experts found

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

    DUKE, Trinity College of Arts & Sciences, Computer Science

    129
    0
     
     
  • Open details Pankaj K. Agarwal

    DUKE, Trinity College of Arts & Sciences, Computer Science

    255
    0
     
     
  • Open details Kazufumi Ito

    NCSU, College of Sciences, Mathematics

    191
    19
     
     
  • Open details Robert Calderbank

    DUKE, Trinity College of Arts & Sciences, Computer Science

    317
    0
     
     
  • Open details Shu C Fang

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

    176
    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

    476
    0
     
     
  • Open details Fen Wu

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    119
    6
     
     
  • Open details Bo Zhang

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

    33
    0
     
     
  • Open details Harvey Thomas Banks

    NCSU, College of Sciences, Mathematics

    290
    39
     
     
  • Open details Hoon Hong

    NCSU, College of Sciences, Mathematics

    44
    7
     
     
  • Open details Kishor S. Trivedi

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    412
    0
     
     
  • Open details Ingrid Daubechies

    DUKE, Trinity College of Arts & Sciences, Mathematics

    109
    0
     
     
  • Open details Brian L Hughes

    NCSU, College of Engineering, Electrical and Computer Engineering

    88
    13
     
     
  • Open details Erich L Kaltofen

    NCSU, College of Sciences, Mathematics

    70
    12
     
     
  • Open details William John Rasdorf

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

    124
    14
     
     
  • Open details Mladen A Vouk

    NCSU, College of Engineering, Computer Science and Engineering

    150
    50
     
     
  • 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

    89
    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

    68
    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

    47
    0
     
     
  • Open details Dror Zeev Baron

    NCSU, College of Engineering, Electrical and Computer Engineering

    32
    2
     
     
  • 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

    142
    15
     
     
  • Open details Alina Emil Chertock

    NCSU, College of Sciences, Mathematics

    29
    5
     
     
  • Open details Moody Ten-Chao Chu

    NCSU, College of Sciences, Mathematics

    64
    8
     
     
  • Open details Jeremy Dahl

    DUKE, Pratt School of Engineering, Biomedical Engineering

    83
    0
     
     
  • Open details Huaiyu Dai

    NCSU, College of Engineering, Electrical and Computer Engineering

    101
    6
     
     
  • 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

    47
    4
     
     
  • Open details Frederick Ferguson

    NCATSU, College of Engineering, Mechanical and Chemical Engineering

    41
    14
     
     
  • Open details Michael V Klibanov

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

    103
    10
     
     
  • Open details Hamid Krim

    NCSU, College of Engineering, Electrical and Computer Engineering

    154
    23
     
     
  • Open details Peng Ning

    NCSU, College of Engineering, Computer Science and Engineering

    127
    27
     
     
  • Open details Aleksandar Pekec

    DUKE, Fuqua School of Business, Fuqua School of Business

    19
    0
     
     
  • Open details Jesus Rodriguez

    NCSU, College of Sciences, Mathematics

    37
    1
     
     
  • Open details Nagiza Faridovna Samatova

    NCSU, College of Engineering, Computer Science and Engineering

    102
    13
     
     
  • Open details Guillermo Sapiro

    DUKE, Pratt School of Engineering, Electrical and Computer Engineering

    300
    0
     
     
  • Open details James Francis Selgrade

    NCSU, College of Sciences, Mathematics

    32
    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

    27
    0
     
     
  • Open details Gregg E. Trahey

    DUKE, Pratt School of Engineering, Biomedical Engineering

    260
    0
     
     
  • Open details Lawrence N. Virgin

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

    160
    0
     
     
  • Open details Sheng-Guo Wang

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

    51
    4
     
     
  • Open details Weitao Yang

    DUKE, Trinity College of Arts & Sciences, Chemistry

    258
    0
     
     
  • Open details Vassil Y Yorgov

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

    13
    0
     
     
  • Open details Dmitry Valerievich Zenkov

    NCSU, College of Sciences, Mathematics

    27
    4
     
     
  • Open details Ryan S Adams

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

    33
    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

    97
    0
     
     
  • Open details Peter S. Arcidiacono

    DUKE, Trinity College of Arts & Sciences, Economics

    23
    0
     
     
  • Open details Fernando Bernstein

    DUKE, Fuqua School of Business, Fuqua School of Business

    19
    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

    254
    0
     
     
  • Open details Rick Lynn Brandenburg

    NCSU, College of Agriculture & Life Sciences, Entomology

    54
    23
     
     
  • Open details Emily Buss

    UNCCH, School of Medicine, Otolaryngology

    94
    11
     
     
  • Open details Bruce A Cairns

    UNCCH, School of Medicine, Surgery

    126
    23
     
     
  • 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

    34
    0
     
     
  • Open details Mo-Yuen Chow

    NCSU, College of Engineering, Electrical and Computer Engineering

    217
    16
     
     
  • Open details Yi Deng

    UNCC, College of Computing & Informatics, Computing and Informatics

    61
    1
     
     
  • Open details Mihail Devetsikiotis

    NCSU, College of Engineering, Electrical and Computer Engineering

    130
    4
     
     
  • Open details Junhua Ding

    ECU, College of Technology & Computer Science, Computer Science

    30
    1
     
     
  • Open details Jacek Dmochowski

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

    52
    6
     
     
  • Open details RICHARD TIMOTHY DURRETT

    DUKE, Trinity College of Arts & Sciences, Mathematics

    132
    0
     
     
  • Open details Tiegang Fang

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    103
    5
     
     
  • Open details Yahya Fathi

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

    46
    6
     
     
  • Open details Jason P Fine

    UNCCH, Gillings School of Global Public Health, Biostatistics

    161
    19
     
     
  • 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

    71
    0
     
     
  • Open details William G Gray

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

    172
    7
     
     
  • Open details Warren M. Grill

    DUKE, Pratt School of Engineering, Biomedical Engineering

    191
    0
     
     
  • Open details Xiaohui Gu

    NCSU, College of Engineering, Computer Science and Engineering

    47
    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

    44
    9
     
     
  • Open details Joseph W Hall

    UNCCH, School of Medicine, Otolaryngology

    149
    15
     
     
  • Open details Khaled Abdel Hamid Harfoush

    NCSU, College of Engineering, Computer Science and Engineering

    32
    1
     
     
  • Open details Lin He

    NCSU, College of Sciences, Chemistry

    48
    6
     
     
  • Open details Joshua L Heitman

    NCSU, College of Agriculture & Life Sciences, Soil Science

    34
    15
     
     
  • Open details Aloysius G Helminck

    NCSU, College of Sciences, Mathematics

    34
    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

    14
    0
     
     
  • Open details Martin A Hubbe

    NCSU, College of Natural Resources, Forest Biomaterials

    125
    13
     
     
  • 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
    8
     
     
  • 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

    131
    57
     
     
  • 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

    280
    28
     
     
  • Open details Clement Kleinstreuer

    NCSU, College of Engineering, Mechanical & Aerospace Engineering

    248
    10
     
     
  • Open details Stephen R Koenning

    NCSU, College of Agriculture & Life Sciences, Plant Pathology

    37
    59
     
     
  • Open details Michael Rene Kosorok

    UNCCH, Gillings School of Global Public Health, Biostatistics

    118
    23
     
     
  • Open details Thomas J Lada

    NCSU, College of Sciences, Mathematics

    12
    2
     
     
  • Open details Soumendra Nath Lahiri

    NCSU, College of Agriculture & Life Sciences, Statistics

    68
    0
     
     
  • Open details Venkatakris Lakshminarasimhan

    ECU, College of Technology & Computer Science, Computer Science

    58
    0
     
     
  • Open details Mark C Lammers

    UNCW, College of Arts & Sciences, Mathematics and Statistics

    13
    0
     
     
  • Open details Zhichao Li

    NCATSU, College of Engineering, Industrial and Systems Engineering

    43
    2
     
     
  • Open details Zhilin Li

    NCSU, College of Sciences, Mathematics

    75
    17
     
     

show all 145 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 76%
        • Computational complexity

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

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

              The concept 'Polynomials' has a weight of 65%
              • Partial differential equations

                The concept 'Partial differential equations' has a weight of 64%
                • Approximation theory

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

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

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

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

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

                            The concept 'Graph theory' has a weight of 45%
                            • Constraint theory

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

                                The concept 'Lyapunov methods' has a weight of 44%
                                • Variational techniques

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

                                    The concept 'Computational geometry' has a weight of 34%
                                    • Parameter estimation

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

                                        The concept 'Probability distributions' has a weight of 32%
                                        • Iterative methods

                                          The concept 'Iterative methods' has a weight of 32%
                                          • Parallel algorithms

                                            The concept 'Parallel algorithms' has a weight of 30%
                                            • Inverse problems

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

                                                The concept 'Turing machines' has a weight of 28%
                                                • Boundary value problems

                                                  The concept 'Boundary value problems' has a weight of 26%
                                                  • Eigenvalues and eigenfunctions

                                                    The concept 'Eigenvalues and eigenfunctions' has a weight of 25%
                                                    • Algebra

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

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

                                                          The concept 'Nonlinear equations' has a weight of 25%
                                                          • Perturbation techniques

                                                            The concept 'Perturbation techniques' has a weight of 25%
                                                            • Gaussian noise (electronic)

                                                              The concept 'Gaussian noise (electronic)' has a weight of 23%
                                                              • Computer simulation

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

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

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

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

                                                                        The concept 'Binary codes' has a weight of 21%
                                                                        • Hamiltonians

                                                                          The concept 'Hamiltonians' has a weight of 21%
                                                                          • 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%
                                                                                • Time domain analysis

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

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

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

                                                                                        The concept 'Automatic testing' has a weight of 16%
                                                                                        • Multi agent systems

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

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

                                                                                              The concept 'Maximum likelihood estimation' has a weight of 16%
                                                                                              • Temporal logic

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

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

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

                                                                                                      The concept 'Equivalence classes' has a weight of 15%
                                                                                                      • Probability density function

                                                                                                        The concept 'Probability density function' has a weight of 14%