- Online version with hyperlinks at http://thomaschneider.de/studies -

For CV see Full CV as PDF.

The following page contains additional links.

Research

since 2008: Research Assistant and PhD student at the System Security Lab, Horst-Görtz Institute for IT-Security, Ruhr-University Bochum.

For publications see List of Publications (compact, full) and DBLP record.
The following worldle shows the key words in the titles of my papers and gives an idea of research topics I am interested in.

For talks see Slides of Selected Talks.

Studies

2003 - 2008: Studies in Computer Science (Diploma Program) with minor field of study in Electrical Electronic and Communication Engineering (Microelectronics) at the Friedrich-Alexander University Erlangen-Nürnberg. Branches of study: Theoretical Computer Science (Cryptography & Scurity) as main subject, Hardware-Software-Co-Design, Programming Systems and Technical Electronics.

2007, Jul: Bachelor thesis on "Secure Task Migration and Interprocess Communication in Reconfigurable, Distributed, Embedded Systems" at the Department of Computer Science - Hardware-Software Codesign supervised by Dirk Koch & Prof. Jürgen Teich.

2007, Jun - Nov: Research internship at Bell Labs, Security Solutions/Cryptographic Systems in Murray-Hill, NJ, USA supervised by Vladimir Kolesnikov, PhD: Practical Secure Function Evalutation.

2008, Mar: Diploma thesis on "Practical Secure Function Evaluation" supervised by Vladimir Kolesnikov, Bell Labs & Prof. Volker Strehl, University Erlangen-Nürnberg. See also FairplayPF.

Attended Courses

V: lecture; Ü: exercise; S: seminar; P: practical course

Basic Courses

Algorithmics

Algorithmics 1 - Object Oriented Programming (V/Ü)    
Algorithmics 2 - Functional & Logic Programming (V/Ü)    
Algorithmics 3 - Scientific Computing (V/Ü)    

Software Systems

Software Systems 1 - Operating Systems (V/Ü)    
Software Systems 2 - Databases (V/Ü)    
Software Systems 3 - Software Engineering (V/Ü)    

Technical Informatics

Technical Informatics 1 - Basics, Automata and Circuit Minimization (V/Ü)    
Technical Informatics 2 - Computer Architectures, Assembler- and Micro Programming (V/Ü)    
Technical Informatics 3 - Electrotechnical Basics (V/Ü)    
Technical Informatics 4 - Computer Networks (V/Ü)    

Theoretical Computer Science

Theoretical Computer Science 1 - Logics and Discrete Algebraic Structures (V/Ü)      
Theoretical Computer Science 2 - Automata Theory, Formal Languages, Computability, Decidability (V/Ü)    
Addendum to Theoretical Computer Science 2 (V)    
Theoretical Computer Science 3 - Complexity of Algorithms (V/Ü)    

Mathematics

Mathematics for Engineers 1 - Linear Algebra (V/Ü)    
Mathematics for Engineers 2 - Analysis (V/Ü)    
Mathematics for Engineers 3 - Multi Dimensional Analysis (V/Ü)    
Mathematics for Engineers 4 - Probability Theory (V/Ü)    

Electrotechnics

Introduction into Electrotechnics 1 - Basics, Devices, DC circuits, Periodic and Non-Periodic Signals (V/Ü)    
Introduction into Electrotechnics 2 - Network Analysis (V/Ü)    

Miscellaneous

Networking and Interaction of Distributed Embedded Systems (S)    

Advanced Courses

Cryptography & Security

Privacy and Security Structures in Information Technology (V/Ü)    
Digital Signatures (V)    
Finite Fields and Public Key Cryptography (V/Ü)    
Cryptography 2 - Elliptic Curves (V)    
Network Security (V/Ü)    

Hardware-Software-Co-Design

Hardware-Software-Co-Design (V/Ü)    
Reconfigurable Computing (V/Ü)    

Technical Electronics

Digital Electronic Systems - AD-/DA Converter, Microprocessors (V/Ü)    
Circuitry - Transistor- and Operational Amplifier Circuits (V/Ü)    
Practical Course on Circuitry (P)    
VHDL (Very High Speed Integrated Circuit Hardware Description Language) (V/Ü)    

UML

UML for Reliable Mobile and Embedded Systems (V/Ü)    
Analysis and Design of Object Oriented Software Systems with UML (V/Ü)    

Programming Systems

Syntax Analysis (V/Ü)    
Graph Transformation Systems (V/Ü)    
"Hello World!" for Professionals (S)    

Miscellaneous

Multi Media Databases (V)    
Information, Codification and Complexity (V/Ü)    
Compiler Construction (V)    
General English for Engineering and Technology - Language Course (S)