Florian Weber

PhD Candidate

Office:

Room F112, Level F,
Lilybank Gardens / Sir Alwyn William Building,
School of Computing Science,
University of Glasgow,
G12 8RZ, Glasgow, UK

E-Mail:

f.weber.1@research.gla.ac.uk

Research title

I130 - Session Types and Security

Research summary

Introduction and Research:

Florian Weber is currently a PhD candidate and a member of the Formal Analysis, Theory and Algorithms (FATA) group in the School of Computing Science at the University of Glasgow. He is part of the ABCD Project Group and currently associated with the project "From Data Types to Session Types: a Basis for Concurrency and Distribution". His research focuses on the analysis of the need for and the potential implementation of security features in Session Types.

Research Interests:

- Session Types
- Programming Theory
- Information Security
- Digital Forensics


Publications

Conference Proceedings

Renaud, K., English, R., Wynne, T., and Weber, F. (2014) You have three tries to lockout. Why three?
In: 8th International Symposium on Human Aspects of Information Security, 8-10 Jul 2014, Plymouth, UK.


Grants

EPSRC funded PhD studentship in the theory, design and implementation of programming languages.
Associated with the project "From Data Types to Session Types: a Basis for Concurrency and Distribution".


Teaching

Currently

Senior Graduate Teaching Assistant

- Digital Media and Information Studies (DMIS) -- Level 1
- Digital Media and Information Studies (DMIS) -- Level 2

Graduate Teaching Assistant

- MSc. Information Management & Preservation -- Course 3: Description, Cataloguing and Navigation

Previously

Graduate Teaching Assistant

- Digital Media and Information Studies (DMIS) -- Level 1

 


Additional information

Biography:

Florian Weber holds an MSc. in Computer Forensics & E-Discovery with Merit from the University of Glasgow, obtained in June 2014. Prior to this he obtained a Master of Arts (MA) Joint Honours Degree in Arts & Media Informatics and Philosophy, Upper Second Class (Devision 1) (2.1), from the University of Glasgow in June 2012.

LinkedIn:

http://uk.linkedin.com/pub/florian-weber/93/53/a51