Faculty working in this area
| Faculty | website | |
|---|---|---|
| Eric Atkinson | eatkinson2@binghamton.edu | |
| William Hallahan | whallahan@binghamton.edu | |
| Leslie C. Lander | lander@binghamton.edu | |
| Yu (David) Liu | davidl@binghamton.edu | |
| Aravind Prakash | aprakash@binghamton.edu |
Highlights in this area
works on programming languages for uncertainty, including probabilistic programming and nondeterministic belief programming. His research interests include programming languages, program runtimes, program analysis, formal methods and language design for unusual domains.
is interested in formal methods, including program analysis, verification and synthesis techniques. He applies theses techniques across a variety of domains, including functional programming languages, networking systems and machine learning models.
researches programming languages and software engineering (energy-aware programming languages, energy-efficient and power-aware language runtimes, energy-aware deep neutral networks), security (formal reasoning of software/hardware interfaces) and robotics (safety and reliability of UAVs).
specializes in source code and binary program analysis with emphasis on security. His recent and ongoing projects include code instrumentation via compiler modifications and binary instrumentation to enforce security policies. His group also works on vulnerability analysis and hardware-software cohesive security.