Shawn Koppenhoefer

Computer Scientist
shawn.koppenhoefer@epfl.ch +41 21 693 41 20 https://bit.ly/koppenhoefer-search202505
Citizenship: Swiss/Canadian/German
EPFL STI IMX LMOM
MXG 134 (Bâtiment MXG)
Station 12
1015 Lausanne
Web site: Web site: https://lmom.epfl.ch/
+41 21 693 41 20
EPFL
>
STI
>
IMX
>
SML
Fields of expertise
macOS, Windows, Linux
Proxmox, TrueNAS, Wordpress, PHP
Scientific photography : macro and cm-scale photography.
Mission
Shawn provides IT support for the following labs at EPFL:Laboratory of Macromolecular and Organic Materials: go.epfl.ch/LMOM-lab
Sustainable Materials Laboratory: go.epfl.ch/SML-Lab
Both labs have a mix of macOS, Windows, and Linux machines.
Shawn helps the lab in all details involving user-support, service-support, & hardware/software life-cycle (ordering/installation/configuration/management). He also assists in all services outside of the lab (intranet & internet).
Services include, but are not limited to, Backup, Web, Databases, Remote-Access, License-servers, etc.
As an experienced media-producer (photo/video), Shawn also produces assets for use in publications and outreach. The nature of the work produced is principally scientific presentation photography & videography but he also produces head-shots, environmental-portraits, equipment and architectural/lab images.
Current work
Shawn Koppenhoefer is the System-Administrator/TroubleShooter of LMOM lab since 2012, and SML lab since 2023.For hardware, software, services, and systems he handles purchasing, installation, configuration, updates, backup, security, and user-support. As a science photographer, he produces imagery for the researchers.
Biography
Originally from Canada (Swiss-naturalized since then), Shawn completed a double-honours degree (BSc in ‘Computer-Science’ and ‘Combinatorics & Optimization’ 1990) at the Faculty of Mathematics of the University of Waterloo. Years later, at the EPFL while teaching the 1st-year course Introduction to Networks and Protocols, he published his doctoral thesis (PhD in Computer-Science ). He was welcomed into the role of 1st assistant in the Electrical Engineering Dept. at EPFL working on telecommunication-architectures with Alcatel/Orange/Siemens, then built relational databases at Charles Veillon S.A., followed by working on e-government applications (civilian and military) at Networkers S.A., to move into system-administration/teaching/web-development at the World Health Organization collaborating center GFMER in Geneva. He finally returned to the EPFL and UNIL to do database-support and IT-support for the researchers in multiple labs. In 2025, Shawn is at EPFL helping researchers in LMOM and SML labs.In addition to his work at LMOM lab LMOM.epfl.ch, Shawn also did a 3year stint at the LTP lab (principally Windows lab) http://LTP.epfl.ch, and at the ARVE lab replaced since with "DavisGroup" (Mac/Linux)(wp.unil.ch/davisgroup). Look for Shawn in the usual places on social media (TW,FB,YT,FL,PI, LI, GoogleScholar, ResearcherID...).
Education
Ph.D.
Formal methods and the study of how variations in network data transfer time impact efficiency. See Record 32053.
Swiss Federal Institute of Technology (EPFL)
1993-1997
Publications
Selected publications
S. Koppenhoefer PhD EPFL_TH1576 |
A formal synchronous model for distributed time-critical control-systems |
Logean, Dietrich, Koppenhoefer |
Run-time monitoring of distributed applications |
Dietrich, Logean, Koppenhoefer, Hubaux |
Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic |
Dietrich, Logean, Koppenhoefer, Hubaux |
Testing Temporal Logic Properties in Distributed Systems |
Hubaux, Gbaguidi, Koppenhoefer, Le Boudec |
I. The Impact of the Internet on Telecommunication Architectures |
Hubaux, Gbaguidi, Koppenhoefer, Le Boudec |
II. The Impact of the Internet on Telecommunication Architectures |
Kulier, Guelmezoglu, Koppenhoefer |
Effectiveness of a Clinically Integrated e-Learning Course in Evidence-Based Medicine for Reproductive Health Training A Randomized Trial |