Jan-Christoph Kuester
PhD Student
Contact Details
| Phone: | +61 (02) 6267 6306 |
|---|---|
| Email: | Jan-Christoph.Kuester@nicta.com.au |
| Web: | http://kuester.multics.org |
More contact information is available at the SSRG Contact page.
Research Interests
Jan's research interests include runtime verification, (first order) temporal logics, automata theory, formal methods, software and systems engineering for safety and security critical embedded systems, and especially android security.
Projects
Current |
Career Summary
Qualifications
- Diplom in Informatik (equivalent to a Master in Computer Science)
Westfдlische Wilhelms-Universitдt Mьnster, Germany, 2010. Thesis: Scalable and Secure Exchange of Mass Data between Participants of a Supply Chain - Diplom in Wirtschaftsinformatik (equivalent to a Master of Science in Information Systems)
Westfдlische Wilhelms-Universitдt Mьnster, Germany, 2010.
Recognition and Awards
- Applied computer science award for Diplom thesis
Fцrderkreis der Angewandten Informatik an der Westfдlischen Wilhelms-Universitдt Mьnster e.V., 2011. - Relevant research for SAP award for Diplom thesis
SAP Arbeitskreis Hochschulen e.V., 2010. - 2nd prize Java competition
Topic: Recognition of low resolution screen-rendered text
viadee IT-Consulting GmbH, 2009.