Sebastian John

Study on legacy software of banks and insurances. Marketing on application transformation – Umstellungen von Individual-Anwendungen in Großprojekten; Solutions: Java / UML project leading, RSA cryptography, software ergonomics

researching and teaching approx. 90 students, Verification and Testing research group, Sheffield University

statecharts tool : development of a graphical prototype tool for modelling of objected oriented statecharts, incl. functionality of simulation, testing and automated test via model checking. The project was transformed to a student programming course stressing precise programming and software engineering skills.

study concerning automatic test analysis for statecharts modeled in STATEMATE

IBM Open Card framework connecting smartcards to java engines

founding a new journal : “i-Coup” for the faculty of computer sciences, Technical University Berlin: subjected computer science and education. Personnel 9 people (editor, adverts, layout, print, sales); in cooperation with 43 authors in total.

Setting up a daily Newsletter for the European Joint conference on Theory and Practice 2000 (ETAPS 2000), addressed to 500 international researchers, in English, personnel 5 people. Among the persons Mr John had interviewed are David Harel [ Weizmann Institue, Statecharts ], Richard M. Soley [ OMG UML ], Grzegorz Rozenberg [BioComputing, Turing prize award].

development of an (micro) Oberon to SunSPARC compiler incl. LALR(1) syntax analysis, SunSPARC microprocessor code generation, and code optimization via the functional programming language Opal.

scientific research : object oriented statecharts and its parallel composition, object oriented method invocation call within the statecharts semantics.

lecturer with explicit teaching and examination permission of the computer science faculty with personnel up to 14 people and for max. 250 students

theoretical computer sciences (formal methods and algorithmic complexity); programming languages and systems