Kevin C. Lano (born 1963) is a British computer scientist.

Life and work

Kevin Lano studied at the

University of Reading The University of Reading is a public university in Reading, Berkshire, England. It was founded in 1892 as University College, Reading, a University of Oxford extension college. The institution received the power to grant its own degrees in 192 ...

, attaining a first class degree in Mathematics and Computer Science, and the

University of Bristol , mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'') , established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter , type ...

where he completed his doctorate. He was an originator of formal object-oriented techniques ( Z++), and developed a combination of

UML The Unified Modeling Language (UML) is a general-purpose, developmental modeling language in the field of software engineering that is intended to provide a standard way to visualize the design of a system. The creation of UML was originally m ...

and

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

in a number of papers and books. He was one of the founders of the Precise UML group, who influenced the definition of UML 2.0. Lano published the book ''Advanced Systems Design with Java, UML and MDA'' (

Butterworth-Heinemann Butterworth–Heinemann is a British publishing company specialised in professional information and learning materials for higher education and professional training, in printed and electronic forms. It was formed in 1990 by the merger of Hein ...

, ) in 2005. He is also the editor of ''UML 2 Semantics and Applications'', published by

Wiley Wiley may refer to: Locations * Wiley, Colorado, a U.S. town * Wiley, Pleasants County, West Virginia, U.S. * Wiley-Kaserne, a district of the city of Neu-Ulm, Germany People * Wiley (musician), British grime MC, rapper, and producer * Wiley Mil ...

in October 2009, among a number of computer science books. Lano was formerly a Research Officer at the

Oxford University Computing Laboratory The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

(now the

Oxford University Department of Computer Science The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

). He is a

reader A reader is a person who reads. It may also refer to: Computing and technology * Adobe Reader (now Adobe Acrobat), a PDF reader * Bible Reader for Palm, a discontinued PDA application * A card reader, for extracting data from various forms of ...

at the ''Department of Informatics'' at King's College London. In 2008, Lano and his co-authors Andy Evans, Robert France, and Bernard Rumpe, were awarded the ''Ten Year Most Influential Paper Award'' at the MODELS 2008 Conference on ''Model Driven Engineering Languages and Systems'' for the 1998 paper "''The UML as a Formal Modeling Notation''".

Selected publications

* *

Books

* ''Reverse Engineering and Software Maintenance'' (

McGraw-Hill McGraw Hill is an American educational publishing company and one of the "big three" educational publishers that publishes educational content, software, and services for pre-K through postgraduate education. The company also publishes refere ...

, 1993) * ''Object-oriented Specification Case Studies'' ( Prentice Hall, 1993) * ''Formal Object-oriented Development'' (

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

, 1995) * ''The B Language and Method: A Guide to Practical Formal Development'' (Springer, 1996) * ''Software Design in Java 2'' ( Palgrave, 2002) * ''UML 2 Semantics and Applications'' (

, 2009), editor * ''Model-Driven Development using UML and Java'' ( Cengage, 2009) * ''Agile MBD using UML-RSDS'' (

Taylor & Francis Taylor & Francis Group is an international company originating in England that publishes books and academic journals. Its parts include Taylor & Francis, Routledge, F1000 (publisher), F1000 Research or Dovepress. It is a division of Informa ...

, 2016) * ''Financial Software Engineering'' (Springer, 2019), with Howard Haughton

References

External links

Kevin Lano home page
* 1963 births Living people Alumni of the University of Reading Alumni of the University of Bristol English computer scientists Formal methods people Computer science writers Members of the Department of Computer Science, University of Oxford Academics of King's College London {{Compu-bio-stub