Prínos absolventov Banskej a lesníckej akadémie k rozvoju banského meračstva - Herčko, Ivan