Where to find me (if I'm not currently relocating)

Dipl.-Inform. Raimondas Sasnauskas
Informatikzentrum, Bldg. E1, Room 4227
Ahornstraße 55
52074 Aachen

Postal address:

Raimondas Sasnauskas
RWTH Aachen
LuFG Informatik 4
52056 Aachen
Germany

Contact Information:

• raimondas.sasnauskas(AT)cs.rwth-aachen.de
• lyderis
• Phone: +49 241 80 21440
• Fax: +49 241 80 22221

Mini-CV

I left Kaunas (Lithuania) in 2001 and spent 6 wonderful years in Tübingen where I received my Diplom-Informatiker degree. Since July 2007, I've been a Ph.D. student at the Distributed Systems Group at the RWTH Aachen University.

Research interests (but not limited to)

• Testing distributed protocols before deployment (High coverage execution)
• Symbolic execution of real code (Klee)
• Modular protocols (ProFab, Click)
• Software integration frameworks (TOSSIM)
• Static code analysis (Clang Static Analyzer)

Teaching

• Lecture "Betriebssysteme und Systemsoftware" (winter term)
• Lecture "Sichere Verteilte Systeme" (summer term)
• Proseminar "Grundlagen Rechnernetze und Internet" (summer term)