User:TWahls

Tim Wahls is an Associate Professor of Computer Science in the Department of Mathematics and Computer Science at Dickinson College. The computer science program at Dickinson currently has 3.5 faculty members and 67 students as declared majors.

Dr. Wahls's research interests are in programming languages and formal software engineering methods, currently focussed on the development of code generation tools for B and Event-B. Three of these tools have been incorporated into open-source projects, notably the EventB2SQL tool, which generates Java, PHP and Android applications from Event-B models. He is also the project administrator and lead developer for FARMDATA, an open-source record keeping system for organic produce farms.