Faculty

Institution

Unit

Venue

Sandeep K Neema

Vanderbilt University

Affiliations

School of Engineering

Electrical and Computer Engineering

NoneSandeep K Neema is currently serving as a Electrical And Computer Engineering faculty at Vanderbilt University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sandeep K Neema

Vanderbilt University

You can click a keyword to filter the displayed items

systems engineering computer science design automation design software engineering modeling and simulation software design cyber-physical systems engineering system software machine learning domain-specific modeling internet of things natural language processing model integration reliability engineering quality-of-service information technology programming languages cybernetics logic in computer science design space exploration adaptive computing scientific computing space exploration virtual prototyping constraint solving reconfigurable architectures cyber physical systems adas virtual prototyping behavioral semantics large-scale embedded systems intelligent computing mobile computing vehicular technology distributed computing co-simulation domain-specific modeling languages model-integrated computing satisfiability solving inductive synthesis numerical simulations shock waves system specification formal specification constraint satisfaction motion control model synthesis software architecture modeling model analysis formal semantics aeronautics qos adaptation metaprogrammable tools modeling language compositional specification information fusion wireless communications information visualization semantic search self-management program transformation generative systems generative development vlsi design semantic learning service integration acoustical engineering specification (technical standard) constrained optimization constraint programming control engineering model-driven design environments symbolic search multi-granular simulation constraint-based design-space exploration computer engineering computer architecture embedded architecture systems modeling model-based system engineering

Notable Scholarly Works

Notable Federal Grants

Collaborators

Hardware in the Loop Evaluation on Autonomous Underwater Vehicles Using an Edge Device. (2025)

unmanned aerial vehiclesloop evaluationunderwater vehiclesautonomous underwater vehiclesunderwater technologiesocean engineeringcomputer engineeringedge devicemarine engineeringnavigationunderwater systemsunderwater robotaerospace engineering

Neurosymbolic AI as an Antithesis to Scaling Laws. PNAS Nexus (2025)

Alvaro VelasquezNeel BhattUfuk TopcuZhangyang WangKatia SycaraSimon StepputtisSandeep NeemaGautam Vallabha

neural scaling lawartificial intelligenceneuroscienceneurosymbolic ai

RAMPART: Reinforcement Against Malicious Penetration by Adversaries in Realistic Topologies. (2024)

Himanshu NeemaDaniel BalasubramanianHarsh VardhanHarmon NineSandeep Neema

computer sciencemachine learningcomputer securityadversarial machine learningrealistic topologiesmalicious penetration

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM) (2023)

Sumit Kumar JhaSusmit JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezRickard EwetzSandeep Neema

natural language processinglinguisticssatisfiability solvinginductive synthesis

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. (2023)

Susmit JhaSumit Kumar JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezSandeep Neema

iterative promptingformal methodsnatural language processinglinguistics

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. arXiv (Cornell University) (2023)

Jha, Sumit KumarJha, SusmitLincoln, PatrickBastian, Nathaniel D.Velasquez, AlvaroEwetz, RickardNeema, Sandeep

satisfiability solvingnatural language processingneurosciencecognitive scienceartificial intelligenceinductive synthesiscomputational neuroscience

Mission-Based Reliability Prediction in Component-Based Systems. International Journal of Prognostics and Health Management (2020)

Saideep NannapaneniAbhishek DubeySherif AbdelwahedSankaran MahadevanSandeep NeemaTed Bapty

mission-based reliability predictionreliability predictionsystems engineeringcomponent-based systemsreliability engineering

Model and Tool Integration Platforms for Cyber–Physical System Design. Proceedings of the IEEE (2018)

Janos SztipanovitsTed BaptyXenofon KoutsoukosZsolt LattmannSandeep NeemaEthan Jackson

designtool integration platformssystems engineeringmodel integrationmodeling and simulationcyber-physical system designcyber-physical systems

Integrated Modeling and Simulation for Cyberphysical Systems Extending Multi-Domain M&S to the Design Community. (2017)

Theodore A. BaptyJason ScottSandeep NeemaRobert Owens

integrated modelingdesigncyberphysical systemsmodeling and simulationdesign community

Adas Virtual Prototyping Using Modelica and Unity Co-Simulation via Openmeta. Linköping electronic conference proceedings (2016)

Masahiro YamauraNikos ArechigaShinichi ShiraishiScott EiseleJoseph HiteSandeep NeemaJason ScottTheodore Bapty

computer scienceunity co-simulationvirtual prototypingmodeling and simulationadas virtual prototyping

1
2
3
4
5
22
10 / page

Sandeep K Neema

Vanderbilt University

Affiliations

School of Engineering

Electrical and Computer Engineering

NoneSandeep K Neema is currently serving as a Electrical And Computer Engineering faculty at Vanderbilt University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sandeep K Neema

Vanderbilt University

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Hardware in the Loop Evaluation on Autonomous Underwater Vehicles Using an Edge Device. (2025)

Neurosymbolic AI as an Antithesis to Scaling Laws. PNAS Nexus (2025)

Alvaro VelasquezNeel BhattUfuk TopcuZhangyang WangKatia SycaraSimon StepputtisSandeep NeemaGautam Vallabha

neural scaling lawartificial intelligenceneuroscienceneurosymbolic ai

RAMPART: Reinforcement Against Malicious Penetration by Adversaries in Realistic Topologies. (2024)

Himanshu NeemaDaniel BalasubramanianHarsh VardhanHarmon NineSandeep Neema

computer sciencemachine learningcomputer securityadversarial machine learningrealistic topologiesmalicious penetration

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM) (2023)

Sumit Kumar JhaSusmit JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezRickard EwetzSandeep Neema

natural language processinglinguisticssatisfiability solvinginductive synthesis

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. (2023)

Susmit JhaSumit Kumar JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezSandeep Neema

iterative promptingformal methodsnatural language processinglinguistics

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. arXiv (Cornell University) (2023)

Jha, Sumit KumarJha, SusmitLincoln, PatrickBastian, Nathaniel D.Velasquez, AlvaroEwetz, RickardNeema, Sandeep

satisfiability solvingnatural language processingneurosciencecognitive scienceartificial intelligenceinductive synthesiscomputational neuroscience

Mission-Based Reliability Prediction in Component-Based Systems. International Journal of Prognostics and Health Management (2020)

Saideep NannapaneniAbhishek DubeySherif AbdelwahedSankaran MahadevanSandeep NeemaTed Bapty

mission-based reliability predictionreliability predictionsystems engineeringcomponent-based systemsreliability engineering

Model and Tool Integration Platforms for Cyber–Physical System Design. Proceedings of the IEEE (2018)

Janos SztipanovitsTed BaptyXenofon KoutsoukosZsolt LattmannSandeep NeemaEthan Jackson

designtool integration platformssystems engineeringmodel integrationmodeling and simulationcyber-physical system designcyber-physical systems

Integrated Modeling and Simulation for Cyberphysical Systems Extending Multi-Domain M&S to the Design Community. (2017)

Theodore A. BaptyJason ScottSandeep NeemaRobert Owens

integrated modelingdesigncyberphysical systemsmodeling and simulationdesign community

Adas Virtual Prototyping Using Modelica and Unity Co-Simulation via Openmeta. Linköping electronic conference proceedings (2016)

Masahiro YamauraNikos ArechigaShinichi ShiraishiScott EiseleJoseph HiteSandeep NeemaJason ScottTheodore Bapty

computer scienceunity co-simulationvirtual prototypingmodeling and simulationadas virtual prototyping

1
2
3
4
5
22
10 / page

Similar Faculty Members

Theodore Bapty

Institution

Vanderbilt University

design automation

system integration

Jonathan Sprinkle

Institution

Vanderbilt University

systems modeling

industrial informatics

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Aniruddha S Gokhale

Institution

Vanderbilt University

cyber-physical systems

smart cities

Christopher Gill

Institution

Washington University in St. Louis

real-time system design

real time systems

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Xenofon Koutsoukos

Institution

Vanderbilt University

adaptive resource management

autonomic computing

Bernard P. Zeigler

Institution

University of Arizona

design automation

model-based system engineering

Similar Faculty Members

Theodore Bapty

Institution

Vanderbilt University

design automation

system integration

Jonathan Sprinkle

Institution

Vanderbilt University

systems modeling

industrial informatics

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Aniruddha S Gokhale

Institution

Vanderbilt University

cyber-physical systems

smart cities

Christopher Gill

Institution

Washington University in St. Louis

real-time system design

real time systems

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Xenofon Koutsoukos

Institution

Vanderbilt University

adaptive resource management

autonomic computing

Bernard P. Zeigler

Institution

University of Arizona

design automation

model-based system engineering