Boulevard de Grancy 20, 1006 Lausanne, Switzerland

About Me

Hello, my name is Simon KRAMER. I'm a Swiss Logic Researcher (PhD), Software Developer, and Szondi-Test Diagnostician based in Lausanne, Switzerland. I also work part-time as a Lecturer at Bern University of Applied Sciences.

Professional Affiliations

ASLIEEESSLPS

Simon KRAMER's portrait

Other Positions

2016-present: Lecturer (part-time) at Bern University of Applied Sciences

2011-2013: Research Associate at the University of Luxembourg

2011-2013: Guest Researcher at the IMSc, Chennai, India

2008-2010: JSPS Post-doctoral Fellow at the University of Tsukuba

2007-2008: INRIA Post-doctoral Researcher at Ecole Polytechnique

simon.kramer@ { sk-rnd (commercial), a3.epfl (research), bfh (teaching) } .ch

Logic

Logic

  • Applied Formal Logic
  • Modal Logic
  • Formal Concepts & Methods
  • Formal Specification & Verification
  • Predictive Logico-Visual Data Analytics
  • Computer-Aided Decision-Making
  • Knowledge Transfer
  • Hybrid Human-AI
Security

Security

  • Cyber & ICT Security
  • Civil Intel & Civic Tech
  • Formal Intelligence Reports
  • Security Analytics & Protocols
  • Trust Management
Psychology

Psychology

  • Mathematical & Computational Methods
  • Personality Assessment
  • Needs Diagnostics
  • Team Optimisation


Commercial Activity

"In computer security,
any bug is a potential security bug."

  • Web-application development and hosting (SaaS)
  • requirements engineering (including formal specification)
  • trustworthy socio-technical systems design (Cyber- and ICT-security)
  • Szondi-test diagnostics (personality assessment, experimental)

SOFTWARE PRODUCTS (WEB APPS)


Security

Web Application Policy

free client-side pre- and post-processing • green Swiss hosting
no log-in • no lock-in • no fixed costs • no installation • no platform dependence
no unsolicited cookies • no device fingerprinting • server-side hash-only client data storage
"paper-thin" paywalls • pay per pdf (document preparation)
a computation rather than a storage cloud


Science & Engineering Applications

REx (β-release)

REx (Rule Extractor) is a logico-visual data analytics tool that extracts rules (implications) from tabular data or data that can be put in table form, and then visualises these rules as rule diagrams. It also provides a suite of pre- and post-processing algorithms as well as special-purpose modules.


Consulting Session

REx is a very general tool, and you might need some help with feeding your particular data to REx. Depending on your data, I could be interested in offering a special-purpose module for processing your type of data even more effectively.

Consumer (Self-Help) Applications

Deutsch English Español Français Italiano Português
(β-release: Chrome, Firefox, Opera, Safari)

Bookey

Journal-driven double-entry book-keeping for the World's small enterprises

MindPad

Mind-Mapping Notepad

Computer-Assisted
Personality Assessment


Psychology icon

Philosophy of Assessment

needs diagnostics, not performance testing
a hypothesis, not a judgement


« Malgré le fait que je poursuis une démarche de développement personnel depuis plus de vingt ans, la passation du test de Szondi et l‘explication des résultats m‘a permis de mettre en exergue des facettes de moi-même que j‘avais sous-estimées, voire longtemps ignorées. Cela m‘a donc permis non seulement d‘en prendre conscience, mais également de voir comment les utiliser au mieux dans ma vie professionnelle et privée. J‘ai également pu comprendre certains mécanismes profonds qui régissent ma personnalité, ainsi que leurs causes. Simon Kramer s‘est montré extrêmement professionnel et diligent dans la conduite du processus. J‘ai particulièrement apprécié sa grande disponibilité, son enthousiasme et la connaissance approfondie de cet outil. Je le remercie chaleureusement de ce qu‘il m‘a apporté. »

Marie-Caroline Bertoldo

Diagnostic Session

The Szondi-test is a needs diagnostics rather than an IQ-test. The testee makes [ipsative] sympathy und antipathy choices of certain human portraits. These choices are interpreted as indications of certain needs of the testee, and are the basis for hypothetical inferences about the depth-psychological structure of the testee's needs (the human face as a mirror of the human soul). The test results can also be used for vocational counseling. [original literature, an English introduction, unofficial English translations, LinkedIn-group "The Szondi Forum", International Szondi Association]


My General Terms & Conditions in German, French, Italian, English, and Spanish:

Logic

Logic

Security

Security

Psychology

Psychology


Academic Activity

"Our concern must be applied, and our approach formal and based on
the conviction that logic is the interdisciplinary and
unifying scientific discipline par excellence."

papers

PAPERS



invited talks

Invited Talks

Computer-Aided Discovery and Categorisation of Personality Axioms
04.12.2014:

Federal University of Rio de Janeiro

Classical Modal Logics of Interactive Proofs
25.04.2013:

University of Bern

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
01.03.2013:

Calcutta Logic Circle at The School of Cognitive Science, Jadavpur University, Kolkata

A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems
29.03.2012:

Bern University of Applied Sciences

A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)
04.06.2012:

University of Amsterdam

25.05.2012:

LMU-TU Munich Graduiertenkolleg PUMA

10.05.2012:

University of Groningen

07.03.2012:

Indian Institute of Technology Delhi

17.02.2012:

Vellore Institute of Technology

16.02.2012:

The Institute of Mathematical Sciences, Chennai

19.12.2011:

Tata Institute of Fundamental Research

Formal Definitions and Complexity Results for Trust Relations and Trust Domains
01.04.2011:

Nanyang Technological University

31.03.2011:

National University of Singapore

21.03.2011:

Indian Institute of Technology Delhi

18.02.2011:

Mysore Park Workshop, Infosys Campus, Mysore

08.02.2011:

The Institute of Mathematical Sciences, Chennai

01.02.2011:

Tata Institute of Fundamental Research, Mumbai

19.11.2010:

National Institute of Information and Communications Technology, Tokyo

06.09.2010:

National Institute of Informatics, Tokyo

19.05.2010:

University of Tokyo

An Intuitionistic Foundation for Interactive Computation
23.07.2011:

Congress on Logic, Methodology and Philosophy of Science

09.04.2010:

University of Tsukuba (Workshop on Symbolic Computation and Software Verification)

08.03.2010:

JAIST, Kanazawa (Workshop on Constructive Aspects of Logic and Mathematics)

22.02.2010:

Lorentz Center, Leiden (Workshop on Formal Theories of Communication)

A General Definition of Malware
20.05.2015:

Federal University of Rio de Janeiro

19.11.2010:

National Institute of Information and Communications Technology, Tokyo

06.05.2010:

Kyushu University

28.04.2010:

National Institute of Informatics, Tokyo

17.02.2010:

University of Tokyo

20.01.2010:

University of Hyderabad (Workshop on Logic for Information Security)

15.01.2010:

Nanyang Technological University

15.01.2010:

National University of Singapore

22.05.2009:

Queensland University of Technology

20.05.2009:

University of Wollongong

19.05.2009:

University of New South Wales

18.05.2009:

Macquarie University

12.05.2009:

The Australian National University

08.05.2009:

Deakin University

01.05.2009:

University of Tsukuba

27.11.2008:

Ecole Polytechnique Fédérale de Lausanne (EPFL)

Dolev-Yao Encryption is Urquhart-Routley Implication
11.11.2008:

University of Turin

Reducing Provability to Knowledge in Multi-Agent Systems
24.09.2008:

Lorentz Center, Leiden (Workshop on Logic and Information Security)

24.06.2008:

Indiana University at Bloomington

Modal Logic for Information Security
18.09.2008:

University of Bern

Towards Interactive Belief, Knowledge, and Provability: Possible Application to Zero-Knowledge Proofs
31.03.2008:

Université du Luxembourg

20.03.2008:

Université libre de Bruxelles

11.02.2008:

Université Paris XII - Val de Marne

19.12.2007:

Imperial College, London

18.12.2007:

Cambridge University

14.12.2007:

University of Liverpool

12.12.2007:

University of Southampton

05.12.2007:

Oxford University

25.10.2007:

University of Amsterdam

The Intended and Actual Meaning of a Cryptographic Message and Protocol
19.03.2008:

Max-Planck Institute for Software Systems, Saarbrücken

adapted talk given with the title: The Purpose of Communication in Distributed Systems
25.10.2007:

University of Amsterdam

10.10.2007:

Politecnico di Torino

02.10.2007:

Ecole Polytechnique, Paris

Animation and Knowledge Programming for the Timed Calculus of Cryptographic Communication
05.10.2007:

Ecole Polytechnique, Paris

The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability
27.09.2007:

University of Tsukuba

26.09.2007:

University of Tokyo

12.09.2007:

JAIST Kanazawa

The "Zero" in Zero-Knowledge Proofs
24.04.2007:

Alpine Verification Meeting (Aussois, France)

Knowledge, Evidence, and Proof for Cryptography via Relevance
23.01.2007:

University of Bern

Cryptographic Protocol Logic: Adding Probabilistic Polynomial-time
23.10.2006:

Loria Nancy

Logical Concepts in Cryptography
09.03.2006:

CWI Amsterdam

Cryptographic Protocol Logic: A Synthetic Approach
24.06.2005:

ENS Paris


courses

Courses

Bern University of Applied Sciences (BFH)

2020-

Advanced Algorithms and Data Structures
in German, for 2nd-year CS-undergraduates

2020

Project and Training 2
in French and German, for 2nd-year CS-undergraduates, with colleagues

2018-2022

Computer Science Seminar
in French and German, for 3rd-year CS-undergraduates, with colleagues

2017-

Algorithms and Data Structures
in German, for 2nd-year CS-undergraduates

2017-

Programming Project 1
in French and German, for 2nd-year CS-undergraduates, with colleagues — selected projects: DMARC-Demon, HTTP(S)-Upgrader, Internet-Server Set-Up & Security-Hardening Script, IoT Hardware Security Module, LaTeX-Compile-Time Interactive PDF, LaTeX-Run-Time Interactive PDF, LaTeX-Package Dependency Grapher, LaTeX-Screenshooter, Malicious IP-Address Monitor, Moodle-Moduler, Moodle-Rsyncher, URL-Archiver

2016-

Introduction to Information Security
in German, for 2nd-year CS-undergraduates

2016-

Object-Oriented Programming 1 in Java
in French and German, for 1st-year CS-undergraduates, with Claude Fuhrer since 2018, with Ulrich Schrag until 2018

2016-

Object-Oriented Programming 2 in Java
in French and German, for 1st-year CS-undergraduates, with Claude Fuhrer in 2019, with Jean-Paul Dubois and Ulrich Schrag until 2018

Ecole Polytechnique Fédérale de Lausanne (EPFL)

2004

Elementary Logics
in French, for 1st-year CS-undergraduates
AnnouncementMemorandumIntroductionTerminology

Case Studies:

[ First-order Logic and Set Theory: 1, 2, 3 ]
[ Hoare Logic: 4, 5, 6 ]

Reading lessons:

1, 2, 3, 4, 5

Exercise sessions:

1, 2, 3, 4, 5, 6, 7, 8, 9, 10

References:

J. Zahnd. Logique élémentaire: Cours de base pour informaticiens. PPUR, 1998, (2003).
R. D. Tennent. Specifying Software: A Hands-On Introduction. CUP, 2002.


community

COMMUNITY