Assistant Professor (1999-2005)
Scientific interests
Formal methods, specification, verification and validation of systems,
abstract state machines, formal foundations of software engineering,
semantics of programming languages, bytecode verification, computational
logic, automated theorem proving, logic programming, mathematical logic.
New book
E. Börger and R. Stärk:
Abstract
State Machines - A Method for High-Level System Design and
Analysis.
Springer-Verlag, ISBN 3-540-00702-4, 2003.
Another book
R. Stärk, J. Schmid, E. Börger:
Java and the Java Virtual
Machine - Definition, Verification, Validation.
Springer-Verlag, ISBN 3-540-42088-6, 2001.
A Java Applet (mouse = move, scrollbar = speed)
[ Java source code |
more rotating dodecahedrons |
more applets ].
Spelling of my name: St{\"a}rk (TeX),
Stärk (HTML),
Staerk (ASCII).
Private homepage
|
