User

Johnconstantine

Revision as of 13:49, 29 October 2021 by Johnconstantine (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 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.


DocBrown.jpg