About Me
I am a computer scientist, machine learning practitioner, quantitative finance developer, and entrepreneur. Lover of India. Writer, traveler, and wannabe world-saver.
Miscellaneous
- Erdős number
- Pictures (email me for access)
- I ported PUAE, an Amiga 500 emulator, to Google Chrome using Portable Native Client (PNaCl). You can find the code for the emulator at GitLab and read about it on Ars Technica, The Register, CNET, and many other sites.
Publications
See my profile on Google Scholar for an up-to-date list. The outdated list below contains some direct links to PDF files and is kept for that reason.
- “On Controlled Flexibility” Signe Ellegård Borch, Christian Stefansen, Seventh Workshop on Business Process Modeling, Development, and Support, BPMDS, June 2006
- “Compositional Specification of Commercial Contracts” Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen, 1st International Symposium on Leveraging Applications of Formal Methods, 2004 Accompanying technical report
- “Qualification Report” Christian Stefansen, unpublished, Sep. 2005
- “SMAWL: A Small Workflow Language Based on CCS” Christian Stefansen, CAiSE Forum, 2005
- “SMAWL: A SMAll Workflow Language Based on CCS” Christian Stefansen, Technical Report, TR-06-05, Harvard University
- “Expressing Workflow Patterns in CCS” Christian Stefansen, unpublished, 2005
- “Evaluating the REA Enterprise Ontology from an Operational Perspective”, Signe Ellegård Borch, Christian Stefansen, Enterprise Modelling and Ontologies for Interoperability, EMOI – INTEROP 2004
- “Transforming the Resources/Events/Agents Model into a Formal Process-Oriented Enterprise Framework”, Christian Stefansen, position paper for the First International REA Technology Workshop, April 2004
Slides from Presentations and Misc. Documents (VERY OLD)
- Workflows for eScience (presentation at DIKU, eScience Day, Sep. 2006)
- A Declarative Framework for Enterprise Systems (presentation at Yale University, Feb. 2006; Northeastern University, Mar. 2006; Microsoft Research, Bangalore, Aug. 2006)
- Qualification Report (slides from qualification defense, Sep. 2005)
- SMAWL: A SMAll Workflow Language Based on CCS (poster from CAiSE Forum, 2005)
- Compositional Specification of Commercial Contracts (ps.gz) (presentation at ISoLA, 2004)
- Formal Commercial Contracts(presentation given June 14, 2004 at Microsoft Research, Redmond) (also dvi and ps/gz)
- Studieplan for ph.d.-projekt (pdf) (KLADDE)
- Mini-seminar: The General Ledger (ps.gz)
- Mini-seminar: Activity-Based Costing (ps.gz)
- Workflow Modeling Using the pi-Calculus (short NEXT presentation given at ITU) (also dvi and ps.gz)
- Hovedopgave på HD om DIKU
- Introduktion til tidskompleksitet (ps.gz)
- ML Server Pages (with Peter Sestoft) (#1 – ps.gz, pdf) (#2 pdf)