I am looking to build a team at Harvard SEAS starting Fall 2019.
My goal is to explore new ways of programming that are easier, faster, safer.
For safer, I look at systems and formalisms based on types and verification.
For faster, I look at meta-programming techniques including generative programming and reflection to collapse levels of interpretations as well as moving between different views of the same program in a way that helps optimizations, understanding and modifications.
For easier, my goal is to enable a greater number of people to manipulate computer programs (static) and processes (dynamic) in a robust way. To this end, I look at combining Machine Learning and Programming Languages to enable the creation of neuro-symbolic systems that can move back and forth between learnable (neural) and interpretable (symbolic) representations of a system.
My background and expertise is in Programming Languages (types, generative programming), and I am looking for students and postdocs with reinforcing as well as complementary skills. I like to work with other groups, specially in application domains to get inspired to build better computation.
Python, starting with
VPython, to visualize duplications & speciations in time
Javato filter biological networks
Common Lisp] (G+)
Common Lisp] (6/6)
Awk& shell scripts
CSScompiler for Android projects
C#to enable a RAD (Rapid-Application Development) experience for data-driven WCF (Windows Communication Foundation) clients
C++according to the
RDBMSwith Philip Greenspun