Steve McKeever
Universitetslektor vid Institutionen för informatik och media
- Telefon:
- 018-471 51 50
- E-post:
- steve.mckeever@im.uu.se
- Besöksadress:
- Ekonomikum (plan 3)
Kyrkogårdsgatan 10 - Postadress:
- Box 513
751 20 UPPSALA
Ladda ned kontaktuppgifter för Steve McKeever vid Institutionen för informatik och media
Mer information visas för dig som medarbetare om du loggar in.
Biografi
Denna text finns inte på svenska, därför visas den engelska versionen.
The focus of my research has always been on the application of rigorous software engineering techniques to areas of personal interest. I began my research studies by looking at how to automatically create evaluation mechanisms for programming languages.
I then moved onto the emerging area of programmable hardware whilst a research associate. I developed languages suitable for designing circuits at a very abstract level.
More recently I have applied similar techniques to the modelling of biological processes at both the cell and atomistic levels. The current focus of my work is on developing tools and languages for supporting component based modeling of the heart and various cancers.
Publikationer
Senaste publikationer
- Torque not Work, Representing Kinds of Quantities (2024)
- Managing Quantities and Units of Measurement in Code Bases (2023)
- Acknowledging Implementation Trade-Offs When Developing with Units of Measurement (2023)
- Discerning Quantities from Units of Measurement (2022)
- From Quantities in Software Models to Implementation (2021)
Alla publikationer
Artiklar
- Unit of measurement libraries, their popularity and suitability (2021)
- Diftong (2019)
- Simulating Market Entry Rewards for Antibiotics Development (2018)
- The role of markup for enabling interoperability in health informatics (2015)
- Semantically Linking In Silico Cancer Models (2014)
- Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models (2014)
- Connecting digital cancer model repositories with markup (2013)
- Dealing with Diversity in Computational Cancer Modeling (2013)
Kapitel
- Managing Quantities and Units of Measurement in Code Bases (2023)
- Acknowledging Implementation Trade-Offs When Developing with Units of Measurement (2023)
Konferenser
- Torque not Work, Representing Kinds of Quantities (2024)
- Discerning Quantities from Units of Measurement (2022)
- From Quantities in Software Models to Implementation (2021)
- Towards Explainable, Compliant and Adaptive Human-Automation Interaction (2020)
- Lack of Adoption of Units of Measurement Libraries (2020)
- Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions (2019)
- "Why did you do that?" (2019)
- The Next 700 Unit of Measurement Checkers (2018)
- Compositional Relational Programming with Name Projection and Compositional Synthesis (2018)
- Simulating Market-Oriented Policy Interventions for Stimulating Antibiotics Development (2017)
- Model Composition for Biological Mathematical Systems (2014)
- Abstraction in Physiological Modelling Languages (2013)
- Modular markup for simulating vascular tumour growth (2012)
- TumorML (2011)
- The Case for Using Markup for Biomechanical Modelling (2011)