User

Johnconstantine

Revision as of 01:04, 2 October 2020 by Johnconstantine (Talk | contribs)

Todo: Update with current information following Spring 2019 election

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 john_constantine

Favorite past times: Ranting about physics stuff, general snark, and having very bad ideas about side projects (working on the Imitation Game for AI final project).

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.


DocBrown.jpg