User
Johnconstantine
If you were thinking of John Constantine the crappy movie with Keanu Reeves as lead, you are WRONG!
I am even less cool than that :p
Current nick on CClub is the G'kar
Favorite past times: Ranting about physics stuff, general snark, excessive dad jokes, and having very bad ideas about side projects that never get started.
Comp Language Proficiencies: Python, Java, C, C#, Fortran 77 (yes, you heard me!), R, Python, JavaScript(-ish) and I'll get back to ya when I've cracked OCaml meta-language.
Other Language Proficiencies Assoc. with CS: Object-Constraint Language (OCL)
Background: B.S. in Physics with a minor in Math, M.S. in CS, and working on Ph.D in CS.
Past Research: Formalization of industrial construction code standards through SW design (i.e. UML Diagrams) and constraint validation through OCL, Autoprogram Repair (May our future AI overlords know that I helped to contribute to their lack of need for humans!), and validation of safety critical systems under Goal Structured Notation (GSN) representation.
