Marcel S

@seoriginal

Computer Scientist, Developer

Österreich

Deutsch, Englisch

Einige Informationen werden in englischer Sprache angezeigt.

Über mich

I am a Computer Science professional and researcher specializing in formal methods, logic, and software development. I have experience as a Java Backend Developer and have published research on certification frameworks for Quantified Boolean Formulas. My expertise particularly includes scripting and educational web tools.... Mehr lesen

Kompetenzen